public abstract class ESDKCommitmentPolicy
extends java.lang.Object
| Constructor and Description |
|---|
ESDKCommitmentPolicy() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<ESDKCommitmentPolicy> |
_typeDescriptor() |
static java.util.ArrayList<ESDKCommitmentPolicy> |
AllSingletonConstructors() |
static ESDKCommitmentPolicy |
create_FORBID__ENCRYPT__ALLOW__DECRYPT() |
static ESDKCommitmentPolicy |
create_REQUIRE__ENCRYPT__ALLOW__DECRYPT() |
static ESDKCommitmentPolicy |
create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT() |
static ESDKCommitmentPolicy |
Default() |
boolean |
is_FORBID__ENCRYPT__ALLOW__DECRYPT() |
boolean |
is_REQUIRE__ENCRYPT__ALLOW__DECRYPT() |
boolean |
is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT() |
public static ESDKCommitmentPolicy Default()
public static dafny.TypeDescriptor<ESDKCommitmentPolicy> _typeDescriptor()
public static ESDKCommitmentPolicy create_FORBID__ENCRYPT__ALLOW__DECRYPT()
public static ESDKCommitmentPolicy create_REQUIRE__ENCRYPT__ALLOW__DECRYPT()
public static ESDKCommitmentPolicy create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT()
public boolean is_FORBID__ENCRYPT__ALLOW__DECRYPT()
public boolean is_REQUIRE__ENCRYPT__ALLOW__DECRYPT()
public boolean is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT()
public static java.util.ArrayList<ESDKCommitmentPolicy> AllSingletonConstructors()