Download parser-2.2.2.jar file

Introduction

You can download parser-2.2.2.jar in this page.

License

Open Source

Type List

parser-2.2.2.jar file has the following types.

META-INF/MANIFEST.MF
META-INF/maven/org.overturetool.core/parser/pom.properties
META-INF/maven/org.overturetool.core/parser/pom.xml
org.overture.parser.config.Properties.class
org.overture.parser.lex.BacktrackInputReader.class
org.overture.parser.lex.DocStreamReader.class
org.overture.parser.lex.DocxStreamReader.class
org.overture.parser.lex.LatexStreamReader.class
org.overture.parser.lex.LexException.class
org.overture.parser.lex.LexTokenReader.class
org.overture.parser.lex.ODFStreamReader.class
org.overture.parser.lex.XMLStreamReader.class
org.overture.parser.messages.Console.class
org.overture.parser.messages.LocatedException.class
org.overture.parser.messages.NumberedException.class
org.overture.parser.messages.VDMError.class
org.overture.parser.messages.VDMErrorsException.class
org.overture.parser.messages.VDMMessage.class
org.overture.parser.messages.VDMWarning.class
org.overture.parser.syntax.BindReader.class
org.overture.parser.syntax.ClassReader.class
org.overture.parser.syntax.DefinitionReader.class
org.overture.parser.syntax.ExpressionReader.class
org.overture.parser.syntax.ModuleReader.class
org.overture.parser.syntax.ParserException.class
org.overture.parser.syntax.PatternReader.class
org.overture.parser.syntax.StatementReader.class
org.overture.parser.syntax.SyntaxReader.class
org.overture.parser.syntax.TypeReader.class
org.overture.parser.util.ParserUtil.class

Pom

parser-2.2.2.pom file content.

<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
  <modelVersion>4.0.0</modelVersion>

  <parent>
    <groupId>org.overturetool</groupId>
    <artifactId>core</artifactId>
    <version>2.2.2</version>
    <relativePath>../pom.xml</relativePath>
  </parent>

  <groupId>org.overturetool.core</groupId>
  <artifactId>parser</artifactId>
  <name>The VDM parser </name>
  
  <dependencies>
    <dependency>
      <groupId>org.overturetool.core</groupId>
      <artifactId>ast</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>org.overturetool.core</groupId>
      <artifactId>testframework</artifactId>
      <version>${project.version}</version>
    </dependency>
  </dependencies>

  <build>
    <plugins>
      <plugin>
	<groupId>org.apache.maven.plugins</groupId>
	<artifactId>maven-surefire-plugin</artifactId>
	<configuration>
	  <!-- the tests use std out a lot so we dont want that in the console -->
	  <redirectTestOutputToFile>true</redirectTestOutputToFile>
	  <includes>
	    <include>**/*Test.java</include>
	    <include>**/*Test?.java</include>
	    <include>**/*TestSuite.java</include>
	  </includes>
	</configuration>
      </plugin>
    </plugins>


 <pluginManagement>
      <plugins>
  <!-- Plugin for license headers-->
         <plugin>
          <groupId>org.codehaus.mojo</groupId>
          <artifactId>license-maven-plugin</artifactId>
          <version>1.7</version>
           <configuration>
              <excludes>
                <exclude>**/lex/DocStreamReader.java</exclude>
<exclude>**/lex/DocxStreamReader.java</exclude>
<exclude>**/lex/ODFStreamReader.java</exclude>
<exclude>**/config/Properties.java</exclude>
<exclude>**/lex/BacktrackInputReader.java</exclude>
<exclude>**/lex/LatexStreamReader.java</exclude>
<exclude>**/lex/LexException.java</exclude>
<exclude>**/lex/LexTokenReader.java</exclude>
<exclude>**/lex/XMLStreamReader.java</exclude>
<exclude>**/messages/Console.java</exclude>
<exclude>**/messages/LocatedException.java</exclude>
<exclude>**/messages/NumberedException.java</exclude>
<exclude>**/messages/Redirector.java</exclude>
<exclude>**/messages/StderrRedirector.java</exclude>
<exclude>**/messages/StdoutRedirector.java</exclude>
<exclude>**/messages/VDMError.java</exclude>
<exclude>**/messages/VDMErrorsException.java</exclude>
<exclude>**/messages/VDMMessage.java</exclude>
<exclude>**/messages/VDMWarning.java</exclude>
<exclude>**/syntax/BindReader.java</exclude>
<exclude>**/syntax/ClassReader.java</exclude>
<exclude>**/syntax/DefinitionReader.java</exclude>
<exclude>**/syntax/ExpressionReader.java</exclude>
<exclude>**/syntax/ModuleReader.java</exclude>
<exclude>**/syntax/ParserException.java</exclude>
<exclude>**/syntax/PatternReader.java</exclude>
<exclude>**/syntax/StatementReader.java</exclude>
<exclude>**/syntax/SyntaxReader.java</exclude>
<exclude>**/syntax/TypeReader.java</exclude>
              </excludes>
        </configuration>
        </plugin>
 </plugins>
    </pluginManagement>
  </build>
</project>

POM Entry

<dependency>
   <groupId>org.overturetool.core</groupId>
   <artifactId>parser</artifactId>
   <version>2.2.2</version>
</dependency>

Download

If you think the following parser-2.2.2.jar downloaded from Maven central repository is inappropriate, such as containing malicious code/tools or violating the copyright, please email , thanks.

Download parser-2.2.2.jar file

Previous Next