Generic Types with context parameters

dcl

value atype,

n Natural := 0 ;

Process type pass_signals

<signal a(atype) ;

newtype atype >

idle

a(value)

n := n+1

request

start

[a, request ]

come

[a ]

go

Process type pass_pdu

idle

n := n+1

request

start

[pdu, request ]

come

[pdu ]

go

pdu

(value)

process type pass_pdu

inherits pass_signals

<pdu, integer >

pdu(value)

via go

a(value)

via go

Resulting process

Previous slide

Next slide

Back to first slide

View graphic version