jar

org.overturetool.core.codegen : javagen

Maven & Gradle

Nov 10, 2020
2 usages
44 stars

The Java Code Generator

Table Of Contents

Latest Version

Download org.overturetool.core.codegen : javagen JAR file - Latest Versions:

All Versions

Download org.overturetool.core.codegen : javagen JAR file - All Versions:

Version Vulnerabilities Size Updated
3.0.x
2.7.x
2.6.x
2.5.x
2.4.x
2.3.x
2.2.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window javagen-3.0.2.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.overture.codegen.vdm2java

├─ org.overture.codegen.vdm2java.ClassToInterfaceTrans.class - [JAR]

├─ org.overture.codegen.vdm2java.IJavaConstants.class - [JAR]

├─ org.overture.codegen.vdm2java.IJavaQouteEventCoordinator.class - [JAR]

├─ org.overture.codegen.vdm2java.IJavaQuoteEventObserver.class - [JAR]

├─ org.overture.codegen.vdm2java.ImportsTrans.class - [JAR]

├─ org.overture.codegen.vdm2java.JUnit4Trans.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaCallStmToStringBuilder.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaClassCreator.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaClassCreatorBase.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaCodeGen.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaCodeGenMain.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaCodeGenMode.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaCodeGenUtil.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaFormat.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaFormatAssistant.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaIdentifierNormaliser.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaMainTag.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaPostCheckCreator.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaPrecedence.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaQuoteValueCreator.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaRecordCreator.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaSettings.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaTemplateManager.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaToStringTrans.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaTransSeries.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaValueSemantics.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaValueSemanticsTag.class - [JAR]

├─ org.overture.codegen.vdm2java.JavaVarPrefixManager.class - [JAR]

├─ org.overture.codegen.vdm2java.ModuleRenamerTrans.class - [JAR]

├─ org.overture.codegen.vdm2java.ObjectMethodComparison.class - [JAR]

├─ org.overture.codegen.vdm2java.RecMethodsTrans.class - [JAR]

├─ org.overture.codegen.vdm2java.TemplateCallableManager.class - [JAR]

├─ org.overture.codegen.vdm2java.UnsupportedLibWarningTrans.class - [JAR]

├─ org.overture.codegen.vdm2java.VdmAstJavaValidator.class - [JAR]

Advertisement

Dependencies from Group

Nov 10, 2020
5 usages
44 stars
Nov 10, 2020
3 usages
44 stars
Nov 10, 2020
2 usages
44 stars
ir
Nov 10, 2020
2 usages
44 stars
Nov 10, 2020
2 usages
44 stars

Discover Dependencies

Jul 19, 2015
4 usages
Jul 28, 2015
2 usages
90 stars
Nov 07, 2016
2 usages
0 stars
Feb 26, 2016
2 usages
2 stars
Aug 06, 2018
2 usages
35 stars
May 17, 2019
2 usages
45 stars
Nov 10, 2021
2 usages
0 stars
Jun 04, 2017
2 usages
13 stars