public abstract class _ExternBase_InternalLegacyOverride
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
LegacyPolicy |
_policy |
| Constructor and Description |
|---|
_ExternBase_InternalLegacyOverride() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<InternalLegacyOverride> |
_typeDescriptor() |
abstract Wrappers_Compile.Result<DecryptItemOutput,Error> |
DecryptItem(DecryptItemInput input) |
abstract Wrappers_Compile.Result<EncryptItemOutput,Error> |
EncryptItem(EncryptItemInput input) |
abstract boolean |
IsLegacyInput(DecryptItemInput input) |
LegacyPolicy |
policy() |
java.lang.String |
toString() |
public LegacyPolicy _policy
public abstract Wrappers_Compile.Result<EncryptItemOutput,Error> EncryptItem(EncryptItemInput input)
public abstract Wrappers_Compile.Result<DecryptItemOutput,Error> DecryptItem(DecryptItemInput input)
public abstract boolean IsLegacyInput(DecryptItemInput input)
public LegacyPolicy policy()
public static dafny.TypeDescriptor<InternalLegacyOverride> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object