|
43
|
1 |
//////// JAVASCRIPT //////////////////////////////////////////////////////////
|
|
|
2 |
interface JavaScript {
|
|
|
3 |
void adjacentnodes(String id, String pj, String adj, String bd);
|
|
|
4 |
void selectnode(String id, String pj);
|
|
|
5 |
void selectedge(String s);
|
|
|
6 |
void topicnode(String s);
|
|
|
7 |
void setscale(float s);
|
|
|
8 |
void group_shapes();
|
|
|
9 |
void allbackup(String s);
|
|
|
10 |
void allretrieve(String s);
|
|
|
11 |
void new_topic();
|
|
|
12 |
void pedia();
|
|
|
13 |
void set_mode(String lang, boolean d, boolean p, boolean u, String b, boolean ed);
|
|
|
14 |
void countassoc(String id, String pj);
|
|
|
15 |
void new_relation(String id, String name, String grp, String proj, String to_id, String to_name, String to_grp, String to_proj);
|
|
|
16 |
void new_select(String id, String proj);
|
|
|
17 |
void startexpand();
|
|
|
18 |
void endexpand();
|
|
|
19 |
void username(String uid);
|
|
76
|
20 |
void mousemove(sel);
|
|
|
21 |
void click(sel);
|
|
43
|
22 |
}
|
|
|
23 |
|
|
|
24 |
void bindJavascript(JavaScript js) {
|
|
|
25 |
javascript = js;
|
|
|
26 |
}
|
|
|
27 |
|
|
|
28 |
JavaScript javascript;
|
|
|
29 |
|