blob: 3b6f2c155e1435765a6c175ebe3d71037417329a (
plain)
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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
import java.util.*;
public class Node
{
/** Static *****************************************************************/
private static final Map<String, Node> NODE_FROM_STRING;
static
{
NODE_FROM_STRING = new HashMap<String, Node>();
}
public static Node get_node (final String s)
{
return NODE_FROM_STRING.get(s);
}
public static boolean handle_add_node (final String a)
{
if (!NODE_FROM_STRING.containsKey(a))
{
NODE_FROM_STRING.put(a, new Node(a));
}
return true;
}
public static boolean handle_is_terminal (final String a)
{
Node n;
n = NODE_FROM_STRING.get(a);
if (n == (Node) null)
{
n = new Node(a);
NODE_FROM_STRING.put(a, n);
}
n.set_as_terminal();
return true;
}
public static boolean handle_connect_to (final String a, final String b)
{
final Node n_a, n_b;
n_a = NODE_FROM_STRING.get(a);
n_b = NODE_FROM_STRING.get(b);
if ((n_a == null) || (n_b == null))
{
System.err.println
(
"[E] Causality issue: Nodes \""
+ a
+ "\" or \""
+ b
+ "\" used but not defined."
);
return false;
}
n_a.next_nodes.add(n_b);
return true;
}
/** Non-Static *************************************************************/
private final Collection<Node> next_nodes;
private final String name;
private boolean is_terminal;
private Node (final String name)
{
this.name = name;
next_nodes = new ArrayList<Node>();
is_terminal = false;
}
private void set_as_terminal ()
{
is_terminal = true;
}
public Collection<Node> next_nodes ()
{
return next_nodes;
}
public boolean is_terminal ()
{
return is_terminal;
}
@Override
public String toString ()
{
return name;
}
}
|
