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

Interface AssignOffsetIF

public interface AssignOffsetIF

This class represents an integral parameter "c|*" of an abstract object that has the form of U + (c|*) or U[c|*]. The notation "c|*" means either a constant integer "c" or an arbitrary integer "*".

An instance of this class represents a constant integer iff hasConstantValue(); otherwise, this instance represents an arbitrary integer.

  • Method Details

    • constantValue

      Integer constantValue()

    • hasConstantValue

      boolean hasConstantValue()