Uses of Interface
dev.civl.abc.analysis.pointsTo.IF.AssignExprIF

Packages that use AssignExprIF

Package	Description
dev.civl.abc.analysis.pointsTo.IF

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

Subinterfaces of AssignExprIF in dev.civl.abc.analysis.pointsTo.IF

Modifier and Type	Interface	Description
interface	AssignAuxExprIF
interface	AssignFieldExprIF
interface	AssignOffsetExprIF
interface	AssignStoreExprIF
interface	AssignSubscriptExprIF

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

Modifier and Type	Method	Description
AssignExprIF[]	InvocationGraphNode.actualParams()
AssignExprIF	AssignSubscriptExprIF.array()
AssignExprIF	AssignOffsetExprIF.base()
AssignExprIF[]	InvocationGraphNode.formalParams()
AssignExprIF	InsensitiveFlowFactory.full()	creates an abstract object representing a pointer to any possible object
AssignExprIF	AssignmentIF.lhs()
AssignExprIF	InvocationGraphNode.returnTo()
AssignExprIF	AssignmentIF.rhs()
AssignExprIF	AssignExprIF.root()
AssignExprIF	AssignFieldExprIF.struct()

Methods in dev.civl.abc.analysis.pointsTo.IF that return types with arguments of type AssignExprIF

Modifier and Type	Method	Description
Iterable<AssignExprIF>	InvocationGraphNode.accessedGlobals()
List<AssignExprIF>	FlowInsensePointsToAnalyzer.mayPointsTo(Function func, AssignExprIF ptr)	Returns the points-to set of the given AssignExprIF, which is an abstraction of an object.
List<AssignExprIF>	FlowInsensePointsToAnalyzer.mayPointsTo(Function func, Entity[] designations)	Returns the points-to set of the given program object represented by a list of designations
Iterable<AssignExprIF>	PointsToGraph.mayPointsTo(AssignExprIF expr)
Iterable<AssignExprIF>	PointsToGraph.mayPointsTo(Variable root, List<Field> fields)
Iterable<AssignExprIF>	InvocationGraphNode.returnings()

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

Modifier and Type	Method	Description
void	InvocationGraphNode.addGlobalAccess(AssignExprIF globalAccess)	save an access to a global object by the function body of the function of this call
boolean	PointsToGraph.addPointsTo(AssignExprIF expr, Iterable<AssignExprIF> pointsTo)	Adds additional point-to information to the graph.
void	InvocationGraphNode.addReturnValue(AssignExprIF returnValue)	save a returning expression in the associated function body in this node
boolean	PointsToGraph.addSubsetRelation(AssignExprIF superset, AssignExprIF subset)	Adds subset-of relation to the graph.
AssignFieldExprIF	InsensitiveFlowFactory.assignFieldExpr(AssignExprIF struct, Field field)	creates an abstract object representing a struct/union field of another abstract object
AssignmentIF	InsensitiveFlowFactory.assignment(AssignExprIF lhs, boolean lhsDeref, AssignExprIF rhs, boolean rhsDeref, boolean rhsAddrof)	creates a new instance of AssignmentIF
AssignOffsetExprIF	InsensitiveFlowFactory.assignOffsetExpr(AssignExprIF base, AssignOffsetIF offset)	creates an abstract object representing a pointer with an offset
AssignSubscriptExprIF	InsensitiveFlowFactory.assignSubscriptExpr(AssignExprIF array, AssignOffsetIF index)	creates an abstract object representing an array element of another abstract object
boolean	AssignExprIF.mayEquals(AssignExprIF e)
List<AssignExprIF>	FlowInsensePointsToAnalyzer.mayPointsTo(Function func, AssignExprIF ptr)	Returns the points-to set of the given AssignExprIF, which is an abstraction of an object.
Iterable<AssignExprIF>	PointsToGraph.mayPointsTo(AssignExprIF expr)
InvocationGraphNode	InvocationGraphNodeFactory.newNode(Function function, InvocationGraphNode parent, AssignExprIF returnTo, AssignExprIF... actualParams)	creates a new invocation graph node
void	InvocationGraphNode.setFormalParameters(AssignExprIF[] formals)

Method parameters in dev.civl.abc.analysis.pointsTo.IF with type arguments of type AssignExprIF

Modifier and Type	Method	Description
boolean	PointsToGraph.addPointsTo(AssignExprIF expr, Iterable<AssignExprIF> pointsTo)	Adds additional point-to information to the graph.