Download platform JAR 2.5.4 with all dependencies

Files of the artifact platform version 2.5.4 from the group org.overturetool.core.codegen.

Artifact platform
Group org.overturetool.core.codegen
Version 2.5.4
Last update 10. November 2017
Tags: computer development next techniques supports long analysis build eclipse open vienna tools written overture developing entirely generation systems platform application with support community modelling research history models project integrated environment source industrial dialects method java successful language design based
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies junit, ast, parser, typechecker, interpreter, ir, testframework, velocity, ctruntime, jgrapht-core, log4j,
There are maybe transitive dependencies!

There is a newer version: 3.0.2

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of platform Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of platform version 2.5.4

META-INF

META-INF.META-INF.MANIFEST.MF

.log4j.properties

org.overture.codegen.analysis.vdm

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.AbstractAnalysis

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.DefinitionInfo

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.IdDesignatorOccurencesCollector

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.IdOccurencesCollector

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.IdStateDesignatorDefCollector

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.NameCollector

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.RenameAnalysis

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.Renaming

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.UnreachableStmRemover

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.VarOccurencesCollector

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.VarRenamer

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.VarShadowingRenameCollector

org.overture.codegen.analysis.vdm.org.overture.codegen.analysis.vdm.VdmAnalysis

org.overture.codegen.analysis.violations

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.GeneratedVarComparison

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.InvalidNamesResult

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.NameViolationAnalysis

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.NamingComparison

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.ReservedWordsComparison

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.TypenameComparison

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.VdmAstAnalysis

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.Violation

org.overture.codegen.analysis.violations.org.overture.codegen.analysis.violations.ViolationAnalysis

org.overture.codegen.assistant

org.overture.codegen.assistant.org.overture.codegen.assistant.AssistantBase

org.overture.codegen.assistant.org.overture.codegen.assistant.AssistantManager

org.overture.codegen.assistant.org.overture.codegen.assistant.BindAssistantIR

org.overture.codegen.assistant.org.overture.codegen.assistant.CollectionTypeStrategy

org.overture.codegen.assistant.org.overture.codegen.assistant.DeclAssistantIR

org.overture.codegen.assistant.org.overture.codegen.assistant.DeclStrategy

org.overture.codegen.assistant.org.overture.codegen.assistant.ExpAssistantIR

org.overture.codegen.assistant.org.overture.codegen.assistant.LocationAssistantIR

org.overture.codegen.assistant.org.overture.codegen.assistant.NodeAssistantIR

org.overture.codegen.assistant.org.overture.codegen.assistant.PatternAssistantIR

org.overture.codegen.assistant.org.overture.codegen.assistant.StmAssistantIR

org.overture.codegen.assistant.org.overture.codegen.assistant.TypeAssistantIR

org.overture.codegen.ir

org.overture.codegen.ir.org.overture.codegen.ir.CodeGenBase

org.overture.codegen.ir.org.overture.codegen.ir.IRConstants

org.overture.codegen.ir.org.overture.codegen.ir.IREventCoordinator

org.overture.codegen.ir.org.overture.codegen.ir.IREventObserver

org.overture.codegen.ir.org.overture.codegen.ir.IRGeneratedTag

org.overture.codegen.ir.org.overture.codegen.ir.IRGenerator

org.overture.codegen.ir.org.overture.codegen.ir.IRInfo

org.overture.codegen.ir.org.overture.codegen.ir.IRNamedTypeInvariantTag

org.overture.codegen.ir.org.overture.codegen.ir.IROperatorInfo

org.overture.codegen.ir.org.overture.codegen.ir.IROperatorLookup

org.overture.codegen.ir.org.overture.codegen.ir.IRSettings

org.overture.codegen.ir.org.overture.codegen.ir.IRStatus

org.overture.codegen.ir.org.overture.codegen.ir.ITempVarGen

org.overture.codegen.ir.org.overture.codegen.ir.IrNodeInfo

org.overture.codegen.ir.org.overture.codegen.ir.TempVarNameGen

org.overture.codegen.ir.org.overture.codegen.ir.VdmNodeInfo

org.overture.codegen.merging

org.overture.codegen.merging.org.overture.codegen.merging.MergeContext

org.overture.codegen.merging.org.overture.codegen.merging.MergeCoordinator

org.overture.codegen.merging.org.overture.codegen.merging.MergeVisitor

org.overture.codegen.merging.org.overture.codegen.merging.MergerObserver

org.overture.codegen.merging.org.overture.codegen.merging.TemplateCallable

org.overture.codegen.merging.org.overture.codegen.merging.TemplateData

org.overture.codegen.merging.org.overture.codegen.merging.TemplateManager

org.overture.codegen.printer

org.overture.codegen.printer.org.overture.codegen.printer.AbstractPrinter

org.overture.codegen.printer.org.overture.codegen.printer.DefaultConsolePrinter

org.overture.codegen.printer.org.overture.codegen.printer.MsgPrinter

org.overture.codegen.traces

org.overture.codegen.traces.org.overture.codegen.traces.CallObjTraceLocalizer

org.overture.codegen.traces.org.overture.codegen.traces.ICallStmToStringMethodBuilder

org.overture.codegen.traces.org.overture.codegen.traces.IdentifierPatternCollector

org.overture.codegen.traces.org.overture.codegen.traces.PatternTypeFinder

org.overture.codegen.traces.org.overture.codegen.traces.StoreAssistant

org.overture.codegen.traces.org.overture.codegen.traces.TermVisitorIR

org.overture.codegen.traces.org.overture.codegen.traces.TraceCoreDeclVisitorIR

org.overture.codegen.traces.org.overture.codegen.traces.TraceDeclVisitorIR

org.overture.codegen.traces.org.overture.codegen.traces.TraceLetBeStStrategy

org.overture.codegen.traces.org.overture.codegen.traces.TraceMethodTag

org.overture.codegen.traces.org.overture.codegen.traces.TraceNames

org.overture.codegen.traces.org.overture.codegen.traces.TraceNodeData

org.overture.codegen.traces.org.overture.codegen.traces.TraceStmBuilder

org.overture.codegen.traces.org.overture.codegen.traces.TraceSupportedAnalysis

org.overture.codegen.traces.org.overture.codegen.traces.TracesTrans

org.overture.codegen.trans

org.overture.codegen.trans.org.overture.codegen.trans.AbstractIterationStrategy

org.overture.codegen.trans.org.overture.codegen.trans.AssignStmTrans

org.overture.codegen.trans.org.overture.codegen.trans.AtomicStmTrans

org.overture.codegen.trans.org.overture.codegen.trans.BlockCleanupTrans

org.overture.codegen.trans.org.overture.codegen.trans.CallObjStmTrans

org.overture.codegen.trans.org.overture.codegen.trans.ConstructorTrans

org.overture.codegen.trans.org.overture.codegen.trans.DeclarationTag

org.overture.codegen.trans.org.overture.codegen.trans.DivideTrans

org.overture.codegen.trans.org.overture.codegen.trans.Exp2StmTrans

org.overture.codegen.trans.org.overture.codegen.trans.Exp2StmVarPrefixes

org.overture.codegen.trans.org.overture.codegen.trans.IIterationStrategy

org.overture.codegen.trans.org.overture.codegen.trans.IPostCheckCreator

org.overture.codegen.trans.org.overture.codegen.trans.ITotalTransformation

org.overture.codegen.trans.org.overture.codegen.trans.IsExpSimplifyTrans

org.overture.codegen.trans.org.overture.codegen.trans.IsExpTrans

org.overture.codegen.trans.org.overture.codegen.trans.IterationVarPrefixes

org.overture.codegen.trans.org.overture.codegen.trans.LetBeStTrans

org.overture.codegen.trans.org.overture.codegen.trans.ModuleToClassTransformation

org.overture.codegen.trans.org.overture.codegen.trans.OldNameRenamer

org.overture.codegen.trans.org.overture.codegen.trans.PostCheckTrans

org.overture.codegen.trans.org.overture.codegen.trans.PreCheckTrans

org.overture.codegen.trans.org.overture.codegen.trans.PrePostTrans

org.overture.codegen.trans.org.overture.codegen.trans.SeqConvTrans

org.overture.codegen.trans.org.overture.codegen.trans.SlStateAccessTrans

org.overture.codegen.trans.org.overture.codegen.trans.WhileStmTrans

org.overture.codegen.trans.assistants

org.overture.codegen.trans.assistants.org.overture.codegen.trans.assistants.BaseTransformationAssistant

org.overture.codegen.trans.assistants.org.overture.codegen.trans.assistants.TransAssistantIR

org.overture.codegen.trans.comp

org.overture.codegen.trans.comp.org.overture.codegen.trans.comp.CompStrategy

org.overture.codegen.trans.comp.org.overture.codegen.trans.comp.ComplexCompStrategy

org.overture.codegen.trans.comp.org.overture.codegen.trans.comp.MapCompStrategy

org.overture.codegen.trans.comp.org.overture.codegen.trans.comp.SeqCompStrategy

org.overture.codegen.trans.comp.org.overture.codegen.trans.comp.SetCompStrategy

org.overture.codegen.trans.conc

org.overture.codegen.trans.conc.org.overture.codegen.trans.conc.ConcPrefixes

org.overture.codegen.trans.conc.org.overture.codegen.trans.conc.EvalPermPredTrans

org.overture.codegen.trans.conc.org.overture.codegen.trans.conc.MainClassConcTrans

org.overture.codegen.trans.conc.org.overture.codegen.trans.conc.MutexDeclTrans

org.overture.codegen.trans.conc.org.overture.codegen.trans.conc.SentinelTrans

org.overture.codegen.trans.conv

org.overture.codegen.trans.conv.org.overture.codegen.trans.conv.ObjectDesignatorToExpIR

org.overture.codegen.trans.conv.org.overture.codegen.trans.conv.StateDesignatorToExpIR

org.overture.codegen.trans.funcvalues

org.overture.codegen.trans.funcvalues.org.overture.codegen.trans.funcvalues.FuncValAssistant

org.overture.codegen.trans.funcvalues.org.overture.codegen.trans.funcvalues.FuncValPrefixes

org.overture.codegen.trans.funcvalues.org.overture.codegen.trans.funcvalues.FuncValTrans

org.overture.codegen.trans.iota

org.overture.codegen.trans.iota.org.overture.codegen.trans.iota.IotaStrategy

org.overture.codegen.trans.iterator

org.overture.codegen.trans.iterator.org.overture.codegen.trans.iterator.AbstractLanguageIterator

org.overture.codegen.trans.iterator.org.overture.codegen.trans.iterator.ILanguageIterator

org.overture.codegen.trans.iterator.org.overture.codegen.trans.iterator.JavaLanguageIterator

org.overture.codegen.trans.let

org.overture.codegen.trans.let.org.overture.codegen.trans.let.LetBeStStrategy

org.overture.codegen.trans.letexps

org.overture.codegen.trans.letexps.org.overture.codegen.trans.letexps.FuncTrans

org.overture.codegen.trans.letexps.org.overture.codegen.trans.letexps.IfExpTrans

org.overture.codegen.trans.patterns

org.overture.codegen.trans.patterns.org.overture.codegen.trans.patterns.DeclBlockPair

org.overture.codegen.trans.patterns.org.overture.codegen.trans.patterns.MismatchHandling

org.overture.codegen.trans.patterns.org.overture.codegen.trans.patterns.PatternBlockData

org.overture.codegen.trans.patterns.org.overture.codegen.trans.patterns.PatternInfo

org.overture.codegen.trans.patterns.org.overture.codegen.trans.patterns.PatternTrans

org.overture.codegen.trans.patterns.org.overture.codegen.trans.patterns.PatternVarPrefixes

org.overture.codegen.trans.quantifier

org.overture.codegen.trans.quantifier.org.overture.codegen.trans.quantifier.CounterData

org.overture.codegen.trans.quantifier.org.overture.codegen.trans.quantifier.Exists1QuantifierStrategy

org.overture.codegen.trans.quantifier.org.overture.codegen.trans.quantifier.OrdinaryQuantifier

org.overture.codegen.trans.quantifier.org.overture.codegen.trans.quantifier.OrdinaryQuantifierStrategy

org.overture.codegen.trans.quantifier.org.overture.codegen.trans.quantifier.QuantifierBaseStrategy

org.overture.codegen.trans.uniontypes

org.overture.codegen.trans.uniontypes.org.overture.codegen.trans.uniontypes.NonDetStmTrans

org.overture.codegen.trans.uniontypes.org.overture.codegen.trans.uniontypes.UnionTypeTrans

org.overture.codegen.trans.uniontypes.org.overture.codegen.trans.uniontypes.UnionTypeVarPrefixes

org.overture.codegen.utils

org.overture.codegen.utils.org.overture.codegen.utils.AnalysisExceptionIR

org.overture.codegen.utils.org.overture.codegen.utils.GeneralCodeGenUtils

org.overture.codegen.utils.org.overture.codegen.utils.GeneralUtils

org.overture.codegen.utils.org.overture.codegen.utils.Generated

org.overture.codegen.utils.org.overture.codegen.utils.GeneratedData

org.overture.codegen.utils.org.overture.codegen.utils.GeneratedModule

org.overture.codegen.utils.org.overture.codegen.utils.LexNameTokenWrapper

org.overture.codegen.visitor

org.overture.codegen.visitor.org.overture.codegen.visitor.AbstractVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.BindVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.ClassVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.DeclVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.ExpVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.ExportVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.ExportsVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.IRVisitor

org.overture.codegen.visitor.org.overture.codegen.visitor.IRVisitorRecursiveTypeHandler

org.overture.codegen.visitor.org.overture.codegen.visitor.ImportVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.ImportsVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.ModifierVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.ModuleVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.MultipleBindVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.ObjectDesignatorVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.PatternVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.StateDesignatorVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.StmVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.TypeVisitorIR

org.overture.codegen.visitor.org.overture.codegen.visitor.VisitorManager