Uses of Class
fmrisc.ProgramExplorer.Syntax.Identifier

Packages that use Identifier

Package	Description
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Parser
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic
fmrisc.ProgramExplorer.Syntax.Program
fmrisc.ProgramExplorer.Syntax.Spec

Uses of Identifier in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut that return Identifier

Modifier and Type	Method and Description
Identifier	SourcePositionClass.getIdentifier() Get identifier registered with denoted position.
Identifier	SourceAnnotationPosition.getIdentifier() Get identifier registered with denoted position.
Identifier	SourcePosition.getIdentifier() Get identifier registered with denoted position.
Identifier	StringSourcePosition.getIdentifier() Get identifier registered with denoted position.

Methods in fmrisc.ProgramExplorer.InOut with parameters of type Identifier

Modifier and Type	Method and Description
void	SourcePositionClass.setIdentifier(Identifier ident) Register identifier with denoted position.
void	SourceAnnotationPosition.setIdentifier(Identifier ident) Register identifier with denoted position.
void	SourcePosition.setIdentifier(Identifier ident) Register identifier with denoted position.
void	StringSourcePosition.setIdentifier(Identifier ident) Register identifier with denoted position.
void	Breaks.visit(Identifier exp)
void	PrettyPrinter.visit(Identifier exp)
void	PrettyMathML.visit(Identifier exp)

Uses of Identifier in fmrisc.ProgramExplorer.Judgements

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

Modifier and Type	Method and Description
static Reference	Satisfies.reference(Identifier ident) Construct a reference from an identifier setting also its type.

Uses of Identifier in fmrisc.ProgramExplorer.Parser

Methods in fmrisc.ProgramExplorer.Parser that return Identifier

Modifier and Type	Method and Description
Identifier	MiniJavaParser.constructIdentifier(org.antlr.runtime.Token token)
Identifier	SpecLangParser.constructIdentifier(org.antlr.runtime.Token token)

Uses of Identifier in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return Identifier

Modifier and Type	Method and Description
Identifier	Symbol.getName() Get name associated to symbol.
Identifier	SymbolBase.getName() Get name associated to symbol.

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type Identifier

Modifier and Type	Method and Description
static ConstructorSymbol	ConstructorSymbol.construct(ClassSymbol csymbol, Identifier name, Parameter[] params, TypeExpression[] atypes, ConstructorDeclaration decl, ErrorStream error) Construct class method symbol from declaration (NULL in case of error).
static ClassMethodSymbol	ClassMethodSymbol.construct(ClassSymbol csymbol, Identifier name, Parameter[] params, TypeExpression[] atypes, TypeExpression rtype, ClassMethodDeclaration decl, ErrorStream error) Construct class method symbol from declaration (NULL, in case of error).
static ObjectMethodSymbol	ObjectMethodSymbol.construct(ClassSymbol csymbol, Identifier name, Parameter[] params, TypeExpression[] atypes, TypeExpression rtype, ObjectMethodDeclaration decl, ErrorStream error) Construct object method symbol from declaration (NULL, in case of error).
static ClassVariableSymbol	ClassVariableSymbol.construct(ClassSymbol csymbol, Identifier name, TypeExpression type, ClassVariableDeclaration decl) Construct class variable symbol.
static ObjectVariableSymbol	ObjectVariableSymbol.construct(ClassSymbol csymbol, Identifier name, TypeExpression type, ObjectVariableDeclaration decl) Construct object variable symbol.
static AxiomSymbol	AxiomSymbol.construct(Identifier name, Formula formula, AxiomDefinition decl, TheorySymbol theory) Construct axiom symbol.
static FormulaSymbol	FormulaSymbol.construct(Identifier name, Formula formula, FormulaDefinition decl, TheorySymbol theory) Construct formula symbol.
static ValueSymbol	ValueSymbol.construct(Identifier name, Type type, Declaration decl) Construct value symbol.
static BodySymbol	BodySymbol.construct(Identifier name, TypeExpression type, VariableDeclaration decl) Construct body symbol from name and type.
static TypeSymbol	TypeSymbol.construct(Identifier name, Type type, TypeDeclaration decl) Construct type symbol.
S	SymbolTable.get(Identifier key) Returns symbol associated to key and links key with symbol.
S	ParamSymbolTable.get(Identifier ikey, TypeExpression[] tkey) Returns symbol associated to key consisting of an identifier and a sequence of types and links key to symbol.
FormulaSymbol	LogicEnvironment.getFormulaSymbol(Identifier name) Returns formula symbol associated to name.
TypeSymbol	LogicEnvironment.getTypeSymbol(Identifier name) Returns type symbol associated to name.
ValueSymbol	LogicEnvironment.getValueSymbol(Identifier name) Returns value symbol associated to name.
VariableSymbol	Environment.getVariable(Identifier ident) Return symbol for variable denoted by identifier in current environment.
boolean	SymbolTable.has(Identifier key) Checks whether table has an entry for key.
FormulaSymbol	LogicEnvironment.putFormula(Identifier name, Formula formula, FormulaDefinition decl, TheorySymbol theory) Attempts to put formula into value table
TypeSymbol	LogicEnvironment.putType(Identifier name, Type type, TypeDeclaration decl) Attempts to put type into type table.
ValueSymbol	LogicEnvironment.putValue(Identifier name, Type type, Declaration decl) Attempts to put value into value table
void	ReferencedUnits.visit(Identifier ident) Process identifier.

Constructors in fmrisc.ProgramExplorer.Semantics with parameters of type Identifier

Constructor and Description
ClassSymbol(PackageSymbol psymbol, Identifier name, ClassReader reader) Construct class symbol.
GlobalSymbolBase(GlobalSymbol container, Identifier name) Construct a symbol that can be externally referenced.
GlobalSymbolBase(Identifier name, Name lname) Construct a symbol that can be externally referenced.
PackageSymbol(Identifier name, ErrorStream error, java.io.File dir) Construct symbol for top-level package.
PackageSymbol(PackageSymbol parent, Identifier name, ErrorStream error) Construct symbol for subpackage of another package.
TheorySymbol(ClassSymbol csymbol, Identifier name, TheoryDeclaration decl, ErrorStream error) Construct local theory symbol from declaration.
TheorySymbol(PackageSymbol psymbol, Identifier name, TheoryDeclaration decl, ErrorStream error) Construct theory symbol from declaration.
TheorySymbol(PackageSymbol psymbol, Identifier name, TheoryReader reader) Construct theory symbol from reader.

Uses of Identifier in fmrisc.ProgramExplorer.Syntax

Fields in fmrisc.ProgramExplorer.Syntax declared as Identifier

Modifier and Type	Field and Description
Identifier[]	Name.idents

Methods in fmrisc.ProgramExplorer.Syntax that return Identifier

Modifier and Type	Method and Description
static Identifier	Identifier.construct(java.lang.String name) Construct identifier.
static Identifier[]	Identifier.construct(java.lang.String[] names) Construct identifiers.
static Identifier	Identifier.constructNew(java.lang.String name, java.util.Collection<java.lang.String> used) Create a new identifier.
Identifier	Name.getBase() Get the base identifier of the name.
Identifier	Declaration.getName() Get the name of the declared entity.

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type Identifier

Modifier and Type	Method and Description
static Name	Name.construct(Identifier ident) Construct name.
static Name	Name.construct(Identifier[] idents) Construct name.
static Name	Name.construct(Name prefix, Identifier ident) Construct name.
void	ASTVisitor.visit(Identifier tree)
void	ASTPrinter.visit(Identifier i)
void	ASTCloner.visit(Identifier tree)
void	ASTVisitorBase.visit(Identifier tree)

Method parameters in fmrisc.ProgramExplorer.Syntax with type arguments of type Identifier

Modifier and Type	Method and Description
static Name	Name.construct(java.util.Vector<Identifier> idents) Construct name.

Uses of Identifier in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return Identifier

Modifier and Type	Method and Description
Identifier	SelectorIdentifier.getIdentifier() Get identifier.
Identifier	PostfixApplication.getIdentifier() Get the function.
Identifier	ValuedIdentifier.getIdentifier() Get identifier.
Identifier	TypedIdentifier.getName() Get identifier.
Identifier	DeclarationBase.getName() Get the name of the declared entity.

Methods in fmrisc.ProgramExplorer.Syntax.Logic with parameters of type Identifier

Modifier and Type	Method and Description
static SelectorIdentifier	SelectorIdentifier.construct(Identifier name) Construct selector from identifier.
static Reference	Reference.construct(Identifier ident) Construct a reference to a logical variable (or constant).
static TypeDeclaration	TypeDeclaration.construct(Identifier name) Create new declaration of a constant denoting a type.
static FormulaDefinition	FormulaDefinition.construct(Identifier name, Formula formula) Create new declaration of a constant denoting a formula.
static AxiomDefinition	AxiomDefinition.construct(Identifier name, Formula formula) Create new declaration of a constant denoting a axiom.
static ValueDefinitionClass	ValueDefinitionClass.construct(Identifier name, Term value) Create new definition of a constant denoting a value.
static ValuedIdentifier	ValuedIdentifier.construct(Identifier name, Term value) Construct an identifier with a value.
static ValueDeclarationClass	ValueDeclarationClass.construct(Identifier name, Type type) Create new declaration of a constant denoting a value.
static TypeDefinition	TypeDefinition.construct(Identifier name, Type type) Create new declaration of a constant denoting a type.
static TypedIdentifier	TypedIdentifier.construct(Identifier name, Type type) Construct an identifier with a type.
static ValueDeclarationFormula	ValueDeclarationFormula.construct(Identifier name, Type type, Formula value) Create new declaration of a constant denoting a predicate.
static ValueDeclarationInitialized	ValueDeclarationInitialized.construct(Identifier name, Type type, Term value) Create new declaration of a constant denoting a value.

Uses of Identifier in fmrisc.ProgramExplorer.Syntax.Program

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

Modifier and Type	Field and Description
Identifier	VariableValue.ident
Identifier	IdentifierSelector.name
Identifier	DeclCallStatement.name
Identifier	DeclarationBase.name
Identifier	LeftValue.name

Methods in fmrisc.ProgramExplorer.Syntax.Program that return Identifier

Modifier and Type	Method and Description
Identifier	DeclCallStatement.getName() Get the name of the declared entity.
Identifier	DeclarationBase.getName() Get the name of the declared entity.

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

Modifier and Type	Method and Description
static VariableValue	VariableValue.construct(Identifier ident) Construction of a variable denoting a value.
static IdentifierSelector	IdentifierSelector.construct(Identifier name) Construct a selection by name.
static ConstructorDeclaration	ConstructorDeclaration.construct(Identifier name, Parameter[] params, Statement body) Construction of a constructor declaration.
static LeftValue	LeftValue.construct(Identifier name, Selector[] selectors) Construct the left value of an assignment.
static ObjectMethodDeclaration	ObjectMethodDeclaration.construct(Identifier name, TypeExpression type, Parameter[] params, Statement body) Construction of an object method declaration
static ClassMethodDeclaration	ClassMethodDeclaration.construct(Identifier name, TypeExpression type, Parameter[] params, Statement body) Construction of a class method declaration
static ObjectVariableDeclaration	ObjectVariableDeclaration.construct(Identifier name, TypeExpression type, ValueExpression value) Construct an object variable declaration
static ClassVariableDeclaration	ClassVariableDeclaration.construct(Identifier name, TypeExpression type, ValueExpression value) Construct a class variable declaration
static ObjectMethodDeclaration	ObjectMethodDeclaration.construct(Identifier name, TypeExpression type, java.util.Vector<Parameter> params, Statement body) Construction of an object method declaration
static ClassMethodDeclaration	ClassMethodDeclaration.construct(Identifier name, TypeExpression type, java.util.Vector<Parameter> params, Statement body) Construction of a class method declaration
static ConstructorDeclaration	ConstructorDeclaration.construct(Identifier name, java.util.Vector<Parameter> params, Statement body) Construction of a constructor declaration.
static LeftValue	LeftValue.construct(Identifier name, java.util.Vector<Selector> selectors) Construct the left value of an assignment.
static ClassDeclaration	ClassDeclaration.construct(Name pname, Import[] imports, Identifier name, TopDeclaration[] decls) Construct a class declaration
static ClassDeclaration	ClassDeclaration.construct(Name pname, java.util.Vector<Import> imports, Identifier name, java.util.Vector<TopDeclaration> decls) Construct a class declaration
static Parameter	Parameter.construct(TypeExpression type, Identifier name) Construct a parameter.
static DeclNewStatement	DeclNewStatement.construct(TypeExpression type, Identifier var, Name method, ValueExpression[] args) Construct a call statement with a result value assigned to a variable.
static DeclCallStatement	DeclCallStatement.construct(TypeExpression type, Identifier var, Name method, ValueExpression[] args) Construct a call statement with a result value assigned to a variable.
static DeclNewStatement	DeclNewStatement.construct(TypeExpression type, Identifier var, Name method, java.util.Vector<ValueExpression> args) Construct a call statement with a result value assigned to a variable.
static DeclCallStatement	DeclCallStatement.construct(TypeExpression type, Identifier var, Name method, java.util.Vector<ValueExpression> args) Construct a call statement with a result value assigned to a variable.
static VariableStatement	VariableStatement.construct(TypeExpression type, Identifier var, ValueExpression exp) Construct a local variable declaration

Constructors in fmrisc.ProgramExplorer.Syntax.Program with parameters of type Identifier

Constructor and Description
DeclarationBase(Identifier name) Construct declaration with denoted name.
ParamDeclarationBase(Identifier name, Parameter[] params, Statement body) Construction of a constructor declaration.
VariableDeclarationBase(Identifier name, TypeExpression type) Construct variable declaration.

Uses of Identifier in fmrisc.ProgramExplorer.Syntax.Spec

Methods in fmrisc.ProgramExplorer.Syntax.Spec with parameters of type Identifier

Modifier and Type	Method and Description
static TheoryDeclaration	TheoryDeclaration.construct(Name pname, Import[] imports, Identifier name, Name[] theories, Declaration[] decls) Construct a theory declaration
static TheoryDeclaration	TheoryDeclaration.construct(Name pname, java.util.Vector<Import> imports, Identifier name, java.util.Vector<Name> theories, java.util.Vector<Declaration> decls) Construct a theory.