Promela Reference -- hierarchy(6)

Promela

Omission

hierarchy


NAME
hierarchy - for defining layered systems.

DESCRIPTION
There is no mechanism for defining a hierarchically layered system in Promela, nor is there a good excuse to justify this omission. At present, the only structuring principles supported in Promela are proctype s, inline s, and macros .

SEE ALSO
inline
macros
proctype
procedures


Spin Online References
Promela Manual Index
Promela Grammar
Spin HomePage
(Page updated: 28 November 2004)