Package edu.udel.cis.vsl.sarl.IF.expr

Interface NTReferenceExpression

All Superinterfaces:
ReferenceExpression, SymbolicExpression, SymbolicObject
All Known Subinterfaces:
ArrayElementReference, OffsetReference, TupleComponentReference, UnionMemberReference
All Known Implementing Classes:
CommonArrayElementReference, CommonNTReference, CommonOffsetReference, CommonTupleComponentReference, CommonUnionMemberReference
public interface NTReferenceExpression extends ReferenceExpression
A non-trivial ReferenceExpression, i.e., one which is not the null reference or the identity reference.

  • 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.