public abstract class Selector
extends java.lang.Object
| Constructor and Description |
|---|
Selector() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<Selector> |
_typeDescriptor() |
static Selector |
create_List(long pos) |
static Selector |
create_Map(dafny.DafnySequence<? extends java.lang.Character> key) |
static Selector |
Default() |
dafny.DafnySequence<? extends java.lang.Character> |
dtor_key() |
long |
dtor_pos() |
boolean |
is_List() |
boolean |
is_Map() |
public static Selector Default()
public static dafny.TypeDescriptor<Selector> _typeDescriptor()
public static Selector create_List(long pos)
public static Selector create_Map(dafny.DafnySequence<? extends java.lang.Character> key)
public boolean is_List()
public boolean is_Map()
public long dtor_pos()
public dafny.DafnySequence<? extends java.lang.Character> dtor_key()