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

Packages that use AssignOffsetExprIF

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

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

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

Modifier and Type	Method	Description
AssignOffsetExprIF	InsensitiveFlowFactory.assignOffsetExpr(AssignExprIF base, AssignOffsetIF offset)	creates an abstract object representing a pointer with an offset