-
Notifications
You must be signed in to change notification settings - Fork 0
/
TODO.txt
68 lines (66 loc) · 1.63 KB
/
TODO.txt
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
It does not support the wildcard "_".
[Done] It does not support the role recursion.
[Done] It does not support the role changing.
Unit test on each action with jsunit.
[Done]Port WebLCC to node.js.
Create stable LCC interpreter not on the fly.
Currently the trigger role do not have variables which do not have values. (not flexible?)
[Done] When the user logs on to the XMPP server, the JID will be verified and at the same time the peer ID should be determined.
[Done]Support brackets which can change the precedence and the associativity
Message pass can not be rolled back. (there is no need appearently)
Message names determines the niob contexts so in each role clauses, message names should be different from one another.
Embedded brackets are not supported.
[important]role changing does not work for niob.
[important]irrelevant constraints should be ignored
Change "Start" to "Choreograph"
reset button can not call resetLCCEnvironment
codemirror highlighting does not support Chinese.
Factor Structure (foo("a", B, bar(C,"d"))):
{
name : "foo",
value : "undefined",
params : [
{
name : "a",
params : []
}
,
{
name : "B",
params : []
}
,
{
name : "bar",
params : [
{
name : "C",
params : []
}
,
{
name : "d",
params : []
}
]
}
]
}
Header Structure:
header(
[
{
jid : "[email protected]",
role : "client",
roleType : "initial",
okcs : ["http://okbook.inf.ed.ac.uk:8188/okbook/im/alice.js"]
}
,
{
jid : "[email protected]",
role : "shop",
roleType : "",
okcs : ["http://okbook.inf.ed.ac.uk:8188/okbook/im/bob.js"]
}
]
).