4.0.0 org.overturetool core 3.0.3-SNAPSHOT ../pom.xml org.overturetool.core parser The VDM parser org.overturetool.core ast ${project.version} org.overturetool.core testframework ${project.version} org.apache.maven.plugins maven-surefire-plugin true **/*Test.java **/*Test?.java **/*TestSuite.java org.codehaus.mojo license-maven-plugin **/lex/DocStreamReader.java **/lex/DocxStreamReader.java **/lex/ODFStreamReader.java **/config/Properties.java **/lex/BacktrackInputReader.java **/lex/LatexStreamReader.java **/lex/LexException.java **/lex/LexTokenReader.java **/lex/XMLStreamReader.java **/messages/Console.java **/messages/LocatedException.java **/messages/NumberedException.java **/messages/Redirector.java **/messages/StderrRedirector.java **/messages/StdoutRedirector.java **/messages/VDMError.java **/messages/VDMErrorsException.java **/messages/VDMMessage.java **/messages/VDMWarning.java **/syntax/BindReader.java **/syntax/ClassReader.java **/syntax/DefinitionReader.java **/syntax/ExpressionReader.java **/syntax/ModuleReader.java **/syntax/ParserException.java **/syntax/PatternReader.java **/syntax/StatementReader.java **/syntax/SyntaxReader.java **/syntax/TypeReader.java