GetSubstring (AwsCryptographyDbEncryptionSdkDynamoDb 3.1.1 API)

java.lang.Object
- software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetSubstring

public class GetSubstring
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`int`	`_high`
`int`	`_low`

Constructors
Constructor and Description
`GetSubstring(int low, int high)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<GetSubstring>`	`_typeDescriptor()`
`static GetSubstring`	`create_GetSubstring(int low, int high)`
`static GetSubstring`	`create(int low, int high)`
`static GetSubstring`	`Default()`
`int`	`dtor_high()`
`int`	`dtor_low()`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`boolean`	`is_GetSubstring()`
`java.lang.String`	`toString()`

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

public GetSubstring(int low,
                    int high)

public boolean equals(java.lang.Object other)

public static dafny.TypeDescriptor<GetSubstring> _typeDescriptor()

public static GetSubstring create(int low,
                                  int high)

public static GetSubstring create_GetSubstring(int low,
                                               int high)

Class GetSubstring