Module dev.civl.sarl

Package dev.civl.sarl.IF.expr

Interface NTReferenceExpression

All Superinterfaces:

ReferenceExpression, SymbolicExpression, SymbolicObject

All Known Subinterfaces:

ArrayElementReference, OffsetReference, TupleComponentReference, UnionMemberReference

public interface NTReferenceExpression
extends ReferenceExpression

A non-trivial ReferenceExpression, i.e., one which is not the null reference or the identity 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
ReferenceExpression	getParent()	As this is a reference to an array element, tuple component, union member, or an offset reference, returns the reference to the parent, i.e., the array, tuple, union, or the other reference, resp.

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

getParent

ReferenceExpression getParent()

As this is a reference to an array element, tuple component, union member, or an offset reference, returns the reference to the parent, i.e., the array, tuple, union, or the other reference, resp.