TerminalLocation (AwsCryptographyDbEncryptionSdkDynamoDb 3.1.1 API)

public class TerminalLocation
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`dafny.DafnySequence<? extends Selector>`	`_parts`

Constructors
Constructor and Description
`TerminalLocation(dafny.DafnySequence<? extends Selector> parts)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<TerminalLocation>`	`_typeDescriptor()`
`dafny.DafnySequence<? extends java.lang.Byte>`	`canonicalPath(dafny.DafnySequence<? extends java.lang.Character> table)`
`static TerminalLocation`	`create_TerminalLocation(dafny.DafnySequence<? extends Selector> parts)`
`static TerminalLocation`	`create(dafny.DafnySequence<? extends Selector> parts)`
`static TerminalLocation`	`Default()`
`dafny.DafnySequence<? extends Selector>`	`dtor_parts()`
`boolean`	`equals(java.lang.Object other)`
`dafny.DafnySequence<? extends java.lang.Character>`	`getRoot()`
`int`	`hashCode()`
`boolean`	`is_TerminalLocation()`
`boolean`	`isRoot()`
`java.lang.String`	`toString()`

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

public dafny.DafnySequence<? extends Selector> _parts

public TerminalLocation(dafny.DafnySequence<? extends Selector> parts)

public boolean equals(java.lang.Object other)

public static TerminalLocation Default()

public static dafny.TypeDescriptor<TerminalLocation> _typeDescriptor()

public static TerminalLocation create(dafny.DafnySequence<? extends Selector> parts)

public static TerminalLocation create_TerminalLocation(dafny.DafnySequence<? extends Selector> parts)

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

public dafny.DafnySequence<? extends java.lang.Byte> canonicalPath(dafny.DafnySequence<? extends java.lang.Character> table)

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

Class TerminalLocation