Package statechum.StatechumXML

Examples of statechum.StatechumXML.LEGACY_StringSequenceWriter

125
126
127
128
129
130
131
132
  @Test
  public final void testWriteInputSequence_fail3() {
    final List<String> inputSequence = Arrays.asList(new String[] {"this is a test",""});
    final StringBuffer wr = new StringBuffer();
    checkForCorrectException(new whatToRun() { public @Override void run() {
      new LEGACY_StringSequenceWriter(null).writeInputSequence(wr, inputSequence);
    }},IllegalArgumentException.class,"empty input in sequence");
  }
View Full Code Here
141
142
143
144
145
146
147
148
  @Test
  public final void testWriteInputSequence_fail4() {
    final List<String> inputSequence = Arrays.asList(new String[] {""});
    final StringBuffer wr = new StringBuffer();
    checkForCorrectException(new whatToRun() { public @Override void run() {
      new LEGACY_StringSequenceWriter(null).writeInputSequence(wr, inputSequence);
    }},IllegalArgumentException.class,"empty input in sequence");
  }
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
  }
 
  @Test
  public final void testReadInputSequence1() {
    List<String> expected = Arrays.asList(new String[] {});
    List<String> actual = new LEGACY_StringSequenceWriter(null).readInputSequence(
        ""+LEGACY_StringSequenceWriter.seqStart+LEGACY_StringSequenceWriter.seqEnd);
    Assert.assertTrue("wrong result: "+actual,expected.equals(actual));
   
    actual = new StringSequenceWriter(null).readInputSequence(
        "[]");
View Full Code Here
167
168
169
170
171
172
173
174
175
176
177
  }

  @Test
  public final void testReadInputSequence2() {
    List<String> expected = Arrays.asList(new String[] {"some more"});
    List<String> actual = new LEGACY_StringSequenceWriter(null).readInputSequence(
        LEGACY_StringSequenceWriter.seqStart+"some more"+LEGACY_StringSequenceWriter.seqEnd);
    Assert.assertTrue("wrong result: "+actual+", expected "+expected,expected.equals(actual));
   
    actual = new StringSequenceWriter(null).readInputSequence(
        "[\"some more\"]");
View Full Code Here
179
180
181
182
183
184
185
186
187
188
189
  }

  @Test
  public final void testReadInputSequence3() {
    List<String> expected = Arrays.asList(new String[] {"this is a test","some more"});
    List<String> actual = new LEGACY_StringSequenceWriter(null).readInputSequence(
        LEGACY_StringSequenceWriter.seqStart+"this is a test"+LEGACY_StringSequenceWriter.seqSep+"some more"+LEGACY_StringSequenceWriter.seqEnd);
    Assert.assertTrue("wrong result: "+actual,expected.equals(actual));
   
    actual = new StringSequenceWriter(null).readInputSequence(
        "[\"this is a test\",\"some more\"]");
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
  }

  @Test
  public final void testReadInputSequence4() {
    List<String> expected = Arrays.asList(new String[] {"this is a test","some more","data"});
    List<String> actual = new LEGACY_StringSequenceWriter(null).readInputSequence(
        LEGACY_StringSequenceWriter.seqStart+"this is a test"+
        LEGACY_StringSequenceWriter.seqSep+"some more"+
        LEGACY_StringSequenceWriter.seqSep+"data"+
        LEGACY_StringSequenceWriter.seqEnd);
    Assert.assertTrue("wrong result: "+actual,expected.equals(actual));
View Full Code Here
220
221
222
223
224
225
226
227
228
229
230
  }

  @Test
  public final void testReadInputSequence_fail2a1() {
    checkForCorrectException(new whatToRun() { public @Override void run() {
    new LEGACY_StringSequenceWriter(null).readInputSequence(
        LEGACY_StringSequenceWriter.seqEnd+"this is a test"+
        LEGACY_StringSequenceWriter.seqSep+"some more"+
        LEGACY_StringSequenceWriter.seqSep+"data"+
        LEGACY_StringSequenceWriter.seqEnd);
    }},IllegalArgumentException.class,"invalid char");
View Full Code Here
242
243
244
245
246
247
248
249
250
251
252
  }

  @Test
  public final void testReadInputSequence_fail2b1() {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      new LEGACY_StringSequenceWriter(null).readInputSequence(LEGACY_StringSequenceWriter.seqEnd+
          LEGACY_StringSequenceWriter.seqStart+"this is a test"+
          LEGACY_StringSequenceWriter.seqSep+"some more"+
          LEGACY_StringSequenceWriter.seqSep+"data"+
          LEGACY_StringSequenceWriter.seqEnd);
    }},IllegalArgumentException.class,"invalid char");
View Full Code Here
264
265
266
267
268
269
270
271
272
273
274
  }

  @Test
  public final void testReadInputSequence_fail3a() {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      new LEGACY_StringSequenceWriter(null).readInputSequence(
          LEGACY_StringSequenceWriter.seqStart+"this is a test"+
          LEGACY_StringSequenceWriter.seqSep+"some more"+
          LEGACY_StringSequenceWriter.seqSep+"data");
    }},IllegalArgumentException.class,"premature end");
  }
View Full Code Here
284
285
286
287
288
289
290
291
292
293
294
  }

  @Test
  public final void testReadInputSequence_fail4a() {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      new LEGACY_StringSequenceWriter(null).readInputSequence(
          LEGACY_StringSequenceWriter.seqStart+"this is a test"+
          LEGACY_StringSequenceWriter.seqSep+
          LEGACY_StringSequenceWriter.seqSep+"data"+
          LEGACY_StringSequenceWriter.seqEnd);
    }},IllegalArgumentException.class,"empty input");
View Full Code Here
TOP

Related Classes of statechum.StatechumXML.LEGACY_StringSequenceWriter

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