public class PropertiesLoader extends java.lang.Object implements GraphStateListener, SpecificationStateListener, FileStateListener
Constructor and Description |
---|
PropertiesLoader() |
Modifier and Type | Method and Description |
---|---|
void |
graphSelectionChange(GraphState state,
GraphSelectionEvent event) |
void |
setGraph(NetGraph graph) |
void |
specificationFileStateChange(FileState state) |
void |
specificationStateChange(SpecificationState state) |
public void setGraph(NetGraph graph)
public void graphSelectionChange(GraphState state, GraphSelectionEvent event)
graphSelectionChange
in interface GraphStateListener
public void specificationStateChange(SpecificationState state)
specificationStateChange
in interface SpecificationStateListener
public void specificationFileStateChange(FileState state)
specificationFileStateChange
in interface FileStateListener