projects
/
IRC.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Add a readLine() method
[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
}