All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download platform JAR 2.3.6 with all dependencies


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

    Test

    Download platform (2.3.6)
    Artifact platform
    Group org.overturetool.core.codegen
    Version 2.3.6
    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.3.6

    META-INF
    META-INF.META-INF.MANIFEST.MF
    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.logging
    org.overture.codegen.logging.org.overture.codegen.logging.DefaultLogger
    org.overture.codegen.logging.org.overture.codegen.logging.ILogger
    org.overture.codegen.logging.org.overture.codegen.logging.Logger
    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.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.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.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.Exists1CounterData
    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.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




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy