PortGroupInverse.aadl 509 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
data D end D;
data E end E;

port group pg
  features
    a: in event port ;
    b: out event port ;
    c: in data port D ;
    d: out data port E ;
    e: in event data port D ;
    f: out event data port E ;
end pg;

port group pg2
  features
    z: out event port ;
    y: in event port ;
    x: out data port D ;
    w: in data port E ;
    v: out event data port D ;
    u: out event data port E ;
    -- bad: extra stuff here
    extra: in data port ;
  inverse of pg
end pg2;