Ada Code Generation : Package Specification

Package Specification

Context Clauses

Basic type definitions and services for conditions, events,
data-items, etc.
with SYSTEM; use SYSTEM;
with INTRINSICS; use INTRINSICS ;

Services for timeouts and scheduled actions
with TIMEOUTS; use TIMEOUTS ;

Rational Statemate queues operations
with QUEUES; use QUEUES ;

Rational Statemate string operations
with STM_STRINGS; use STM_STRINGS ;

Rational Statemate operations for bit-arrays
with BIT_OPERATIONS; use BIT_OPERATIONS ;

Rational Statemate predefined functions
with STD_FUNCS; use STD_FUNCS ;

GDS containing the model’s global types and constants
with UNCHECKED_CONVERSION;
with RAIL_DICTIONARY; use RAIL_DICTIONARY;

Generic behavior modules instantiated in module RAIL_CROSS with TOP_LEVEL; use TOP_LEVEL; elements shared by modules but not defined in GDS’s
with g_GEN_BARRIER;
with g_GEN_ROAD_CROSS;
with g_GEN_TRAIN;