Uses of Interface
fmrisc.ProgramExplorer.Syntax.Program.Selector

Packages that use Selector

Package	Description
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Parser
fmrisc.ProgramExplorer.Syntax.Program

Uses of Selector in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements with parameters of type Selector

Modifier and Type	Method and Description
Selector[]	ExpressionLogic.deriveSelector(Term base, Selector sel, java.util.Vector<Formula> pre) Convert program selector to one or two logic selectors.

Uses of Selector in fmrisc.ProgramExplorer.Parser

Methods in fmrisc.ProgramExplorer.Parser that return Selector

Modifier and Type	Method and Description
Selector	MiniJavaParser.lselector()
Selector	MiniJavaParser.rselector()

Uses of Selector in fmrisc.ProgramExplorer.Syntax.Program

Classes in fmrisc.ProgramExplorer.Syntax.Program that implement Selector

Modifier and Type	Class and Description
class	IdentifierSelector Component selection by name.
class	IndexSelector Component selection by index.
class	MessageSelector Selection of a message from an exception.
class	SelectorBase Base class of a component selector.

Fields in fmrisc.ProgramExplorer.Syntax.Program declared as Selector

Modifier and Type	Field and Description
Selector[]	LeftValue.selectors
Selector[]	SelectorExpression.sels

Methods in fmrisc.ProgramExplorer.Syntax.Program with parameters of type Selector

Modifier and Type	Method and Description
static LeftValue	LeftValue.construct(Identifier name, Selector[] selectors) Construct the left value of an assignment.
static SelectorExpression	SelectorExpression.construct(ValueExpression base, Selector[] sels) Selection of an object component.

Method parameters in fmrisc.ProgramExplorer.Syntax.Program with type arguments of type Selector

Modifier and Type	Method and Description
static LeftValue	LeftValue.construct(Identifier name, java.util.Vector<Selector> selectors) Construct the left value of an assignment.
static SelectorExpression	SelectorExpression.construct(ValueExpression base, java.util.Vector<Selector> sels) Selection of an object component.