License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdde.openkeyword |
ArtifactId | ArtifactIdcore |
Version | Version0.2.43 |
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.43.pom | |
core-0.2.43.jar | 161 KB |
core-0.2.43-sources.jar | 215 KB |
core-0.2.43-javadoc.jar | 539 KB |
Browse |
<!-- https://jarcasting.com/artifacts/de.openkeyword/core/ -->
<dependency>
<groupId>de.openkeyword</groupId>
<artifactId>core</artifactId>
<version>0.2.43</version>
</dependency>
// https://jarcasting.com/artifacts/de.openkeyword/core/
implementation 'de.openkeyword:core:0.2.43'
// https://jarcasting.com/artifacts/de.openkeyword/core/
implementation ("de.openkeyword:core:0.2.43")
'de.openkeyword:core:jar:0.2.43'
<dependency org="de.openkeyword" name="core" rev="0.2.43">
<artifact name="core" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.openkeyword', module='core', version='0.2.43')
)
libraryDependencies += "de.openkeyword" % "core" % "0.2.43"
[de.openkeyword/core "0.2.43"]
Group / Artifact | Type | Version |
---|---|---|
org.apache.commons : commons-lang3 | jar | 3.10 |
commons-io : commons-io | jar | 2.6 |
org.apache.commons : commons-text | jar | 1.8 |
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 |