jar

org.overturetool.core.codegen : platform

Maven & Gradle

Nov 10, 2020
3 usages
44 stars

The Code Generation Platform

Homepage Documentation Readme Maven Central
Table Of Contents

Latest Version

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

All Versions

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

Version Vulnerabilities Size Updated
3.0.x
platform-3.0.2.jar
platform-3.0.0.jar
2.7.x
platform-2.7.4.jar
platform-2.7.2.jar
platform-2.7.0.jar
2.6.x
platform-2.6.4.jar
platform-2.6.2.jar
platform-2.6.0.jar
2.5.x
platform-2.5.6.jar
platform-2.5.4.jar
platform-2.5.2.jar
platform-2.5.0.jar
2.4.x
platform-2.4.8.jar
platform-2.4.6.jar
platform-2.4.4.jar
platform-2.4.2.jar
platform-2.4.0.jar
2.3.x
platform-2.3.8.jar
platform-2.3.6.jar
platform-2.3.4.jar
platform-2.3.2.jar
platform-2.3.0.jar
2.2.x
platform-2.2.8.jar
platform-2.2.6.jar

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 platform-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.assistant

├─ org.overture.codegen.assistant.AssistantBase.class - [JAR]

├─ org.overture.codegen.assistant.AssistantManager.class - [JAR]

├─ org.overture.codegen.assistant.BindAssistantIR.class - [JAR]

├─ org.overture.codegen.assistant.CollectionTypeStrategy.class - [JAR]

├─ org.overture.codegen.assistant.DeclAssistantIR.class - [JAR]

├─ org.overture.codegen.assistant.DeclStrategy.class - [JAR]

├─ org.overture.codegen.assistant.ExpAssistantIR.class - [JAR]

├─ org.overture.codegen.assistant.LocationAssistantIR.class - [JAR]

├─ org.overture.codegen.assistant.NodeAssistantIR.class - [JAR]

├─ org.overture.codegen.assistant.PatternAssistantIR.class - [JAR]

├─ org.overture.codegen.assistant.StmAssistantIR.class - [JAR]

├─ org.overture.codegen.assistant.TypeAssistantIR.class - [JAR]

org.overture.codegen.utils

├─ org.overture.codegen.utils.AnalysisExceptionIR.class - [JAR]

├─ org.overture.codegen.utils.GeneralCodeGenUtils.class - [JAR]

├─ org.overture.codegen.utils.GeneralUtils.class - [JAR]

├─ org.overture.codegen.utils.Generated.class - [JAR]

├─ org.overture.codegen.utils.GeneratedData.class - [JAR]

├─ org.overture.codegen.utils.GeneratedModule.class - [JAR]

├─ org.overture.codegen.utils.LexNameTokenWrapper.class - [JAR]

org.overture.codegen.trans.patterns

├─ org.overture.codegen.trans.patterns.DeclBlockPair.class - [JAR]

├─ org.overture.codegen.trans.patterns.MismatchHandling.class - [JAR]

├─ org.overture.codegen.trans.patterns.PatternBlockData.class - [JAR]

├─ org.overture.codegen.trans.patterns.PatternInfo.class - [JAR]

├─ org.overture.codegen.trans.patterns.PatternTrans.class - [JAR]

├─ org.overture.codegen.trans.patterns.PatternVarPrefixes.class - [JAR]

org.overture.codegen.analysis.violations

├─ org.overture.codegen.analysis.violations.GeneratedVarComparison.class - [JAR]

├─ org.overture.codegen.analysis.violations.InvalidNamesResult.class - [JAR]

├─ org.overture.codegen.analysis.violations.NameViolationAnalysis.class - [JAR]

├─ org.overture.codegen.analysis.violations.NamingComparison.class - [JAR]

├─ org.overture.codegen.analysis.violations.ReservedWordsComparison.class - [JAR]

├─ org.overture.codegen.analysis.violations.TypenameComparison.class - [JAR]

├─ org.overture.codegen.analysis.violations.VdmAstAnalysis.class - [JAR]

├─ org.overture.codegen.analysis.violations.Violation.class - [JAR]

├─ org.overture.codegen.analysis.violations.ViolationAnalysis.class - [JAR]

org.overture.codegen.ir

├─ org.overture.codegen.ir.CodeGenBase.class - [JAR]

├─ org.overture.codegen.ir.IRConstants.class - [JAR]

├─ org.overture.codegen.ir.IREventCoordinator.class - [JAR]

├─ org.overture.codegen.ir.IREventObserver.class - [JAR]

├─ org.overture.codegen.ir.IRGeneratedTag.class - [JAR]

├─ org.overture.codegen.ir.IRGenerator.class - [JAR]

├─ org.overture.codegen.ir.IRInfo.class - [JAR]

├─ org.overture.codegen.ir.IRNamedTypeInvariantTag.class - [JAR]

├─ org.overture.codegen.ir.IROperatorInfo.class - [JAR]

├─ org.overture.codegen.ir.IROperatorLookup.class - [JAR]

├─ org.overture.codegen.ir.IRSettings.class - [JAR]

├─ org.overture.codegen.ir.IRStatus.class - [JAR]

├─ org.overture.codegen.ir.ITempVarGen.class - [JAR]

├─ org.overture.codegen.ir.IrNodeInfo.class - [JAR]

├─ org.overture.codegen.ir.TempVarNameGen.class - [JAR]

├─ org.overture.codegen.ir.VdmNodeInfo.class - [JAR]

org.overture.codegen.merging

├─ org.overture.codegen.merging.MergeContext.class - [JAR]

├─ org.overture.codegen.merging.MergeCoordinator.class - [JAR]

├─ org.overture.codegen.merging.MergeVisitor.class - [JAR]

├─ org.overture.codegen.merging.MergerObserver.class - [JAR]

├─ org.overture.codegen.merging.TemplateCallable.class - [JAR]

├─ org.overture.codegen.merging.TemplateData.class - [JAR]

├─ org.overture.codegen.merging.TemplateManager.class - [JAR]

org.overture.codegen.trans.funcvalues

├─ org.overture.codegen.trans.funcvalues.FuncValAssistant.class - [JAR]

├─ org.overture.codegen.trans.funcvalues.FuncValPrefixes.class - [JAR]

├─ org.overture.codegen.trans.funcvalues.FuncValTrans.class - [JAR]

org.overture.codegen.traces

├─ org.overture.codegen.traces.CallObjTraceLocalizer.class - [JAR]

├─ org.overture.codegen.traces.ICallStmToStringMethodBuilder.class - [JAR]

├─ org.overture.codegen.traces.IdentifierPatternCollector.class - [JAR]

├─ org.overture.codegen.traces.PatternTypeFinder.class - [JAR]

├─ org.overture.codegen.traces.StoreAssistant.class - [JAR]

├─ org.overture.codegen.traces.TermVisitorIR.class - [JAR]

├─ org.overture.codegen.traces.TraceCoreDeclVisitorIR.class - [JAR]

├─ org.overture.codegen.traces.TraceDeclVisitorIR.class - [JAR]

├─ org.overture.codegen.traces.TraceLetBeStStrategy.class - [JAR]

├─ org.overture.codegen.traces.TraceMethodTag.class - [JAR]

├─ org.overture.codegen.traces.TraceNames.class - [JAR]

├─ org.overture.codegen.traces.TraceNodeData.class - [JAR]

├─ org.overture.codegen.traces.TraceStmBuilder.class - [JAR]

├─ org.overture.codegen.traces.TraceSupportedAnalysis.class - [JAR]

├─ org.overture.codegen.traces.TracesTrans.class - [JAR]

org.overture.codegen.trans.comp

├─ org.overture.codegen.trans.comp.CompStrategy.class - [JAR]

├─ org.overture.codegen.trans.comp.ComplexCompStrategy.class - [JAR]

├─ org.overture.codegen.trans.comp.MapCompStrategy.class - [JAR]

├─ org.overture.codegen.trans.comp.SeqCompStrategy.class - [JAR]

├─ org.overture.codegen.trans.comp.SetCompStrategy.class - [JAR]

org.overture.codegen.trans.let

├─ org.overture.codegen.trans.let.LetBeStStrategy.class - [JAR]

org.overture.codegen.trans.uniontypes

├─ org.overture.codegen.trans.uniontypes.NonDetStmTrans.class - [JAR]

├─ org.overture.codegen.trans.uniontypes.UnionTypeTrans.class - [JAR]

├─ org.overture.codegen.trans.uniontypes.UnionTypeVarPrefixes.class - [JAR]

org.overture.codegen.trans.conv

├─ org.overture.codegen.trans.conv.ObjectDesignatorToExpIR.class - [JAR]

├─ org.overture.codegen.trans.conv.StateDesignatorToExpIR.class - [JAR]

org.overture.codegen.trans.letexps

├─ org.overture.codegen.trans.letexps.FuncTrans.class - [JAR]

├─ org.overture.codegen.trans.letexps.IfExpTrans.class - [JAR]

org.overture.codegen.trans.iterator

├─ org.overture.codegen.trans.iterator.AbstractLanguageIterator.class - [JAR]

├─ org.overture.codegen.trans.iterator.ILanguageIterator.class - [JAR]

├─ org.overture.codegen.trans.iterator.JavaLanguageIterator.class - [JAR]

org.overture.codegen.trans.iota

├─ org.overture.codegen.trans.iota.IotaStrategy.class - [JAR]

org.overture.codegen.trans.assistants

├─ org.overture.codegen.trans.assistants.BaseTransformationAssistant.class - [JAR]

├─ org.overture.codegen.trans.assistants.TransAssistantIR.class - [JAR]

org.overture.codegen.visitor

├─ org.overture.codegen.visitor.AbstractVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.BindVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.ClassVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.DeclVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.ExpVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.ExportVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.ExportsVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.IRVisitor.class - [JAR]

├─ org.overture.codegen.visitor.IRVisitorRecursiveTypeHandler.class - [JAR]

├─ org.overture.codegen.visitor.ImportVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.ImportsVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.ModifierVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.ModuleVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.MultipleBindVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.ObjectDesignatorVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.PatternVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.StateDesignatorVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.StmVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.TypeVisitorIR.class - [JAR]

├─ org.overture.codegen.visitor.VisitorManager.class - [JAR]

org.overture.codegen.trans.quantifier

├─ org.overture.codegen.trans.quantifier.CounterData.class - [JAR]

├─ org.overture.codegen.trans.quantifier.Exists1QuantifierStrategy.class - [JAR]

├─ org.overture.codegen.trans.quantifier.OrdinaryQuantifier.class - [JAR]

├─ org.overture.codegen.trans.quantifier.OrdinaryQuantifierStrategy.class - [JAR]

├─ org.overture.codegen.trans.quantifier.QuantifierBaseStrategy.class - [JAR]

org.overture.codegen.printer

├─ org.overture.codegen.printer.AbstractPrinter.class - [JAR]

├─ org.overture.codegen.printer.DefaultConsolePrinter.class - [JAR]

├─ org.overture.codegen.printer.MsgPrinter.class - [JAR]

org.overture.codegen.analysis.vdm

├─ org.overture.codegen.analysis.vdm.AbstractAnalysis.class - [JAR]

├─ org.overture.codegen.analysis.vdm.DefinitionInfo.class - [JAR]

├─ org.overture.codegen.analysis.vdm.IdDesignatorOccurencesCollector.class - [JAR]

├─ org.overture.codegen.analysis.vdm.IdOccurencesCollector.class - [JAR]

├─ org.overture.codegen.analysis.vdm.IdStateDesignatorDefCollector.class - [JAR]

├─ org.overture.codegen.analysis.vdm.NameCollector.class - [JAR]

├─ org.overture.codegen.analysis.vdm.RenameAnalysis.class - [JAR]

├─ org.overture.codegen.analysis.vdm.Renaming.class - [JAR]

├─ org.overture.codegen.analysis.vdm.UnreachableStmRemover.class - [JAR]

├─ org.overture.codegen.analysis.vdm.VarOccurencesCollector.class - [JAR]

├─ org.overture.codegen.analysis.vdm.VarRenamer.class - [JAR]

├─ org.overture.codegen.analysis.vdm.VarShadowingRenameCollector.class - [JAR]

├─ org.overture.codegen.analysis.vdm.VdmAnalysis.class - [JAR]

org.overture.codegen.trans.conc

├─ org.overture.codegen.trans.conc.ConcPrefixes.class - [JAR]

├─ org.overture.codegen.trans.conc.EvalPermPredTrans.class - [JAR]

├─ org.overture.codegen.trans.conc.MainClassConcTrans.class - [JAR]

├─ org.overture.codegen.trans.conc.MutexDeclTrans.class - [JAR]

├─ org.overture.codegen.trans.conc.SentinelTrans.class - [JAR]

org.overture.codegen.trans

├─ org.overture.codegen.trans.AbstractIterationStrategy.class - [JAR]

├─ org.overture.codegen.trans.AssignStmTrans.class - [JAR]

├─ org.overture.codegen.trans.AtomicStmTrans.class - [JAR]

├─ org.overture.codegen.trans.BlockCleanupTrans.class - [JAR]

├─ org.overture.codegen.trans.CallObjStmTrans.class - [JAR]

├─ org.overture.codegen.trans.ConstructorTrans.class - [JAR]

├─ org.overture.codegen.trans.DeclarationTag.class - [JAR]

├─ org.overture.codegen.trans.DivideTrans.class - [JAR]

├─ org.overture.codegen.trans.Exp2StmTrans.class - [JAR]

├─ org.overture.codegen.trans.Exp2StmVarPrefixes.class - [JAR]

├─ org.overture.codegen.trans.FieldOrderTrans.class - [JAR]

├─ org.overture.codegen.trans.IIterationStrategy.class - [JAR]

├─ org.overture.codegen.trans.IPostCheckCreator.class - [JAR]

├─ org.overture.codegen.trans.ITotalTransformation.class - [JAR]

├─ org.overture.codegen.trans.IsExpSimplifyTrans.class - [JAR]

├─ org.overture.codegen.trans.IsExpTrans.class - [JAR]

├─ org.overture.codegen.trans.IterationVarPrefixes.class - [JAR]

├─ org.overture.codegen.trans.LetBeStTrans.class - [JAR]

├─ org.overture.codegen.trans.ModuleToClassTransformation.class - [JAR]

├─ org.overture.codegen.trans.OldNameRenamer.class - [JAR]

├─ org.overture.codegen.trans.PolyFuncTrans.class - [JAR]

├─ org.overture.codegen.trans.PostCheckTrans.class - [JAR]

├─ org.overture.codegen.trans.PreCheckTrans.class - [JAR]

├─ org.overture.codegen.trans.PrePostTrans.class - [JAR]

├─ org.overture.codegen.trans.RenamedTrans.class - [JAR]

├─ org.overture.codegen.trans.SeqConvTrans.class - [JAR]

├─ org.overture.codegen.trans.SlAccessTrans.class - [JAR]

├─ org.overture.codegen.trans.SlStateAccessTrans.class - [JAR]

├─ org.overture.codegen.trans.WhileStmTrans.class - [JAR]

Advertisement

Dependencies from Group

codegen-runtime
icon @org.overturetool.core.codegen
Nov 10, 2020
5 usages
44 stars
platform
icon @org.overturetool.core.codegen
Nov 10, 2020
3 usages
44 stars
javagen
icon @org.overturetool.core.codegen
Nov 10, 2020
2 usages
44 stars
ir
icon @org.overturetool.core.codegen
Nov 10, 2020
2 usages
44 stars
javagen-test
icon @org.overturetool.core.codegen
Nov 10, 2020
2 usages
44 stars
More Dependencies ❯

Discover Dependencies

x509-provider
icon @com.microsoft.azure.sdk.iot.provisioning.security
Dec 12, 2022
2 usages
200 stars
int-output
icon @net.pwall.util
Apr 07, 2022
7 usages
0 stars
abdera-extensions-opensearch
icon @org.apache.abdera
Dec 21, 2012
7 usages
holon-jackson-spring
icon @com.holon-platform.json
Jul 07, 2020
6 usages
3 stars
nacos-config
icon @com.pig4cloud.nacos
Feb 02, 2022
2 usages
20.9k stars
eventstorm-core-api
icon @eu.eventstorm
Aug 21, 2020
7 usages
0 stars
delp
icon @org.tweetyproject.arg
Jul 11, 2023
2 usages
24 stars
io-hotmoka-local
icon @io.hotmoka
Jun 18, 2023
3 usages
16 stars
elm
icon @info.cqframework
Aug 25, 2023
8 usages
265 stars
glassfish-corba-csiv2-idl
icon @org.glassfish.corba
Feb 15, 2021
9 usages
12 stars
More Dependencies ❯