4.0.0
org.overturetool
core
2.6.5-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