Examples of MaudeRewriting

          && !MaudesimpleGUIPlugin.getDefault().isDebuging() ){
        
        
          Workbench.getInstance().getDisplay().syncExec(new Runnable() {
          public void run() {
             MaudeRewriting rewriting = (MaudeRewriting) PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().findView(Messages.getString("MaudeWorkstationGUIPlugin.MAUDE_REWRITING")); //$NON-NLS-1$
            
             
            List<String> modulos=MaudeWorkstationGUIPlugin.getDefault().getDatabase().getActiveModules();
            Iterator<String> it= modulos.iterator();
            while(it.hasNext()){
              String module= it.next();
              //if(MaudeWorkstationGUIPlugin.getDefault().getMaudeProcess().isFullMaude())
              //  module+=Messages.getString("MaudeWorkstationGUIPlugin.FULL");
              if(rewriting!=null) rewriting.addModule(module);
              
              
            }
            //aqui hay que seleccionar como modulo activo el modulo
            //en el caso que se encuentre en la lista de modulos
            //cuidado con la F
            String moduloFull=modulo;
            if(MaudeWorkstationGUIPlugin.getDefault().getMaudeProcess().isFullMaude())
              moduloFull+=Messages.getString("MaudeWorkstationGUIPlugin.FULL");


            if(rewriting!=null && (modulos.contains(moduloFull) || modulos.contains(modulo))){
              rewriting.setSelectedItem(modulo);
              MaudeSesion.newInstance().getRewritingState().setActiveModule(modulo);
            }
            
            
            MaudeModules.getInstance().removeModule(modulo);

          
          MaudeTraza traza = (MaudeTraza) PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().findView(Messages.getString("MaudeWorkstationGUIPlugin.MAUDE_TRAZA"));  //$NON-NLS-1$
        if(traza!=null) traza.reset();
          MaudeDepuracion debug = (MaudeDepuracion) PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().findView(Messages.getString("MaudeWorkstationGUIPlugin.MAUDE_DEPURACION"));  //$NON-NLS-1$
        if(debug!=null) debug.reset();
          MaudeRewriting rewriting = (MaudeRewriting) PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().findView(Messages.getString("MaudeWorkstationGUIPlugin.MAUDE_REWRITING")); //$NON-NLS-1$
          
        if(MaudeWorkstationGUIPlugin.DEBUG) System.out.println("Habilitando base de datos...."); //$NON-NLS-1$
        
        //setPathDatabase();
        
        if(MaudeWorkstationGUIPlugin.getDefault().getMaudeProcess().isCoreMaude()){
          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();
        } */
      }

Examples of MaudeRewriting

Examples of es.uma.ama.maudeWorkstationGUI.ui.views.MaudeRewriting

Examples of es.uma.ama.maudeWorkstationGUI.ui.views.MaudeRewriting