License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdde.openkeyword |
ArtifactId | ArtifactIdcore |
Last Version | Last Version0.2.44 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionOKW - OpenKeyWord
This is the core-module of OpenKeyWord. This module is automatically integrated by the adapters. In GUI automation, the core module is automatically integrated by the GUI modules (dependencies).
|
Project Organization |
Project OrganizationOpenKeyWord |
Filename | Size |
---|---|
core-0.2.44.pom | |
core-0.2.44.jar | 170 KB |
core-0.2.44-sources.jar | 208 KB |
core-0.2.44-javadoc.jar | 531 KB |
Browse |
<!-- https://jarcasting.com/artifacts/de.openkeyword/core/ -->
<dependency>
<groupId>de.openkeyword</groupId>
<artifactId>core</artifactId>
<version>0.2.44</version>
</dependency>
// https://jarcasting.com/artifacts/de.openkeyword/core/
implementation 'de.openkeyword:core:0.2.44'
// https://jarcasting.com/artifacts/de.openkeyword/core/
implementation ("de.openkeyword:core:0.2.44")
'de.openkeyword:core:jar:0.2.44'
<dependency org="de.openkeyword" name="core" rev="0.2.44">
<artifact name="core" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.openkeyword', module='core', version='0.2.44')
)
libraryDependencies += "de.openkeyword" % "core" % "0.2.44"
[de.openkeyword/core "0.2.44"]
Group / Artifact | Type | Version |
---|---|---|
org.apache.commons : commons-lang3 | jar | 3.12.0 |
commons-io : commons-io | jar | 2.7 |
org.apache.commons : commons-text | jar | 1.9 |
org.antlr : antlr4-runtime | jar | 4.8 |
org.antlr : ST4 | jar | 4.3 |
org.junit.jupiter : junit-jupiter-engine | jar | 5.6.2 |
com.sun.xml.bind : jaxb-core | jar | 3.0.0-M4 |
javax.xml.bind : jaxb-api | jar | 2.3.1 |
com.sun.xml.bind : jaxb-impl | jar | 3.0.0-M4 |
com.sun.xml.bind : jaxb-jxc | jar | 3.0.0-M4 |
com.sun.xml.bind : jaxb-xjc | jar | 3.0.0-M4 |
Group / Artifact | Type | Version |
---|---|---|
org.junit.jupiter : junit-jupiter-params | jar | 5.6.2 |