Honeywell PML

TYPE uinterface_token IS 
RECORD

    --  user fields
    parm1_real	:  REAL; 			-- these are placed first to avoid
    parm2_real	:  REAL; 			-- some oddities on Sparcs
    parm1_int	:  INTEGER;
    parm2_int	:  INTEGER;

    --  control flow
    destination	:  name_type;
    source	:  name_type;
    t_type	:  token_type;

    --  performance fields
    size	:  data_size;
    value	:  INTEGER;

    --  token tracking or statistics fields
    id		:  uGIDType;
    start_time	:  TIME;

    -- communication fields
    priority	:  INTEGER;
    state	:  State_Type;
    protocol	:  Protocol_Type;

    -- user communication tracking and control fields
    collisions	:  INTEGER;
    retries	:  INTEGER;
    route	:  INTEGER;

END RECORD;