public abstract class StackValue
extends java.lang.Object
| Constructor and Description |
|---|
StackValue() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<StackValue> |
_typeDescriptor() |
static StackValue |
create_Bool(boolean b) |
static StackValue |
create_DoesNotExist() |
static StackValue |
create_Str(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue s) |
static StackValue |
Default() |
boolean |
dtor_b() |
software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue |
dtor_s() |
boolean |
is_Bool() |
boolean |
is_DoesNotExist() |
boolean |
is_Str() |
public static StackValue Default()
public static dafny.TypeDescriptor<StackValue> _typeDescriptor()
public static StackValue create_Bool(boolean b)
public static StackValue create_Str(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue s)
public static StackValue create_DoesNotExist()
public boolean is_Bool()
public boolean is_Str()
public boolean is_DoesNotExist()
public boolean dtor_b()
public software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue dtor_s()