Package | Description |
---|---|
fmrisc.ProofNavigator.Syntax |
Modifier and Type | Class and Description |
---|---|
class |
SelectorBase
Base class of selector expressions.
|
class |
SelectorIdentifier
Identifier as selector.
|
class |
SelectorIndex
General index expression as selector.
|
class |
SelectorNumber
Number as selector.
|
Modifier and Type | Method and Description |
---|---|
Selector |
SelectionTerm.getSelector()
get selector
|
Selector[] |
UpdateTerm.getSelectors()
get the selectors
|
Selector |
SelectorIdentifier.instantiate()
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
|
Selector |
Selector.instantiate()
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
|
Selector |
SelectorIndex.instantiate()
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
|
Selector |
SelectorNumber.instantiate()
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
|
static Selector[] |
ASTUtil.toSelectorArray(java.util.Vector<Selector> v)
converts vector v of Selector objects to Selector array
|
Modifier and Type | Method and Description |
---|---|
static SelectionTerm |
Construct.selectionTerm(Expression base1,
Selector base2)
construct component selection from base1 and base2
|
static UpdateTerm |
Construct.updateTerm(Expression base1,
Selector[] base2,
Expression value)
construct component update by index selection from base, base2, and base3
|
Modifier and Type | Method and Description |
---|---|
static Selector[] |
ASTUtil.toSelectorArray(java.util.Vector<Selector> v)
converts vector v of Selector objects to Selector array
|
Constructor and Description |
---|
SelectionTerm(Expression base1,
Selector base2)
construct component selection from base1 and base2
|
UpdateTerm(Expression base1,
Selector[] base2,
Expression value)
construct component update by index selection from base, base2, and base3
|