Uses of Interface
dev.civl.mc.model.IF.Identifier

Packages that use Identifier

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.
dev.civl.mc.model.IF.variable	Submodule model.variable defines variables in CIVL.

Uses of Identifier in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return Identifier

Modifier and Type	Method	Description
Identifier	Scope.functionName()
Identifier	ModelFactory.getLiteralDomCounterIdentifier(CIVLSource source, int count)	Get the name of the counter variable for the for loop on a literal domain
Identifier	ModelFactory.identifier(CIVLSource source, String name)	Get an identifier with the given name.
Identifier	CIVLFunction.name()

Methods in dev.civl.mc.model.IF with parameters of type Identifier

Modifier and Type	Method	Description
AbstractFunction	ModelFactory.abstractFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, int continuity, String attribute)	Generate an abstract function.
BoundVariableExpression	ModelFactory.boundVariableExpression(CIVLSource source, Identifier name, CIVLType type)	An expression for a bound variable.
CIVLFunction	ModelFactory.function(CIVLSource source, boolean isAtomic, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, Location startLocation)	Create a new function.
CIVLFunction	Scope.getFunction(Identifier name)
LogicFunction	ModelFactory.logicFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType outputType, int[] pointerToHeapMap, Scope containingScope, Expression definition)	Create a new logic function (LogicFunction).
CIVLFunction	ModelFactory.nondetFunction(CIVLSource source, Identifier name, CIVLType returnType, Scope containingScope)
void	CIVLFunction.setName(Identifier name)
StructOrUnionField	CIVLTypeFactory.structField(Identifier name, CIVLType type, int index, boolean isAnonymous, CIVLStructOrUnionType enclosingType)	Returns a new struct field, used to complete a struct type.
CIVLStructOrUnionType	CIVLTypeFactory.structOrUnionType(Identifier name, boolean isStruct)	Returns new incomplete struct or union type with given name.
SystemFunction	ModelFactory.systemFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, String libraryName)	Generate the system function
Variable	ModelFactory.variable(CIVLSource source, CIVLType type, Identifier name, int vid)	Create a new variable.
Variable	Scope.variable(Identifier name)	Get the variable associated with an identifier.
Variable	ModelFactory.variableAsParameter(CIVLSource source, CIVLType type, Identifier name, int vid)	Create a new variable which is also a parameter of some function.

Uses of Identifier in dev.civl.mc.model.IF.expression

Methods in dev.civl.mc.model.IF.expression that return Identifier

Modifier and Type	Method	Description
Identifier	BoundVariableExpression.name()

Uses of Identifier in dev.civl.mc.model.IF.type

Methods in dev.civl.mc.model.IF.type that return Identifier

Modifier and Type	Method	Description
Identifier	CIVLStructOrUnionType.name()	Returns the name of this struct or union type.
Identifier	StructOrUnionField.name()

Uses of Identifier in dev.civl.mc.model.IF.variable

Methods in dev.civl.mc.model.IF.variable that return Identifier

Modifier and Type	Method	Description
Identifier	Variable.name()

Methods in dev.civl.mc.model.IF.variable with parameters of type Identifier

Modifier and Type	Method	Description
void	Variable.setName(Identifier name)