Uses of Interface
dev.civl.sarl.IF.expr.ReferenceExpression

Packages that use ReferenceExpression

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.expr	The public interface package dealing with symbolic expressions.

Uses of ReferenceExpression in dev.civl.sarl.expr.IF

Methods in dev.civl.sarl.expr.IF that return ReferenceExpression

Modifier and Type	Method	Description
ReferenceExpression	ExpressionFactory.identityReference()	Returns the identity (or "trivial") reference I.
ReferenceExpression	ExpressionFactory.nullReference()	Returns the "null reference", a symbolic expression of reference type which is not equal to a reference value returned by any of the other methods, and which cannot be dereferenced.

Methods in dev.civl.sarl.expr.IF with parameters of type ReferenceExpression

Modifier and Type	Method	Description
ArrayElementReference	ExpressionFactory.arrayElementReference(ReferenceExpression arrayReference, NumericExpression index)	Given a reference to an array and an index (integer), returns a reference to the element of the array at that index
OffsetReference	ExpressionFactory.offsetReference(ReferenceExpression reference, NumericExpression offset)	Given a ReferenceExpression and a NumericExpression offset, returns an offsetReference.
TupleComponentReference	ExpressionFactory.tupleComponentReference(ReferenceExpression tupleReference, IntObject fieldIndex)	Given a reference to a tuple, and a field index, returns a reference to that component of the tuple
UnionMemberReference	ExpressionFactory.unionMemberReference(ReferenceExpression unionReference, IntObject memberIndex)	Given a reference to a union (expression of union type) and an index of a member type of that union, returns a reference to the underlying element

Uses of ReferenceExpression in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return ReferenceExpression

Modifier and Type	Method	Description
ReferenceExpression	CoreUniverse.identityReference()	Returns the identity (or "trivial") reference I.
ReferenceExpression	CoreUniverse.nullReference()	Returns the "null reference", a symbolic expression of reference type which is not equal to a reference value returned by any of the other methods, and which cannot be dereferenced.

Methods in dev.civl.sarl.IF with parameters of type ReferenceExpression

Modifier and Type	Method	Description
ArrayElementReference	CoreUniverse.arrayElementReference(ReferenceExpression arrayReference, NumericExpression index)	Given a reference to an array and an index (integer), returns a reference to the element of the array at that index.
SymbolicExpression	CoreUniverse.assign(SymbolicExpression value, ReferenceExpression reference, SymbolicExpression subValue)	Given a symbolic expression value, a reference to a point within that value, and a subValue, returns the symbolic expression obtained by replacing the referenced part of value with subValue.
SymbolicExpression	CoreUniverse.dereference(SymbolicExpression value, ReferenceExpression reference)	Given a reference and a value, returns the sub-expression of value specified by the reference.
OffsetReference	CoreUniverse.offsetReference(ReferenceExpression reference, NumericExpression offset)
SymbolicType	CoreUniverse.referencedType(SymbolicType type, ReferenceExpression reference)	Returns the type referenced by a reference into an expression of the given type.
TupleComponentReference	CoreUniverse.tupleComponentReference(ReferenceExpression tupleReference, IntObject fieldIndex)	Given a reference to a tuple, and a field index, returns a reference to that component of the tuple.
UnionMemberReference	CoreUniverse.unionMemberReference(ReferenceExpression unionReference, IntObject memberIndex)	Given a reference to a union (expression of union type) and an index of a member type of that union, returns a reference to the underlying element.

Uses of ReferenceExpression in dev.civl.sarl.IF.expr

Subinterfaces of ReferenceExpression in dev.civl.sarl.IF.expr

Modifier and Type	Interface	Description
interface	ArrayElementReference	A reference to an element of an array.
interface	NTReferenceExpression	A non-trivial ReferenceExpression, i.e., one which is not the null reference or the identity reference.
interface	OffsetReference	A reference to some point which is specified by an integer "offset" from another reference.
interface	TupleComponentReference	A reference into a specified field of a tuple value.
interface	UnionMemberReference	A reference to a member of a SymbolicUnionType.

Methods in dev.civl.sarl.IF.expr that return ReferenceExpression

Modifier and Type	Method	Description
ReferenceExpression	NTReferenceExpression.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.