54 |
protected Cursor cursor; |
protected Cursor cursor; |
55 |
protected RDFVocab rdf; |
protected RDFVocab rdf; |
56 |
|
|
57 |
|
protected Set markedNodes; |
58 |
|
|
59 |
protected PropertiesBox propertiesBox = new PropertiesBox(); |
protected PropertiesBox propertiesBox = new PropertiesBox(); |
60 |
|
|
61 |
public void load(File file) throws RDFException, IOException, |
public void load(File file) throws RDFException, IOException, |
92 |
stmt.getSubject(), 1, stmt.getObject()); |
stmt.getSubject(), 1, stmt.getObject()); |
93 |
|
|
94 |
menuBar.setModel(model, names); |
menuBar.setModel(model, names); |
95 |
|
|
96 |
|
markedNodes = new HashSet(); |
97 |
} |
} |
98 |
|
|
99 |
protected Frame propFrame; |
protected Frame propFrame; |