| package com.amazonaws.services.kms; |
| |
| import org.checkerframework.checker.calledmethods.qual.*; |
| |
| interface AWSKMS { |
| // This predicate enforces two properties: |
| // 1) the number of bytes or the keyspec has been set. This property is enforced soundly. |
| // 2) both the number of bytes and the keyspec have not been set. This property uses the ! operator, |
| // so it is best regarded as a bug-finder: what it really proves is that both are not set on all paths. |
| GenerateDataKeyResult generateDataKey(@CalledMethodsPredicate("(setNumberOfBytes || withNumberOfBytes || setKeySpec || withKeySpec) && !(setNumberOfBytes && setKeySpec) && !(setNumberOfBytes && withKeySpec) && !(withNumberOfBytes && setKeySpec) && !(withNumberOfBytes && withKeySpec)") GenerateDataKeyRequest request); |
| } |