Plugin Documentation | CZT GnAST Maven Plugin

Goals available for this plugin:

Goal	Description
gnast:generate	Goal which generates AST classes from XML Schema files using GnAST. The source XML Schema files can be provided by indicating a source directory or explicitly listing the paths. The template and schema paths can be indicated as filesystem paths, URLs, or classpath resources. Refer to Plexus `ResourceManager` for more details.
gnast:rulecodegen	Goal which generates CZT Rules prover classes from XML Schema file. The template and schema paths can be indicated as filesystem paths, URLs, or classpath resources. Refer to Plexus `ResourceManager` for more details.

System Requirements

The following specifies the minimum requirements to run this Maven plugin:

Maven	2.0.6
JDK	1.7
Memory	No minimum requirement.
Disk Space	No minimum requirement.

Usage

You should specify the version in your project's plugin configuration:

<project>
  ...
  <build>
    <!-- To define the plugin version in your parent POM -->
    <pluginManagement>
      <plugins>
        <plugin>
          <groupId>net.sourceforge.czt.dev</groupId>
          <artifactId>gnast-maven-plugin</artifactId>
          <version>1.6-SNAPSHOT</version>
        </plugin>
        ...
      </plugins>
    </pluginManagement>
    <!-- To use the plugin goals in your POM or parent POM -->
    <plugins>
      <plugin>
        <groupId>net.sourceforge.czt.dev</groupId>
        <artifactId>gnast-maven-plugin</artifactId>
        <version>1.6-SNAPSHOT</version>
      </plugin>
      ...
    </plugins>
  </build>
  ...
</project>

For more information, see "Guide to Configuring Plug-ins"