Token (AwsCryptographyDbEncryptionSdkDynamoDb 3.1.1 API)

java.lang.Object
- DynamoDBFilterExpr_Compile.Token

Direct Known Subclasses:

Token_And, Token_Attr, Token_AttributeExists, Token_AttributeNotExists, Token_AttributeType, Token_BeginsWith, Token_Between, Token_Close, Token_Comma, Token_Contains, Token_Eq, Token_Ge, Token_Gt, Token_In, Token_Le, Token_Lt, Token_Ne, Token_Not, Token_Open, Token_Or, Token_Size, Token_Value
```
public abstract class Token
extends java.lang.Object
```

Constructor Summary

Constructors
Constructor and Description

Token()

Constructors
Constructor and Description
`Token()`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<Token>`	`_typeDescriptor()`
`static Token`	`create_And()`
`static Token`	`create_Attr(dafny.DafnySequence<? extends java.lang.Character> s, dafny.DafnySequence<? extends Selector> loc)`
`static Token`	`create_AttributeExists()`
`static Token`	`create_AttributeNotExists()`
`static Token`	`create_AttributeType()`
`static Token`	`create_BeginsWith()`
`static Token`	`create_Between()`
`static Token`	`create_Close()`
`static Token`	`create_Comma()`
`static Token`	`create_Contains()`
`static Token`	`create_Eq()`
`static Token`	`create_Ge()`
`static Token`	`create_Gt()`
`static Token`	`create_In()`
`static Token`	`create_Le()`
`static Token`	`create_Lt()`
`static Token`	`create_Ne()`
`static Token`	`create_Not()`
`static Token`	`create_Open()`
`static Token`	`create_Or()`
`static Token`	`create_Size()`
`static Token`	`create_Value(dafny.DafnySequence<? extends java.lang.Character> s)`
`static Token`	`Default()`
`dafny.DafnySequence<? extends Selector>`	`dtor_loc()`
`dafny.DafnySequence<? extends java.lang.Character>`	`dtor_s()`
`boolean`	`is_And()`
`boolean`	`is_Attr()`
`boolean`	`is_AttributeExists()`
`boolean`	`is_AttributeNotExists()`
`boolean`	`is_AttributeType()`
`boolean`	`is_BeginsWith()`
`boolean`	`is_Between()`
`boolean`	`is_Close()`
`boolean`	`is_Comma()`
`boolean`	`is_Contains()`
`boolean`	`is_Eq()`
`boolean`	`is_Ge()`
`boolean`	`is_Gt()`
`boolean`	`is_In()`
`boolean`	`is_Le()`
`boolean`	`is_Lt()`
`boolean`	`is_Ne()`
`boolean`	`is_Not()`
`boolean`	`is_Open()`
`boolean`	`is_Or()`
`boolean`	`is_Size()`
`boolean`	`is_Value()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- Token
```
public Token()
```

Method Detail

Default
```
public static Token Default()
```

_typeDescriptor

public static dafny.TypeDescriptor<Token> _typeDescriptor()

create_Attr

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

create_Value

public static Token create_Value(dafny.DafnySequence<? extends java.lang.Character> s)

create_Eq
```
public static Token create_Eq()
```

create_Ne
```
public static Token create_Ne()
```

create_Lt
```
public static Token create_Lt()
```

create_Gt
```
public static Token create_Gt()
```

create_Le
```
public static Token create_Le()
```

create_Ge
```
public static Token create_Ge()
```

create_Between
```
public static Token create_Between()
```

create_In
```
public static Token create_In()
```

create_Open
```
public static Token create_Open()
```

create_Close
```
public static Token create_Close()
```

create_Comma
```
public static Token create_Comma()
```

create_Not
```
public static Token create_Not()
```

create_And
```
public static Token create_And()
```

create_Or
```
public static Token create_Or()
```

create_AttributeExists

public static Token create_AttributeExists()

create_AttributeNotExists

public static Token create_AttributeNotExists()

create_AttributeType

public static Token create_AttributeType()

create_BeginsWith

public static Token create_BeginsWith()

create_Contains
```
public static Token create_Contains()
```

create_Size
```
public static Token create_Size()
```

is_Attr
```
public boolean is_Attr()
```

is_Value
```
public boolean is_Value()
```

is_Eq
```
public boolean is_Eq()
```

is_Ne
```
public boolean is_Ne()
```

is_Lt
```
public boolean is_Lt()
```

is_Gt
```
public boolean is_Gt()
```

is_Le
```
public boolean is_Le()
```

is_Ge
```
public boolean is_Ge()
```

is_Between
```
public boolean is_Between()
```

is_In
```
public boolean is_In()
```

is_Open
```
public boolean is_Open()
```

is_Close
```
public boolean is_Close()
```

is_Comma
```
public boolean is_Comma()
```

is_Not
```
public boolean is_Not()
```

is_And
```
public boolean is_And()
```

is_Or
```
public boolean is_Or()
```

is_AttributeExists
```
public boolean is_AttributeExists()
```

is_AttributeNotExists

public boolean is_AttributeNotExists()

is_AttributeType
```
public boolean is_AttributeType()
```

is_BeginsWith
```
public boolean is_BeginsWith()
```

is_Contains
```
public boolean is_Contains()
```

is_Size
```
public boolean is_Size()
```

dtor_s

public dafny.DafnySequence<? extends java.lang.Character> dtor_s()

dtor_loc

public dafny.DafnySequence<? extends Selector> dtor_loc()

Class Token

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

Token

Method Detail

Default

_typeDescriptor

create_Attr

create_Value

create_Eq

create_Ne

create_Lt

create_Gt

create_Le

create_Ge

create_Between

create_In

create_Open

create_Close

create_Comma

create_Not

create_And

create_Or

create_AttributeExists

create_AttributeNotExists

create_AttributeType

create_BeginsWith

create_Contains

create_Size

is_Attr

is_Value

is_Eq

is_Ne

is_Lt

is_Gt

is_Le

is_Ge

is_Between

is_In

is_Open

is_Close

is_Comma

is_Not

is_And

is_Or

is_AttributeExists

is_AttributeNotExists

is_AttributeType

is_BeginsWith

is_Contains

is_Size

dtor_s

dtor_loc