DynamoDBFilterExpr_Compile

Class StackValue

java.lang.Object

DynamoDBFilterExpr_Compile.StackValue

Direct Known Subclasses:

StackValue_Bool, StackValue_DoesNotExist, StackValue_Str

public abstract class StackValue
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
StackValue()

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StackValue

public StackValue()

Method Detail

Default

public static StackValue Default()

_typeDescriptor

public static dafny.TypeDescriptor<StackValue> _typeDescriptor()

create_Bool

public static StackValue create_Bool(boolean b)

create_Str

public static StackValue create_Str(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue s)

create_DoesNotExist

public static StackValue create_DoesNotExist()

is_Bool

public boolean is_Bool()

is_Str

public boolean is_Str()

is_DoesNotExist

public boolean is_DoesNotExist()

dtor_b

public boolean dtor_b()

dtor_s

public software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue dtor_s()