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

Packages that use AssignOffsetIF

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

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

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

Modifier and Type	Method	Description
AssignOffsetIF	InsensitiveFlowFactory.assignOffset(ExpressionNode offset, boolean positive)	creates an AssignOffsetIF from an ExpressionNode of integer type
AssignOffsetIF	InsensitiveFlowFactory.assignOffset(Integer val)	creates an AssignOffsetIF represents the given constant integer.
AssignOffsetIF	InsensitiveFlowFactory.assignOffsetWild()
AssignOffsetIF	InsensitiveFlowFactory.assignOffsetZero()	creates an AssignOffsetIF represents constant integral zero.
AssignOffsetIF	AssignSubscriptExprIF.index()
AssignOffsetIF	AssignOffsetExprIF.offset()

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

Modifier and Type	Method	Description
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