|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectch.hearc.I04_05s08.GUI.RDFS.RdfsGraphManager
A manager for RDFS graphs
Field Summary | |
private JFileChooser |
jfc_opener
File chooser for closing |
private JFileChooser |
jfc_saver
File chooser for saving |
private MainApplication |
mainframe
Frame |
Constructor Summary | |
RdfsGraphManager(MainApplication mainframe)
Build the graph manager |
Method Summary | |
private String |
chooseOpener()
Choose a file for opening |
private String |
chooseSaver()
Choose a file for saving |
boolean |
closeGraph()
Save the graph into another file |
private boolean |
loadGraph(RdfsFile file)
Load the graph |
void |
newGraph()
Build a new graph |
boolean |
openGraph()
Open a graph with this file |
boolean |
saveAsGraph()
Save the graph into another file |
boolean |
saveGraph()
Save the graph into a file |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private MainApplication mainframe
private JFileChooser jfc_opener
private JFileChooser jfc_saver
Constructor Detail |
public RdfsGraphManager(MainApplication mainframe)
mainframe
- the parent frameMethod Detail |
public void newGraph()
newGraph
in interface GraphManager
public boolean openGraph()
openGraph
in interface GraphManager
private String chooseOpener()
private String chooseSaver()
public boolean saveGraph()
saveGraph
in interface GraphManager
public boolean saveAsGraph()
saveAsGraph
in interface GraphManager
public boolean closeGraph()
closeGraph
in interface GraphManager
private boolean loadGraph(RdfsFile file)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A project by Blanc, Yoan – supervised by Dr. Ghorbel, Hatem.
2004 © Blanc, Yoan - HE-ARC