Package es.uma.ama.maudeWorkstationGUI.ui.views

Examples of es.uma.ama.maudeWorkstationGUI.ui.views.MaudeRewriting.reset()

152
153
154
155
156
157
158
159
160
161
162
          MaudeWorkstationGUIPlugin.getDefault().setEnabledDatabase(MaudeWorkstationGUIPlugin.getDefault().getDatabase().initCoreMaudeDatabase()); 
        }
        else{
          MaudeWorkstationGUIPlugin.getDefault().setEnabledDatabase(MaudeWorkstationGUIPlugin.getDefault().getDatabase().initFullMaudeDatabase()); 
        }
        if(rewriting!=null) rewriting.reset();
       
      /*  if(!MaudeWorkstationGUIPlugin.getDefault().isEnabledDatabase()){
          createTasksDatabase();
        } */
      }
 
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.