JarCastingVDM Pretty Printer
Tools to produce a pretty-printed representation of a VDM AST.
| License |
License |
|---|---|
| GroupId | GroupIdcom.anaplan.engineering |
| ArtifactId | ArtifactIdvdm-pretty-printer |
| Last Version | Last Version3.0.2 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionVDM Pretty Printer
Tools to produce a pretty-printed representation of a VDM AST.
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
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 |
| Browse |
How to add to project
<!-- 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>// https://jarcasting.com/artifacts/com.anaplan.engineering/vdm-pretty-printer/
implementation 'com.anaplan.engineering:vdm-pretty-printer:3.0.2'// https://jarcasting.com/artifacts/com.anaplan.engineering/vdm-pretty-printer/
implementation ("com.anaplan.engineering:vdm-pretty-printer:3.0.2")'com.anaplan.engineering:vdm-pretty-printer:jar:3.0.2'<dependency org="com.anaplan.engineering" name="vdm-pretty-printer" rev="3.0.2">
<artifact name="vdm-pretty-printer" type="jar" />
</dependency>@Grapes(
@Grab(group='com.anaplan.engineering', module='vdm-pretty-printer', version='3.0.2')
)libraryDependencies += "com.anaplan.engineering" % "vdm-pretty-printer" % "3.0.2"[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.
