License |
License |
---|---|
GroupId | GroupIdcom.anaplan.engineering |
ArtifactId | ArtifactIdvdm-pretty-printer |
Version | Version2.6.4 |
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 |
Filename | Size |
---|---|
vdm-pretty-printer-2.6.4.pom | |
vdm-pretty-printer-2.6.4.jar | 318 KB |
vdm-pretty-printer-2.6.4-sources.jar | 25 KB |
vdm-pretty-printer-2.6.4-javadoc.jar | 261 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/com.anaplan.engineering/vdm-pretty-printer/ -->
<dependency>
<groupId>com.anaplan.engineering</groupId>
<artifactId>vdm-pretty-printer</artifactId>
<version>2.6.4</version>
</dependency>
// https://jarcasting.com/artifacts/com.anaplan.engineering/vdm-pretty-printer/
implementation 'com.anaplan.engineering:vdm-pretty-printer:2.6.4'
// https://jarcasting.com/artifacts/com.anaplan.engineering/vdm-pretty-printer/
implementation ("com.anaplan.engineering:vdm-pretty-printer:2.6.4")
'com.anaplan.engineering:vdm-pretty-printer:jar:2.6.4'
<dependency org="com.anaplan.engineering" name="vdm-pretty-printer" rev="2.6.4">
<artifact name="vdm-pretty-printer" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.anaplan.engineering', module='vdm-pretty-printer', version='2.6.4')
)
libraryDependencies += "com.anaplan.engineering" % "vdm-pretty-printer" % "2.6.4"
[com.anaplan.engineering/vdm-pretty-printer "2.6.4"]
Group / Artifact | Type | Version |
---|---|---|
org.jetbrains.kotlin : kotlin-stdlib | jar | 1.2.21 |
org.jetbrains.kotlin : kotlin-reflect | jar | 1.2.21 |
org.overturetool.core : interpreter | jar | 2.6.4 |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |
com.nhaarman : mockito-kotlin | jar | 1.5.0 |