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

Packages that use AssignStoreExprIF

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

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

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

Modifier and Type	Method	Description
AssignStoreExprIF	InsensitiveFlowFactory.assignStoreExpr(Variable store)	creates an abstract object representing a variable
AssignStoreExprIF	InsensitiveFlowFactory.assignStoreExpr(ExpressionNode store)	creates an abstract object representing an allocation or a string literal