Uses of Interface
dev.civl.abc.ast.entity.IF.Variable

Packages that use Variable

Package	Description
dev.civl.abc.analysis.pointsTo.IF
dev.civl.abc.ast.entity.IF	Submodule ast.entity defines entities (objects of type Entity), the abstract things such as types, structures, unions, enumerations, objects (variables), functions, and so on, which can be named by identifiers in a program.
dev.civl.abc.ast.node.IF.declaration	The ast.node.declaration submodule defines nodes and other object deadling with declarations in a program.
dev.civl.abc.ast.value.IF	The ast.value submodule defines classes for representing constant values that can occur in a program, such as numeric literals, characters, strings, pointer constants, and so on.

Uses of Variable in dev.civl.abc.analysis.pointsTo.IF

Methods in dev.civl.abc.analysis.pointsTo.IF that return Variable

Modifier and Type	Method	Description
Variable	AssignStoreExprIF.variable()

Methods in dev.civl.abc.analysis.pointsTo.IF with parameters of type Variable

Modifier and Type	Method	Description
AssignStoreExprIF	InsensitiveFlowFactory.assignStoreExpr(Variable store)	creates an abstract object representing a variable
Iterable<AssignExprIF>	PointsToGraph.mayPointsTo(Variable root, List<Field> fields)

Uses of Variable in dev.civl.abc.ast.entity.IF

Methods in dev.civl.abc.ast.entity.IF that return Variable

Modifier and Type	Method	Description
Variable	Scope.getVariable(int index)	The variables in this scope are assigned variable ID numbers 0, 1, 2, ..., at completion time.
Variable	EntityFactory.newVariable(String name, ProgramEntity.LinkageKind linkage, Type type)	Creates a new Variable.

Methods in dev.civl.abc.ast.entity.IF that return types with arguments of type Variable

Modifier and Type	Method	Description
Iterable<Variable>	Scope.getVariables()	Returns an iterator over the variables in this scope, in order of increasing variable ID.

Uses of Variable in dev.civl.abc.ast.node.IF.declaration

Methods in dev.civl.abc.ast.node.IF.declaration that return Variable

Modifier and Type	Method	Description
Variable	VariableDeclarationNode.getEntity()

Uses of Variable in dev.civl.abc.ast.value.IF

Methods in dev.civl.abc.ast.value.IF that return Variable

Modifier and Type	Method	Description
Variable	VariableReference.getVariable()