VDM Pretty Printer

Tools to produce a pretty-printed representation of a VDM AST.

License	MIT License
GroupId	com.anaplan.engineering
ArtifactId	vdm-pretty-printer
Last Version	3.0.2
Release Date	Mar 14, 2022
Type	jar
Description	VDM Pretty Printer Tools to produce a pretty-printed representation of a VDM AST.
Project URL	https://github.com/anaplan-engineering/vdm-pretty-printer
Source Code Management	https://github.com/anaplan-engineering/vdm-pretty-printer

Download vdm-pretty-printer

Filename	Size
vdm-pretty-printer-3.0.2.pom
vdm-pretty-printer-3.0.2.jar	318 KB
vdm-pretty-printer-3.0.2-sources.jar	25 KB
vdm-pretty-printer-3.0.2-javadoc.jar	261 bytes

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/com.anaplan.engineering/vdm-pretty-printer/ -->
<dependency>
    <groupId>com.anaplan.engineering</groupId>
    <artifactId>vdm-pretty-printer</artifactId>
    <version>3.0.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.anaplan.engineering/vdm-pretty-printer/
implementation 'com.anaplan.engineering:vdm-pretty-printer:3.0.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.anaplan.engineering/vdm-pretty-printer/
implementation ("com.anaplan.engineering:vdm-pretty-printer:3.0.2")

Apache Buildr

'com.anaplan.engineering:vdm-pretty-printer:jar:3.0.2'

Apache Ivy

<dependency org="com.anaplan.engineering" name="vdm-pretty-printer" rev="3.0.2">
  <artifact name="vdm-pretty-printer" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.anaplan.engineering', module='vdm-pretty-printer', version='3.0.2')
)

Scala SBT

libraryDependencies += "com.anaplan.engineering" % "vdm-pretty-printer" % "3.0.2"

Leiningen

[com.anaplan.engineering/vdm-pretty-printer "3.0.2"]

Dependencies

runtime (3)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-stdlib	jar	1.5.31
org.jetbrains.kotlin : kotlin-reflect	jar	1.5.31
org.overturetool.core : interpreter	jar	3.0.2

Project Modules

There are no modules declared in this project.

Versions

Version
3.0.2 Mar 14, 2022
2.6.4 Jan 8, 2019
2.6.2 Jul 11, 2018