Xtext-based syntax
Xtend Java
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
eclipse-plugins
org.verapdf.releng
org.verapdf.sdk
org.verapdf.tests
org.verapdf.ui
org.verapdf.updatesite
org.verapdf
.gitignore
.travis.yml
README.md
RELEASE.md

README.md

veraPDF-model-syntax

This project provides domain specific language support for the veraPDF PDF/A validation model. The DSL is developed with Xtext including spell checking, word completion, syntax colouring and generation of Java interfaces from the model.

CI Status

Travis: Build Status

Jenkins: Build Status

Pre-requisites

In order to make use of the DSL support you'll require

Installation of DSL Support in Eclipse

To get veraPDF-model support in Eclipse :

  1. Download the veraPDF-model-syntax repository, either cloning via Git git clone https://github.com/veraPDF/veraPDF-model-syntax or downloading the latest zip archive from GitHub.

  2. Copy the plugins from veraPDF-model-syntax/eclipse_plugins to {eclipse_directory}/plugins.

  3. Restart Eclipse.

Your Eclipse installation should now support {formal_syntax_name} with syntax checking and colouring, auto-completion, and generation of Java interfaces from the model classes (should have .mdl extension).

Importing the veraPDF Validation Model

To begin working with the veraPDF model:

  1. Download the veraPDF-model repository, either cloning via Git git clone https://github.com/veraPDF/veraPDF-model or downloading the latest zip archive from GitHub.

  2. Launch Eclipse and import the model into your Eclipse workspace: File -> Import... -> General -> Existing Projects into Workspace.

The model classes are placed in src/main/java.