/** Test method for SenteceParser constructor. */
@Test
public void testConstructorWithAIVDM() {
Sentence s = new SentenceParser(VDM_EXAMPLE);
assertTrue(s.isValid());
assertFalse(s.isProprietary());
assertEquals(Sentence.ALTERNATIVE_BEGIN_CHAR, s.getBeginChar());
assertEquals(VDM_EXAMPLE, s.toString());
}
