Module dev.civl.sarl

Package dev.civl.sarl.IF.expr

Interface OffsetReference

All Superinterfaces:

NTReferenceExpression, ReferenceExpression, SymbolicExpression, SymbolicObject

public interface OffsetReference
extends NTReferenceExpression

A reference to some point which is specified by an integer "offset" from another reference.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.ReferenceExpression

ReferenceExpression.ReferenceKind

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Method Summary

Modifier and Type	Method	Description
NumericExpression	getOffset()	Returns the offset.

Methods inherited from interface dev.civl.sarl.IF.expr.NTReferenceExpression

getParent

Methods inherited from interface dev.civl.sarl.IF.expr.ReferenceExpression

isArrayElementReference, isIdentityReference, isNullReference, isOffsetReference, isTupleComponentReference, isUnionMemberReference, referenceKind

Methods inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, size, type

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, containsSubobjectIgnoringType, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Method Details

getOffset

NumericExpression getOffset()

Returns the offset.

Returns:

the offset