s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Remove modifiedSinceBuild flag from GUI. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4592 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 14 years ago
parent
e27cf12c14
commit
feb5161cda
1 changed files with 0 additions and 19 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 19
      prism/src/userinterface/model/GUIMultiModelHandler.java

19
prism/src/userinterface/model/GUIMultiModelHandler.java
View File

@ -95,7 +95,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
// State // State
private int currentMode; private int currentMode;
private boolean modified; private boolean modified;
private boolean modifiedSinceBuild;
private boolean modifiedSinceParse; private boolean modifiedSinceParse;
private File activeFile; private File activeFile;
private ModulesFile parsedModel; private ModulesFile parsedModel;
@ -288,7 +287,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
activeFile = null; activeFile = null;
modified = false; modified = false;
modifiedSinceParse = false; modifiedSinceParse = false;
modifiedSinceBuild = false;
parsedModel = null; parsedModel = null;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
if (currentMode == PRISM_MODE) { if (currentMode == PRISM_MODE) {
@ -316,7 +314,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
{ {
activeFile = null; activeFile = null;
modified = false; modified = false;
modifiedSinceBuild = false;
modifiedSinceParse = false; modifiedSinceParse = false;
parsedModel = null; parsedModel = null;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
@ -345,7 +342,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
{ {
activeFile = null; activeFile = null;
modified = false; modified = false;
modifiedSinceBuild = false;
modifiedSinceParse = false; modifiedSinceParse = false;
parsedModel = null; parsedModel = null;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
@ -429,7 +425,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.NEW_LOAD_NOT_RELOAD_MODEL)); theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.NEW_LOAD_NOT_RELOAD_MODEL));
activeFile = f; activeFile = f;
modified = false; modified = false;
modifiedSinceBuild = false;
modifiedSinceParse = false; modifiedSinceParse = false;
parsedModel = null; parsedModel = null;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
@ -479,7 +474,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.NEW_LOAD_NOT_RELOAD_MODEL)); theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.NEW_LOAD_NOT_RELOAD_MODEL));
activeFile = f; activeFile = f;
modified = false; modified = false;
modifiedSinceBuild = false;
modifiedSinceParse = false; modifiedSinceParse = false;
parsedModel = null; parsedModel = null;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
@ -527,7 +521,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.NEW_LOAD_NOT_RELOAD_MODEL)); theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.NEW_LOAD_NOT_RELOAD_MODEL));
activeFile = f; activeFile = f;
modified = false; modified = false;
modifiedSinceBuild = false;
modifiedSinceParse = false; modifiedSinceParse = false;
parsedModel = null; parsedModel = null;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
@ -592,7 +585,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
modified = false; modified = false;
parsedModel = null; parsedModel = null;
modifiedSinceParse = false; modifiedSinceParse = false;
modifiedSinceBuild = false;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
currentMode = PRISM_MODE; currentMode = PRISM_MODE;
checkSwitchAutoParse(); checkSwitchAutoParse();
@ -617,7 +609,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
modified = false; modified = false;
parsedModel = null; parsedModel = null;
modifiedSinceParse = false; modifiedSinceParse = false;
modifiedSinceBuild = false;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
currentMode = PEPA_MODE; currentMode = PEPA_MODE;
checkSwitchAutoParse(); checkSwitchAutoParse();
@ -642,7 +633,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
modified = false; modified = false;
parsedModel = null; parsedModel = null;
modifiedSinceParse = false; modifiedSinceParse = false;
modifiedSinceBuild = false;
updateBuiltModelDisplay(); updateBuiltModelDisplay();
currentMode = GRAPHIC_MODE; currentMode = GRAPHIC_MODE;
checkSwitchAutoParse(); checkSwitchAutoParse();
@ -1034,8 +1024,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
tree.makeNotUpToDate(); tree.makeNotUpToDate();
theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.MODIFIED_SINCE_SAVE)); theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.MODIFIED_SINCE_SAVE));
if (hasBuild())
modifiedSinceBuild = true;
modifiedSinceParse = true; modifiedSinceParse = true;
if (!parsing) { if (!parsing) {
@ -1100,11 +1088,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
return activeFile != null; return activeFile != null;
} }
public synchronized boolean hasBuild()
{
return prism.getBuiltModel() != null;
}
public synchronized boolean modified() public synchronized boolean modified()
{ {
return modified; return modified;
@ -1148,8 +1131,6 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
return; return;
tree.makeNotUpToDate(); tree.makeNotUpToDate();
theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.MODIFIED_SINCE_SAVE)); theModel.notifyEventListeners(new GUIModelEvent(GUIModelEvent.MODIFIED_SINCE_SAVE));
if (hasBuild())
modifiedSinceBuild = true;
if (!parsing) { if (!parsing) {
if (isAutoParse()) { if (isAutoParse()) {

Write Preview
Loading…
Cancel
Save