Package statechum.analysis.learning.Visualiser

Examples of statechum.analysis.learning.Visualiser.LayoutOptions

1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
                            {
                              Configuration config = Configuration.getDefaultConfiguration().copy();
                              LearnerGraphND machine = new LearnerGraphND(config);Synapse.StatechumProcess.parseStatemachine(message.elementAt(2),machine,null,true);
                              DirectedSparseGraph fsmPicture = machine.pathroutines.getGraph();
                              if (!fsmPicture.containsUserDatumKey(JUConstants.LAYOUTOPTIONS))
                                fsmPicture.addUserDatum(JUConstants.LAYOUTOPTIONS,new LayoutOptions(), UserData.SHARED);
                              int windowNumber = setOptions(message,3,fsmPicture);
                              if (windowNumber >= 0)
                                Visualiser.updateFrameWithPos(fsmPicture,windowNumber);

                              outcome = new OtpErlangTuple(new OtpErlangObject[]{ref,msgOk});
View Full Code Here
457
458
459
460
461
462
463
464
465
466
467
  }

  @Test
  public void testLayoutOptions1()
  {
    final LayoutOptions options = new LayoutOptions();
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangTuple(new OtpErlangObject[0]));
    }},ClassCastException.class,"OtpErlangTuple");// when we do not collect output, no response is sent.
   
View Full Code Here
468
469
470
471
472
473
474
475
476
477
478
  }
 
  @Test
  public void testLayoutOptions2()
  {
    final LayoutOptions options = new LayoutOptions();
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangList(new OtpErlangObject[]{new OtpErlangString("a")}));
    }},ClassCastException.class,"OtpErlangString");// when we do not collect output, no response is sent.
   
View Full Code Here
479
480
481
482
483
484
485
486
487
488
489
  }

  @Test
  public void testLayoutOptions3()
  {
    final LayoutOptions options = new LayoutOptions();
   
    Assert.assertNull(options.ignoredStates);
    Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangList(new OtpErlangObject[0]));
    Assert.assertNull(options.ignoredStates);
  }
View Full Code Here
489
490
491
492
493
494
495
496
497
498
499
  }

  @Test
  public void testLayoutOptions4()
  {
    final LayoutOptions options = new LayoutOptions();
   
    Assert.assertNull(options.ignoredStates);
    Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangList(new OtpErlangObject[]{new OtpErlangAtom("a")}));
    Assert.assertNotNull(options.ignoredStates);
    Assert.assertEquals(1,options.ignoredStates.size());Assert.assertEquals("a",options.ignoredStates.iterator().next());
View Full Code Here
507
508
509
510
511
512
513
514
515
516
517

  @Test
  public void testLayoutOptions5()
  {
    final LayoutOptions options = new LayoutOptions();
   
    Assert.assertNull(options.ignoredStates);
    Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangList(new OtpErlangObject[]{new OtpErlangAtom("b"),new OtpErlangAtom("a")}));
    Assert.assertNotNull(options.ignoredStates);
    Assert.assertEquals(2,options.ignoredStates.size());
View Full Code Here
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
 
  /** Tests the copying process for ignored states. */
  @Test
  public void testLayoutOptions6()
  {
    final LayoutOptions options = new LayoutOptions();
   
    Assert.assertNull(options.ignoredStates);
    Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangList(new OtpErlangObject[]{new OtpErlangAtom("b"),new OtpErlangAtom("a")}));
    Assert.assertNotNull(options.ignoredStates);
    Assert.assertEquals(2,options.ignoredStates.size());
    Iterator<String> ignoreIterator = options.ignoredStates.iterator();
    Assert.assertEquals("b",ignoreIterator.next());Assert.assertEquals("a",ignoreIterator.next());
   
    LayoutOptions copy = options.copy();
    Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangList(new OtpErlangObject[]{new OtpErlangAtom("c")}));
    Assert.assertNotNull(options.ignoredStates);
    Assert.assertEquals(3,options.ignoredStates.size());
    ignoreIterator = options.ignoredStates.iterator();
    Assert.assertEquals("b",ignoreIterator.next());Assert.assertEquals("c",ignoreIterator.next());Assert.assertEquals("a",ignoreIterator.next());
View Full Code Here
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
                            {
                              Configuration config = Configuration.getDefaultConfiguration().copy();
                              LearnerGraphND machine = new LearnerGraphND(config);Synapse.StatechumProcess.parseStatemachine(message.elementAt(2),machine,null,true);
                              DirectedSparseGraph fsmPicture = machine.pathroutines.getGraph();
                              if (!fsmPicture.containsUserDatumKey(JUConstants.LAYOUTOPTIONS))
                                fsmPicture.addUserDatum(JUConstants.LAYOUTOPTIONS,new LayoutOptions(), UserData.SHARED);
                              int windowNumber = setOptions(message,3,fsmPicture);
                              if (windowNumber >= 0)
                                Visualiser.updateFrameWithPos(fsmPicture,windowNumber);

                              outcome = new OtpErlangTuple(new OtpErlangObject[]{ref,msgOk});
View Full Code Here
457
458
459
460
461
462
463
464
465
466
467
  }

  @Test
  public void testLayoutOptions1()
  {
    final LayoutOptions options = new LayoutOptions();
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangTuple(new OtpErlangObject[0]));
    }},ClassCastException.class,"OtpErlangTuple");// when we do not collect output, no response is sent.
   
View Full Code Here
468
469
470
471
472
473
474
475
476
477
478
  }
 
  @Test
  public void testLayoutOptions2()
  {
    final LayoutOptions options = new LayoutOptions();
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      Synapse.StatechumProcess.setStateNamesToBeIgnored(options, new OtpErlangList(new OtpErlangObject[]{new OtpErlangString("a")}));
    }},ClassCastException.class,"OtpErlangString");// when we do not collect output, no response is sent.
   
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.Visualiser.LayoutOptions

  • statechum.analysis.Erlang.Synapse$StatechumProcess
  • statechum.analysis.Erlang.TestSynapseAuxiliaryFunctions
  • statechum.analysis.learning.ErlangOracleLearner
  • statechum.analysis.learning.RPNILearner
    • 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.