Uses of Class
fmrisc.ProofNavigator.Syntax.Reference

Packages that use Reference

Package	Description
fmrisc.ProofNavigator.Proving.CVCL
fmrisc.ProofNavigator.Syntax

Uses of Reference in fmrisc.ProofNavigator.Proving.CVCL

Methods in fmrisc.ProofNavigator.Proving.CVCL with parameters of type Reference

Modifier and Type	Method and Description
Expression	CVCL.untransformReference(Reference exp) Get original value of reference.

Uses of Reference in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return Reference

Modifier and Type	Method and Description
Reference	SelectorIdentifier.getIdentifier() return identifier
Reference	ValuedIdentifier.getIdentifier() returns identifier
static Reference	Construct.reference(java.lang.String name) construct reference with denoted name.
static Reference	Construct.reference(Symbol symbol) Construct reference from symbol.
static Reference	Construct.reference(TypeDeclIdentifier ident) construct reference from type declaration identifier.
static Reference	Construct.reference(ValueDeclIdentifier ident) construct reference from value declaration identifier.
static Reference[]	ASTUtil.toReferenceArray(java.util.Vector<Reference> v) converts vector v of Reference objects toarray

Methods in fmrisc.ProofNavigator.Syntax with parameters of type Reference

Modifier and Type	Method and Description
static SelectorIdentifier	Construct.selectorIdentifier(Reference base) make selector from identifier base
static ValuedIdentifier	Construct.valuedIdentifier(Reference identifier, Expression value) construct identifier with value from identifier and value.

Method parameters in fmrisc.ProofNavigator.Syntax with type arguments of type Reference

Modifier and Type	Method and Description
static Reference[]	ASTUtil.toReferenceArray(java.util.Vector<Reference> v) converts vector v of Reference objects toarray

Constructors in fmrisc.ProofNavigator.Syntax with parameters of type Reference

Constructor and Description
SelectorIdentifier(Reference base) make selector from identifier base
ValuedIdentifier(Reference identifier, Expression value) construct identifier with value from identifier and value.