DynamoDBFilterExpr_Compile

Class ParsedContext

java.lang.Object

DynamoDBFilterExpr_Compile.ParsedContext

public class ParsedContext
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends Token>	_expr
Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>>	_names
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>	_values

Constructor Summary

Constructors

Constructor and Description

ParsedContext(dafny.DafnySequence<? extends Token> expr, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> values, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<ParsedContext>	_typeDescriptor()
static ParsedContext	create_ParsedContext(dafny.DafnySequence<? extends Token> expr, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> values, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)
static ParsedContext	create(dafny.DafnySequence<? extends Token> expr, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> values, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)
static ParsedContext	Default()
dafny.DafnySequence<? extends Token>	dtor_expr()
Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>>	dtor_names()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>	dtor_values()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_ParsedContext()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_expr

public dafny.DafnySequence<? extends Token> _expr

_values

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> _values

_names

public Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> _names

Constructor Detail

ParsedContext

public ParsedContext(dafny.DafnySequence<? extends Token> expr,
                     dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> values,
                     Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static ParsedContext Default()

_typeDescriptor

public static dafny.TypeDescriptor<ParsedContext> _typeDescriptor()

create

public static ParsedContext create(dafny.DafnySequence<? extends Token> expr,
                                   dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> values,
                                   Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)

create_ParsedContext

public static ParsedContext create_ParsedContext(dafny.DafnySequence<? extends Token> expr,
                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> values,
                                                 Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)

is_ParsedContext

public boolean is_ParsedContext()

dtor_expr

public dafny.DafnySequence<? extends Token> dtor_expr()

dtor_values

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> dtor_values()

dtor_names

public Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> dtor_names()