Module dev.civl.abc

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

Interface AssignOffsetExprIF

All Superinterfaces:

AssignExprIF

public interface AssignOffsetExprIF
extends AssignExprIF

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.analysis.pointsTo.IF.AssignExprIF

AssignExprIF.AssignExprKind

Method Summary

Modifier and Type	Method	Description
AssignExprIF	base()
AssignOffsetIF	offset()

Methods inherited from interface dev.civl.abc.analysis.pointsTo.IF.AssignExprIF

isFull, kind, mayEquals, root, type

Method Details

base

AssignExprIF base()

offset

AssignOffsetIF offset()