Package uk.ac.man.cs.rainbow.datamodel

Data model for Rainbow simulation.

See:
Description

Interface Summary

Data.Comparable	Indicate that two data values can be compared for relative order.
Data.List.T	What special operations must the type of a list implement?
Data.Union.T	What special operations must the type of a union implement?
Data.Word.RestrictingT	Some word types can restrict the range of the underlying word.
Data.Word.T	What special operations must the type of a word implement?

Class Summary

Data	The core class of data values.
Data.List	Compound "list" datatypes.
Data.Union	Union datatypes.
Data.Untyped	The superclass of all Untypeable data classes.
Data.Word	Basic "word" datatypes.
StringData	Strings as data values.
Type	The core class of types.
Type.Boolean	The class of types of booleans.
Type.Enum	The class of types of enumerations.
Type.Integer	The class of types of integers.
Type.Tuple	The class of types of tuples/records/bundles.
Type.Union	The class of types of unions.
Type.Vector	The class of types of vectors.
TypeData	Types as untyped data values.
UnknownData	The unknown data value.

Exception Summary

TypeException

Exceptions caused by type problems

Package uk.ac.man.cs.rainbow.datamodel Description

Data model for Rainbow simulation. Gives four major classes of data:

• Enumerable data values. These are based on the concept of a word.
• Structured data values. These are based on the concept of a group of other data values.
• Discriminated (tagged) union data values.
• Untyped data values. These do not have a direct hardware analogue that can be safely communicated about network of devices.