TermLoc_Compile

Class Selector

java.lang.Object

TermLoc_Compile.Selector

Direct Known Subclasses:

Selector_List, Selector_Map

public abstract class Selector
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Selector()

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Selector

public Selector()

Method Detail

Default

public static Selector Default()

_typeDescriptor

public static dafny.TypeDescriptor<Selector> _typeDescriptor()

create_List

public static Selector create_List(long pos)

create_Map

public static Selector create_Map(dafny.DafnySequence<? extends java.lang.Character> key)

is_List

public boolean is_List()

is_Map

public boolean is_Map()

dtor_pos

public long dtor_pos()

dtor_key

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