mvncenter: dk.au.ece.vdmj:v2c:4.5.0-P

Example VDM to C class mapper implementation

Files download

Apache Maven

<dependency>
  <groupId>dk.au.ece.vdmj</groupId>
  <artifactId>v2c</artifactId>
  <version>4.5.0-P</version>
</dependency>

Gradle Groovy

implementation 'dk.au.ece.vdmj:v2c:4.5.0-P'

Gradle Kotlin

implementation("dk.au.ece.vdmj:v2c:4.5.0-P")

Scala SBT

libraryDependencies += "dk.au.ece.vdmj" % "v2c" % "4.5.0-P"

Groovy Grape

@Grapes(
  @Grab(group='dk.au.ece.vdmj', module='v2c', version='4.5.0-P')
)

Apache Ivy

<dependency org="dk.au.ece.vdmj" name="v2c" rev="4.5.0-P" />

Leiningen

[dk.au.ece.vdmj/v2c "4.5.0-P"]

Apache Buildr

'dk.au.ece.vdmj:v2c:jar:4.5.0-P'

Dependencies

<parent>
  <groupId>dk.au.ece.vdmj</groupId>
  <artifactId>examples</artifactId>
  <version>4.5.0-P</version>
</parent>

compile