Download isagen JAR 2.5.2 with all dependencies

Files of the artifact isagen version 2.5.2 from the group org.overturetool.core.codegen.

Artifact isagen
Group org.overturetool.core.codegen
Version 2.5.2
Last update 11. September 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 5
Dependencies ast, platform, ir, junit, jgrapht-core,
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 isagen Show documentation

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

0 downloads

Source code of isagen version 2.5.2

IsaTemplates.org.overture.cgisa.isair.declarations

IsaTemplates.org.overture.cgisa.isair.declarations.IsaTemplates.org.overture.cgisa.isair.declarations.AMrFuncGroupDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.AFieldDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.AFormalParamLocalParamIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.AFuncDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.AMethodDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.AModuleDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.ANamedTypeDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.ARecordDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.AStateDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.ATypeDeclIR.vm

IsaTemplates.org.overture.codegen.ir.declarations.IsaTemplates.org.overture.codegen.ir.declarations.AVarDeclIR.vm

IsaTemplates.org.overture.codegen.ir.expressions

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AAndBoolBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AApplyExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ABoolLiteralExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ACardUnaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ACharLiteralExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ACompSetExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ADivideNumericBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AEnumSeqExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AEnumSetExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AEqualsBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AExistsQuantifierExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AExplicitVarExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AFieldExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AForAllQuantifierExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AGreaterNumericBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AIdentifierVarExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AInSetBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AIntDivNumericBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AIntIsExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AIntLiteralExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ALetDefExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AMapDomainUnaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AMapRangeUnaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ANotEqualsBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ANotImplementedExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ANotUnaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.AOrBoolBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.APlusNumericBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ARealLiteralExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ASetSubsetBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ASubtractNumericBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ATernaryIfExpIR.vm

IsaTemplates.org.overture.codegen.ir.expressions.IsaTemplates.org.overture.codegen.ir.expressions.ATimesNumericBinaryExpIR.vm

IsaTemplates.org.overture.codegen.ir.patterns

IsaTemplates.org.overture.codegen.ir.patterns.IsaTemplates.org.overture.codegen.ir.patterns.AIdentifierPatternIR.vm

IsaTemplates.org.overture.codegen.ir.patterns.IsaTemplates.org.overture.codegen.ir.patterns.ASetMultipleBindIR.vm

IsaTemplates.org.overture.codegen.ir.patterns.IsaTemplates.org.overture.codegen.ir.patterns.ATypeMultipleBindIR.vm

IsaTemplates.org.overture.codegen.ir.types

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ABoolBasicTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ACharBasicTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.AIntNumericBasicTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.AMapMapTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ANat1NumericBasicTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ANatNumericBasicTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.AQuoteTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ARatNumericBasicTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ARealNumericBasicTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ARecordTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ASeqSeqTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ASetSetTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ATokenBasicTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.ATupleTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.AUnionTypeIR.vm

IsaTemplates.org.overture.codegen.ir.types.IsaTemplates.org.overture.codegen.ir.types.AUnknownTypeIR.vm

META-INF

META-INF.META-INF.MANIFEST.MF

.isair.ast

.isair.ast.tostring

org.overture.cgisa.isair.analysis

org.overture.cgisa.isair.analysis.org.overture.cgisa.isair.analysis.AnalysisIsaAdaptor

org.overture.cgisa.isair.analysis.org.overture.cgisa.isair.analysis.AnswerIsaAdaptor

org.overture.cgisa.isair.analysis.org.overture.cgisa.isair.analysis.DepthFirstAnalysisIsaAdaptor

org.overture.cgisa.isair.analysis.org.overture.cgisa.isair.analysis.QuestionAnswerIsaAdaptor

org.overture.cgisa.isair.analysis.org.overture.cgisa.isair.analysis.QuestionIsaAdaptor

org.overture.cgisa.isair.analysis.intf

org.overture.cgisa.isair.analysis.intf.org.overture.cgisa.isair.analysis.intf.IIsaAnalysis

org.overture.cgisa.isair.analysis.intf.org.overture.cgisa.isair.analysis.intf.IIsaAnswer

org.overture.cgisa.isair.analysis.intf.org.overture.cgisa.isair.analysis.intf.IIsaQuestion

org.overture.cgisa.isair.analysis.intf.org.overture.cgisa.isair.analysis.intf.IIsaQuestionAnswer

org.overture.cgisa.isair.declarations

org.overture.cgisa.isair.declarations.org.overture.cgisa.isair.declarations.AMrFuncGroupDeclIR

org.overture.cgisa.isair.node

org.overture.cgisa.isair.node.org.overture.cgisa.isair.node.PIsaIR

org.overture.cgisa.isair.node.org.overture.cgisa.isair.node.PIsaIRBase

org.overture.cgisa.isair.node.org.overture.cgisa.isair.node.SIsaDeclDeclBase

org.overture.cgisa.isair.node.org.overture.cgisa.isair.node.SIsaDeclIR

org.overturetool.cgisa

org.overturetool.cgisa.org.overturetool.cgisa.IsaChecks

org.overturetool.cgisa.org.overturetool.cgisa.IsaGen

org.overturetool.cgisa.org.overturetool.cgisa.IsaTranslations

org.overturetool.cgisa.transformations

org.overturetool.cgisa.transformations.org.overturetool.cgisa.transformations.Dependencies

org.overturetool.cgisa.transformations.org.overturetool.cgisa.transformations.GroupMutRecs

org.overturetool.cgisa.transformations.org.overturetool.cgisa.transformations.SortDependencies

org.overturetool.cgisa.transformations.org.overturetool.cgisa.transformations.StateInit

org.overturetool.cgisa.utils

org.overturetool.cgisa.utils.org.overturetool.cgisa.utils.IsCharTypeVisitor

org.overturetool.cgisa.utils.org.overturetool.cgisa.utils.IsMethodTypeVisitor

org.overturetool.cgisa.utils.org.overturetool.cgisa.utils.IsSeqOfCharTypeVisitor