Package edu.udel.cis.vsl.sarl.IF.expr.valueSetReference
package edu.udel.cis.vsl.sarl.IF.expr.valueSetReference
-
ClassDescriptionA non-trivial
ValueSetReference, i.e., one which is not the identity reference.The different kinds of reference set elements.A reference to an (set-of) element(s) of a (set-of) array value(s).A reference to a (set-of) section(s) of a (set-of) array(s).A reference to a single object value.A reference to some point(s) which is specified by an integer "offset" from another value set reference.A reference into a (set-of) specified field(s) of a (set-of) tuple value(s).A reference to a (set-of) members of a (set-of) union value(s).