blob: feb1e51c104722469ba0815ae27b6ce3a969b474 (
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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
|
import java.util.ArrayList;
import java.util.Collection;
import java.util.Map;
import java.util.HashMap;
public class VHDLWaveform
{
private static final Map<String, VHDLWaveform> FROM_ID;
static
{
FROM_ID = new HashMap<String, VHDLWaveform>();
}
public static void add_element (final String id)
{
if (!FROM_ID.containsKey(id))
{
FROM_ID.put(id, new VHDLWaveform(id));
}
}
public static VHDLWaveform get_from_id (final String id)
{
final VHDLWaveform result;
result = FROM_ID.get(id);
if (result == null)
{
System.err.println
(
"[E] Element "
+ id
+ " is used like a waveform, but is not declared as such before"
+ " that use."
);
new Exception().printStackTrace();
System.exit(-1);
}
return result;
}
public static VHDLWaveform find (final String id)
{
return FROM_ID.get(id);
}
/******************************************************************************/
private final Collection<String> accessed_wfm;
private final Collection<VHDLWaveform.Instance> instances;
private final String id;
private int instances_count;
private VHDLArchitecture architecture;
private VHDLWaveform (final String id)
{
this.id = id;
accessed_wfm = new ArrayList<String>();
instances = new ArrayList<VHDLWaveform.Instance>();
instances_count = 0;
architecture = null;
}
public VHDLWaveform.Instance add_instance
(
final VHDLEntity visibility
)
{
final VHDLWaveform.Instance result;
result =
new VHDLWaveform.Instance
(
this,
visibility
);
instances.add(result);
instances_count += 1;
return result;
}
public String get_id ()
{
return id;
}
public void set_architecture (final VHDLArchitecture arch)
{
architecture = arch;
}
@Override
public String toString ()
{
return id;
}
public static class Instance
{
private static int instances_count;
static
{
instances_count = 0;
}
private final String id;
private final VHDLWaveform parent;
private final VHDLEntity visibility;
private Instance
(
final VHDLWaveform parent,
final VHDLEntity visibility
)
{
this.id =
(
Main.get_parameters().get_id_prefix()
+ "wfm_"
+ instances_count
);
instances_count += 1;
this.parent = parent;
this.visibility = visibility;
}
public String get_id ()
{
return id;
}
public VHDLWaveform get_parent ()
{
return parent;
}
public void write_predicates_to (final OutputFile of)
{
try
{
of.write("(add_element wfm_instance ");
of.write(id);
of.write(")");
of.insert_newline();
of.write("(is_wfm_instance_of ");
of.write(id);
of.write(" ");
of.write(parent.get_id());
of.write(")");
of.insert_newline();
of.write("(is_visible_in ");
of.write(id);
of.write(" ");
of.write(visibility.get_id());
of.write(")");
of.insert_newline();
}
catch (final Exception e)
{
System.err.println
(
"[F] Could not write to output file:"
);
e.printStackTrace();
System.exit(-1);
}
}
@Override
public String toString ()
{
return id;
}
}
}
|
