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: