Package statechum.Helper

Examples of statechum.Helper.whatToRun

1119
1120
1121
1122
1123
1124
1125
1126
1127
  @Test
  public final void testLTL_integration_subsystem_nonfinal()
  {
    ba=new LTL_to_ba(config,converter);
    ConstructAlphabet(ba,new String[]{"load","save","edit","close","open"});
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.ltlToBA(Arrays.asList(new String[]{QSMTool.cmdLTL+" ([](close-><>open))"}),null,false,GlobalConfiguration.getConfiguration().getProperty(GlobalConfiguration.G_PROPERTIES.LTL2BA));
    }},IllegalArgumentException.class,"not all states are accept");
  }
View Full Code Here
614
615
616
617
618
619
620
621
622
623
      config.setLearnerIdMode(Configuration.IDMode.POSITIVE_NEGATIVE);
      l.getTentativeAutomaton().initPTA();
      l.getTentativeAutomaton().paths.augmentPTA(minusStrings, false,maxAutomaton);
      l.getTentativeAutomaton().paths.augmentPTA(plusStrings, true,maxAutomaton);
     
      checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException {
        l.getTentativeAutomaton().paths.augmentPTA(buildSet(new String[][] { new String[]{"a","b","c","d"}},conf,converter),true,maxAutomaton);
      }},IllegalArgumentException.class,"incompatible ");
    }
  }
View Full Code Here
86
87
88
89
90
91
92
93
94
  }
 
  @Test
  public final void createInitialData_fail1()
  {
    checkForCorrectException(new whatToRun() { public void run() {
      new InitialData(new LinkedList<List<String>>(),-1,new LinkedList<List<String>>(),0,null);
    }},IllegalArgumentException.class,"inconsistent positive");
  }
View Full Code Here
94
95
96
97
98
99
100
101
102
  }
 
  @Test
  public final void createInitialData_fail2()
  {
    checkForCorrectException(new whatToRun() { public void run() {
      new InitialData(new LinkedList<List<String>>(),0,new LinkedList<List<String>>(),5,null);
    }},IllegalArgumentException.class,"inconsistent negative");
  }
View Full Code Here
135
136
137
138
139
140
141
142
143
  @Test
  public final void testLoadInit_fail1()
  {
    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(removeTagFromString(xmlData,ELEM_KINDS.ELEM_INIT).getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readInitialData(loader.expectNextElement(statechum.analysis.learning.observers.TestRecordProgressDecorator.junkTag));
    }},IllegalArgumentException.class,"expecting to load learner initial data");
  }
View Full Code Here
154
155
156
157
158
159
160
161
162
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    }},IllegalArgumentException.class,"missing positive");
  }
View Full Code Here
172
173
174
175
176
177
178
179
180
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    }},IllegalArgumentException.class,"duplicate positive");
  }
View Full Code Here
191
192
193
194
195
196
197
198
199
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    }},IllegalArgumentException.class,"missing negative");
  }
View Full Code Here
209
210
211
212
213
214
215
216
217
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    }},IllegalArgumentException.class,"duplicate negative");
  }
View Full Code Here
228
229
230
231
232
233
234
235
236
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();
   
    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    }},IllegalArgumentException.class,"missing graph");
  }
View Full Code Here
TOP

Related Classes of statechum.Helper.whatToRun

  • collections.TestMapWithSearch
  • collections.TestMapWithSearchMisc
  • statechum.analysis.Erlang.Signatures.TestTypes
  • statechum.analysis.Erlang.TestErlangGraphs
  • statechum.analysis.Erlang.TestErlangModule
  • statechum.analysis.Erlang.TestErlangParser
  • statechum.analysis.Erlang.TestErlangParser$TestParseBitStrFail
  • statechum.analysis.Erlang.TestErlangParser$TestParseDoubleFail
  • statechum.analysis.Erlang.TestErlangParser$TestParseInvalidCharsInAtomFail
  • statechum.analysis.Erlang.TestErlangRunner
    • 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.