2 Why We Need Model-Based Testing

Appendices 293
GreaterThan(CompoundValue, CompoundValue)
Term greater than.
GreaterThanOrEqual(CompoundValue, CompoundValue)
Term greater than or equal.
Inequality(CompoundValue, CompoundValue)
Inequality of terms.
LessThan(CompoundValue, CompoundValue)
Term less than.
LessThanOrEqual(CompoundValue, CompoundValue)
Term less than or equal.
Properties
AsTerm
Returns the term representation of this value.
Sort
Returns the sort (abstract type) of this value.
Remarks
A CompoundValue is similar to a .NET struct, but unlike a struct subtypes of
CompoundValue may implement tree structures. By construction, such values may be
recursive but must have no cycles. (From the point of view of mathematical logic,
values of this type can be thought of as a term whose function symbol is the type
and whose arguments are the field values.)
CompoundValues are commonly used in modeling abstract state. They should be
used instead of mutable classes whenever practical because they can reduce the
amount of analysis required when comparing if two program states are equal. They
also tend to promote a clear style, since they are read-only data structures. Aliased
updates can thus be avoided.
Invariant: All field values (returned by the FieldValues method) must have a
fixed order and contain elements of type IComparable that satisfy the predicate
IsAbstractValue(Object). All fields of subtypes of this class must be readonly.
This invariant holds for subtypes of CompoundValue such as the collection types
desribed below. The type parameter T for the collection types must support interface
IComparable.
A.2.2 Set
Set
An unordered collection of distinct values. This type is immutable and uses structural
equality. Add/remove operations return a new set.
more free ebooks download links at:
http://www.ebook-x.com