Package es.upv.dsic.issi.moment.maudedaemon.maude

Examples of es.upv.dsic.issi.moment.maudedaemon.maude.IMaudeProcessInteract

48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
  public MaudeProcessTests(String arg0) {   
    super(arg0); 
  } 

  public void testCreateCoreMaudeProcessInteract() {
    IMaudeProcessInteract maudePI = MaudeDaemonPlugin.getDefault().getNewMaudeProcessInteract();
    maudePI.configMaudeFromPrefs();
    maudePI.setAutoConfig(false);
    maudePI.setCoreMaude();
   
    try {
      maudePI.execMaude();
    } catch (IOException e) {
      e.printStackTrace();
    }
   
    assertTrue("Maude is running.",maudePI.isRunning()); 
    assertTrue("Maude is running in Core Maude mode.",maudePI.isCoreMaude());
   
    maudePI.quitMaude();
   
    assertFalse("Maude process finished.",maudePI.isRunning());
  }
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
   
    assertFalse("Maude process finished.",maudePB.isRunning());
  }
 
  public void testCreateFullMaudeProcessInteract() {
    IMaudeProcessInteract maudePI = MaudeDaemonPlugin.getDefault().getNewMaudeProcessInteract();
    maudePI.configMaudeFromPrefs();
    maudePI.setAutoConfig(false);
    maudePI.setFullMaude();
   
    try {
      maudePI.execMaude();
    } catch (IOException e) {
      e.printStackTrace();
    }
   
    assertTrue("Maude is running.",maudePI.isRunning());
    assertTrue("Maude is running in Full Maude mode.",maudePI.isFullMaude());
   
    maudePI.quitMaude();
   
    assertFalse("Maude process finished.",maudePI.isRunning());
  }
View Full Code Here
TOP

Related Classes of es.upv.dsic.issi.moment.maudedaemon.maude.IMaudeProcessInteract

  • es.upv.dsic.issi.moment.mdt.maudedaemon.tests.MaudeProcessTests
    • Copyright © 2018 www.massapicom. 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.