Package statechum.analysis.learning.observers.ProgressDecorator

Examples of statechum.analysis.learning.observers.ProgressDecorator.InitialData

70
71
72
73
74
75
76
77
78
        new String[]{"5"}
    });

    ByteArrayOutputStream output = new ByteArrayOutputStream();
    RecordProgressDecorator dumper = new RecordProgressDecorator(null,output,1,Configuration.getDefaultConfiguration(),false);
    Element initElement = dumper.writeInitialData(new InitialData(plus,plus.size(),minus,minus.size(),graph));
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();
  }
View Full Code Here
78
79
80
81
82
83
84
85
86
  }

  @Test
  public final void createInitialData()
  {
    InitialData data = new InitialData(plus,5,minus,4,graph);
    Assert.assertEquals(5,data.plusSize);Assert.assertEquals(4, data.minusSize);
    Assert.assertSame(plus,data.plus);Assert.assertSame(minus,data.minus);Assert.assertSame(graph,data.graph);
  }
View Full Code Here
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
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
104
105
106
107
108
109
110
111
112
113
114
  @Test
  public final void testLoadInit1()
  {
    LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    InitialData data=loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    Assert.assertEquals(plus.size(),data.plusSize);Assert.assertEquals(minus.size(), data.minusSize);
    Assert.assertEquals(plus,data.plus);Assert.assertEquals(minus,data.minus);
    TestFSMAlgo.checkM(new FSMStructure(graph,null),new FSMStructure(data.graph,null));
    Assert.assertEquals(graph.getVertices().size(), data.graph.getVertices().size());
  }
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
        xmlData
        .replace("<"+ELEM_KINDS.ATTR_POSITIVE_SIZE.name(), "<"+ELEM_KINDS.ATTR_POSITIVE_SIZE.name()+" AA=\"34\" ")
        .replace("<"+ELEM_KINDS.ATTR_NEGATIVE_SIZE.name(), "<"+ELEM_KINDS.ATTR_NEGATIVE_SIZE.name()+" AB=\"TT\" ")
        .getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    InitialData data=loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    loader.config = Configuration.getDefaultConfiguration();
    Assert.assertEquals(plus.size(),data.plusSize);Assert.assertEquals(minus.size(), data.minusSize);
    Assert.assertEquals(plus,data.plus);Assert.assertEquals(minus,data.minus);
    TestFSMAlgo.checkM(new FSMStructure(graph,null),new FSMStructure(data.graph,null));
    Assert.assertEquals(graph.getVertices().size(), data.graph.getVertices().size());
View Full Code Here
146
147
148
149
150
151
152
153
154
155
156
  @Test
  public final void testLoadInit_fail2()
  {
    ByteArrayOutputStream output = new ByteArrayOutputStream();
    RecordProgressDecorator dumper = new RecordProgressDecorator(null,output,1,Configuration.getDefaultConfiguration(),false);
    Element initElement = dumper.writeInitialData(new InitialData(plus,plus.size(),minus,minus.size(),graph));
    Element positiveToRemove = (Element)initElement.getElementsByTagName(ELEM_KINDS.ELEM_SEQ.name()).item(0);
    initElement.removeChild(positiveToRemove);
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
  @Test
  public final void testLoadInit_fail3()
  {
    ByteArrayOutputStream output = new ByteArrayOutputStream();
    RecordProgressDecorator dumper = new RecordProgressDecorator(null,output,1,Configuration.getDefaultConfiguration(),false);
    Element initElement = dumper.writeInitialData(new InitialData(plus,plus.size(),minus,minus.size(),graph));
    initElement.appendChild(dumper.writeSequenceList(ELEM_KINDS.ATTR_POSITIVE_SEQUENCES.name(), justSomething));
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
View Full Code Here
183
184
185
186
187
188
189
190
191
192
193
  @Test
  public final void testLoadInit_fail4()
  {
    ByteArrayOutputStream output = new ByteArrayOutputStream();
    RecordProgressDecorator dumper = new RecordProgressDecorator(null,output,1,Configuration.getDefaultConfiguration(),false);
    Element initElement = dumper.writeInitialData(new InitialData(plus,plus.size(),minus,minus.size(),graph));
    Element negativeToRemove = (Element)initElement.getElementsByTagName(ELEM_KINDS.ELEM_SEQ.name()).item(1);// the second one
    initElement.removeChild(negativeToRemove);
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();
View Full Code Here
202
203
204
205
206
207
208
209
210
211
212
  @Test
  public final void testLoadInit_fail5()
  {
    ByteArrayOutputStream output = new ByteArrayOutputStream();
    RecordProgressDecorator dumper = new RecordProgressDecorator(null,output,1,Configuration.getDefaultConfiguration(),false);
    Element initElement = dumper.writeInitialData(new InitialData(plus,plus.size(),minus,minus.size(),graph));
    initElement.appendChild(dumper.writeSequenceList(ELEM_KINDS.ATTR_NEGATIVE_SEQUENCES.name(), justSomething));
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.observers.ProgressDecorator.InitialData

  • statechum.analysis.learning.observers.TestWriteReadInit
    • 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.