Module dev.civl.sarl

Package dev.civl.sarl.IF.expr.valueSetReference

Interface NTValueSetReference

All Superinterfaces:

SymbolicExpression, SymbolicObject, ValueSetReference

All Known Subinterfaces:

VSArrayElementReference, VSArraySectionReference, VSOffsetReference, VSTupleComponentReference, VSUnionMemberReference

public interface NTValueSetReference
extends ValueSetReference

A non-trivial ValueSetReference, i.e., one which is not the identity reference.

Nested Class Summary

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

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

ValueSetReference.VSReferenceKind

Method Summary

Modifier and Type	Method	Description
ValueSetReference	getParent()	As this is an VSArrayElementReference, VSArraySectionReference, VSOffsetReference, VSTupleComponentReference or VSUnionMemberReference, returns the reference to the parent, i.e.

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

Methods inherited from interface dev.civl.sarl.IF.expr.valueSetReference.ValueSetReference

isArrayElementReference, isArraySectionReference, isIdentityReference, isOffsetReference, isTupleComponentReference, isUnionMemberReference, valueSetReferenceKind

Method Details

getParent

ValueSetReference getParent()

As this is an VSArrayElementReference, VSArraySectionReference, VSOffsetReference, VSTupleComponentReference or VSUnionMemberReference, returns the reference to the parent, i.e. the array value(s), tuple value(s), union value(s) or other ValueSetReferences, resp.