JarCastingVDM Pretty Printer
Tools to produce a pretty-printed representation of a VDM AST.
| Лицензия |
Лицензия |
|---|---|
| Группа | Группаcom.anaplan.engineering |
| Идентификатор | Идентификаторvdm-pretty-printer |
| Последняя версия | Последняя версия3.0.2 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеVDM Pretty Printer
Tools to produce a pretty-printed representation of a VDM AST.
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
Скачать vdm-pretty-printer
| Имя Файла | Размер |
|---|---|
| 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 |
| Обзор |
Как подключить последнюю версию
<!-- 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"]Зависимости
runtime (3)
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| 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 |
Модули Проекта
Данный проект не имеет модулей.
