public abstract class PlaintextOverride
extends java.lang.Object
| Constructor and Description |
|---|
PlaintextOverride() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<PlaintextOverride> |
_typeDescriptor() |
static java.util.ArrayList<PlaintextOverride> |
AllSingletonConstructors() |
static PlaintextOverride |
create_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ() |
static PlaintextOverride |
create_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ() |
static PlaintextOverride |
create_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ() |
static PlaintextOverride |
Default() |
boolean |
is_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ() |
boolean |
is_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ() |
boolean |
is_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ() |
public static PlaintextOverride Default()
public static dafny.TypeDescriptor<PlaintextOverride> _typeDescriptor()
public static PlaintextOverride create_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()
public static PlaintextOverride create_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()
public static PlaintextOverride create_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ()
public boolean is_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()
public boolean is_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()
public boolean is_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ()
public static java.util.ArrayList<PlaintextOverride> AllSingletonConstructors()