implemented PCLOC annotation.
[IRC.git] / Robust / rolebasedcomputation
1 Input:
2 trigger role specification for tasks:
3 role mutator operation:
4 role definition:
5
6 Generate:
7 Role transition diagram
8
9
10 Initial features:
11 methods
12 structs
13 type system
14
15 Language features:
16 Single Inheritance
17 Virtual methods
18 Objects
19
20 object metastate:
21 1. flags: flag role1
22 2. tags: tag tag1
23
24 tag operations:
25 tag tag1=new tag;
26 tag tag2=incrementtag(tag tag1);
27 tag tag3=no tag;
28
29 metastate operations:
30
31 task foo(type1 o1{role1||role2}, type2 o2{role3}) {
32         
33   exit(o1{role1'=false},o2{role3'=false},onew{role4=true});
34 }