
KeplerRefinementIOPort |
org.kepler.sms.KeplerRefinementIOPort |
A refinement port is a virtual port that denotes a particular
nested structure within a port's value. A refinement port (and
virtual ports in general) can be annotated using semantic
types. For example, given an actor with a port p1 having type
{lat=int, lon=int}, i.e., the port type is a record having a lat
and lon component, a port refinement 'p1/lat' can be constructed
that denotes the lat values (integers); and a semantic type such as
"Latitude" can be assigned to 'p1/lat'. A port refinement may
only be contained within an entity (e.g., an actor). All
port refinements are required to have a well-formed port name,
representing the actual "pointer" into the port's data
structure. The pointer 'elem' is used to denote traversal into an
array (list) or matrix, and the component name (e.g., 'lat') is
used to denote traversal into a record.
Author(s): Shawn Bowers
Version: