Package statechum.StatechumXML

Examples of statechum.StatechumXML.LEGACY_StringSequenceWriter

243
244
245
246
247
248
249
250
251
252
253
  }

  @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
265
266
267
268
269
270
271
272
273
274
275
  }

  @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
285
286
287
288
289
290
291
292
293
294
295
  }

  @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
307
308
309
310
311
312
313
314
315
316
317
  }

  @Test
  public final void testReadInputSequence_fail5a() {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      new LEGACY_StringSequenceWriter(null).readInputSequence(
          LEGACY_StringSequenceWriter.seqStart+
          LEGACY_StringSequenceWriter.seqSep+"some more"+
          LEGACY_StringSequenceWriter.seqSep+"data"+
          LEGACY_StringSequenceWriter.seqEnd);
    }},IllegalArgumentException.class,"invalid char");
View Full Code Here
32
33
34
35
36
37
38
39
  protected final Configuration config = Configuration.getDefaultConfiguration().copy();
 
  @Test
  public final void testWriteInputSequence1a() {
    List<String> inputSequence = Arrays.asList(new String[] {});
    StringBuffer wr = new StringBuffer();new LEGACY_StringSequenceWriter(null).writeInputSequence(wr, inputSequence);
    Assert.assertEquals(LEGACY_StringSequenceWriter.seqStart+""+LEGACY_StringSequenceWriter.seqEnd,wr.toString());
  }
View Full Code Here
46
47
48
49
50
51
52
53
  }

  @Test
  public final void testWriteInputSequence2a() {
    List<String> inputSequence = Arrays.asList(new String[] {"this is a test"});
    StringBuffer wr = new StringBuffer();new LEGACY_StringSequenceWriter(null).writeInputSequence(wr, inputSequence);
    Assert.assertEquals(LEGACY_StringSequenceWriter.seqStart+"this is a test"+LEGACY_StringSequenceWriter.seqEnd,wr.toString());
  }
View Full Code Here
60
61
62
63
64
65
66
67
  }

  @Test
  public final void testWriteInputSequence3a() {
    List<String> inputSequence = Arrays.asList(new String[] {"this is a test","some more"});
    StringBuffer wr = new StringBuffer();new LEGACY_StringSequenceWriter(null).writeInputSequence(wr, inputSequence);
    Assert.assertEquals(LEGACY_StringSequenceWriter.seqStart+"this is a test"+LEGACY_StringSequenceWriter.seqSep+"some more"+LEGACY_StringSequenceWriter.seqEnd,wr.toString());
  }
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
  }

  @Test
  public final void testWriteInputSequence4a() {
    List<String> inputSequence = Arrays.asList(new String[] {"this is a test","some more","a"});
    StringBuffer wr = new StringBuffer();new LEGACY_StringSequenceWriter(null).writeInputSequence(wr, inputSequence);
    Assert.assertEquals(LEGACY_StringSequenceWriter.seqStart+
        "this is a test"+LEGACY_StringSequenceWriter.seqSep+
        "some more"+LEGACY_StringSequenceWriter.seqSep+
        "a"+LEGACY_StringSequenceWriter.seqEnd,wr.toString());
  }
View Full Code Here
93
94
95
96
97
98
99
100
  @Test
  public final void testWriteInputSequence_fail1()  {
    final List<String> inputSequence = Arrays.asList(new String[] {""+LEGACY_StringSequenceWriter.seqStart});
    final StringBuffer wr = new StringBuffer();
    checkForCorrectException(new whatToRun() { public @Override void run() {
      new LEGACY_StringSequenceWriter(null).writeInputSequence(wr, inputSequence);
    }},IllegalArgumentException.class,"invalid characters");
  }
View Full Code Here
109
110
111
112
113
114
115
116
  @Test
  public final void testWriteInputSequence_fail2() {
    final List<String> inputSequence = Arrays.asList(new String[] {""+LEGACY_StringSequenceWriter.seqNewLine});
    final StringBuffer wr = new StringBuffer();
    checkForCorrectException(new whatToRun() { public @Override void run() {
      new LEGACY_StringSequenceWriter(null).writeInputSequence(wr, inputSequence);
    }},IllegalArgumentException.class,"invalid characters");
  }
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.