Class MlParserTest


  • public class MlParserTest
    extends java.lang.Object
    JUnit Test class for ModalParser.
    Author:
    Anna Gessler
    • Constructor Detail

      • MlParserTest

        public MlParserTest()
    • Method Detail

      • initParser

        public void initParser()
      • NestedModalFormulaTest

        public void NestedModalFormulaTest()
                                    throws ParserException,
                                           java.io.IOException
        Throws:
        ParserException
        java.io.IOException
      • ParseBeliefBaseFromFileTest

        public void ParseBeliefBaseFromFileTest()
                                         throws ParserException,
                                                java.io.IOException
        Throws:
        ParserException
        java.io.IOException
      • WrongCharacterOrderTest

        public void WrongCharacterOrderTest()
                                     throws ParserException,
                                            java.io.IOException
        Throws:
        ParserException
        java.io.IOException