DynamoDBFilterExpr_Compile

Class Token_Attr

java.lang.Object

DynamoDBFilterExpr_Compile.Token

DynamoDBFilterExpr_Compile.Token_Attr

public class Token_Attr
extends Token

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends Selector>	_loc
dafny.DafnySequence<? extends java.lang.Character>	_s

Constructor Summary

Constructors

Constructor and Description
Token_Attr(dafny.DafnySequence<? extends java.lang.Character> s, dafny.DafnySequence<? extends Selector> loc)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()

Methods inherited from class DynamoDBFilterExpr_Compile.Token

_typeDescriptor, create_And, create_Attr, create_AttributeExists, create_AttributeNotExists, create_AttributeType, create_BeginsWith, create_Between, create_Close, create_Comma, create_Contains, create_Eq, create_Ge, create_Gt, create_In, create_Le, create_Lt, create_Ne, create_Not, create_Open, create_Or, create_Size, create_Value, Default, dtor_loc, dtor_s, is_And, is_Attr, is_AttributeExists, is_AttributeNotExists, is_AttributeType, is_BeginsWith, is_Between, is_Close, is_Comma, is_Contains, is_Eq, is_Ge, is_Gt, is_In, is_Le, is_Lt, is_Ne, is_Not, is_Open, is_Or, is_Size, is_Value

Methods inherited from class java.lang.Object

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

Field Detail

_s

public dafny.DafnySequence<? extends java.lang.Character> _s

_loc

public dafny.DafnySequence<? extends Selector> _loc

Constructor Detail

Token_Attr

public Token_Attr(dafny.DafnySequence<? extends java.lang.Character> s,
                  dafny.DafnySequence<? extends Selector> loc)

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