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

Download pog JAR 2.4.4 with all dependencies


Files of the artifact pog version 2.4.4 from the group org.overturetool.core.

Artifact pog
Group org.overturetool.core
Version 2.4.4
Last update 02. December 2016
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 8
Dependencies gson, ast, parser, typechecker, prettyprinter, junit, commons-io, commons-collections4,
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 pog Show documentation

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

0 downloads

Source code of pog version 2.4.4

META-INF
META-INF.META-INF.MANIFEST.MF
org.overture.pof
org.overture.pof.org.overture.pof.AVdmPoTree
org.overture.pof.org.overture.pof.PPoTree
org.overture.pof.org.overture.pof.PPoTreeBase
org.overture.pof.analysis
org.overture.pof.analysis.org.overture.pof.analysis.AnalysisPOFAdaptor
org.overture.pof.analysis.org.overture.pof.analysis.AnswerPOFAdaptor
org.overture.pof.analysis.org.overture.pof.analysis.DepthFirstAnalysisPOFAdaptor
org.overture.pof.analysis.org.overture.pof.analysis.QuestionAnswerPOFAdaptor
org.overture.pof.analysis.org.overture.pof.analysis.QuestionPOFAdaptor
org.overture.pof.analysis.intf
org.overture.pof.analysis.intf.org.overture.pof.analysis.intf.IPOFAnalysis
org.overture.pof.analysis.intf.org.overture.pof.analysis.intf.IPOFAnswer
org.overture.pof.analysis.intf.org.overture.pof.analysis.intf.IPOFQuestion
org.overture.pof.analysis.intf.org.overture.pof.analysis.intf.IPOFQuestionAnswer
org.overture.pog.contexts
org.overture.pog.contexts.org.overture.pog.contexts.AssignmentContext
org.overture.pog.contexts.org.overture.pog.contexts.OpBodyEndContext
org.overture.pog.contexts.org.overture.pog.contexts.OpPostConditionContext
org.overture.pog.contexts.org.overture.pog.contexts.POCaseContext
org.overture.pog.contexts.org.overture.pog.contexts.POContext
org.overture.pog.contexts.org.overture.pog.contexts.POContextStack
org.overture.pog.contexts.org.overture.pog.contexts.PODefContext
org.overture.pog.contexts.org.overture.pog.contexts.POForAllContext
org.overture.pog.contexts.org.overture.pog.contexts.POForAllPredicateContext
org.overture.pog.contexts.org.overture.pog.contexts.POFunctionDefinitionContext
org.overture.pog.contexts.org.overture.pog.contexts.POFunctionResultContext
org.overture.pog.contexts.org.overture.pog.contexts.POImpliesContext
org.overture.pog.contexts.org.overture.pog.contexts.POLetDefContext
org.overture.pog.contexts.org.overture.pog.contexts.PONameContext
org.overture.pog.contexts.org.overture.pog.contexts.PONotCaseContext
org.overture.pog.contexts.org.overture.pog.contexts.PONotImpliesContext
org.overture.pog.contexts.org.overture.pog.contexts.POOperationDefinitionContext
org.overture.pog.contexts.org.overture.pog.contexts.POScopeContext
org.overture.pog.contexts.org.overture.pog.contexts.StatefulContext
org.overture.pog.obligation
org.overture.pog.obligation.org.overture.pog.obligation.CasesExhaustiveObligation
org.overture.pog.obligation.org.overture.pog.obligation.FiniteMapObligation
org.overture.pog.obligation.org.overture.pog.obligation.FiniteSetObligation
org.overture.pog.obligation.org.overture.pog.obligation.FuncComposeObligation
org.overture.pog.obligation.org.overture.pog.obligation.FuncIterationObligation
org.overture.pog.obligation.org.overture.pog.obligation.FunctionApplyObligation
org.overture.pog.obligation.org.overture.pog.obligation.FunctionPostCondition
org.overture.pog.obligation.org.overture.pog.obligation.LetBeExistsObligation
org.overture.pog.obligation.org.overture.pog.obligation.MapApplyObligation
org.overture.pog.obligation.org.overture.pog.obligation.MapCompatibleObligation
org.overture.pog.obligation.org.overture.pog.obligation.MapComposeObligation
org.overture.pog.obligation.org.overture.pog.obligation.MapInjectivityComp
org.overture.pog.obligation.org.overture.pog.obligation.MapInjectivityEnum
org.overture.pog.obligation.org.overture.pog.obligation.MapInverseObligation
org.overture.pog.obligation.org.overture.pog.obligation.MapIterationObligation
org.overture.pog.obligation.org.overture.pog.obligation.NonEmptySeqObligation
org.overture.pog.obligation.org.overture.pog.obligation.NonEmptySetObligation
org.overture.pog.obligation.org.overture.pog.obligation.NonZeroObligation
org.overture.pog.obligation.org.overture.pog.obligation.OperationCallObligation
org.overture.pog.obligation.org.overture.pog.obligation.OperationPostConditionObligation
org.overture.pog.obligation.org.overture.pog.obligation.ParameterPatternObligation
org.overture.pog.obligation.org.overture.pog.obligation.ProofObligation
org.overture.pog.obligation.org.overture.pog.obligation.ProofObligationList
org.overture.pog.obligation.org.overture.pog.obligation.RecursiveObligation
org.overture.pog.obligation.org.overture.pog.obligation.SatisfiabilityObligation
org.overture.pog.obligation.org.overture.pog.obligation.SeqApplyObligation
org.overture.pog.obligation.org.overture.pog.obligation.SeqMembershipObligation
org.overture.pog.obligation.org.overture.pog.obligation.SeqModificationObligation
org.overture.pog.obligation.org.overture.pog.obligation.SetMembershipObligation
org.overture.pog.obligation.org.overture.pog.obligation.StateInvariantObligation
org.overture.pog.obligation.org.overture.pog.obligation.TupleSelectObligation
org.overture.pog.obligation.org.overture.pog.obligation.TypeCompatibilityObligation
org.overture.pog.obligation.org.overture.pog.obligation.UniqueExistenceObligation
org.overture.pog.obligation.org.overture.pog.obligation.ValueBindingObligation
org.overture.pog.obligation.org.overture.pog.obligation.WhileLoopObligation
org.overture.pog.pub
org.overture.pog.pub.org.overture.pog.pub.IPOContext
org.overture.pog.pub.org.overture.pog.pub.IPOContextStack
org.overture.pog.pub.org.overture.pog.pub.IPogAssistantFactory
org.overture.pog.pub.org.overture.pog.pub.IProofObligation
org.overture.pog.pub.org.overture.pog.pub.IProofObligationList
org.overture.pog.pub.org.overture.pog.pub.POStatus
org.overture.pog.pub.org.overture.pog.pub.POType
org.overture.pog.pub.org.overture.pog.pub.ProofObligationGenerator
org.overture.pog.utility
org.overture.pog.utility.org.overture.pog.utility.ContextHelper
org.overture.pog.utility.org.overture.pog.utility.PDefinitionAssistantPOG
org.overture.pog.utility.org.overture.pog.utility.POException
org.overture.pog.utility.org.overture.pog.utility.PogAssistantFactory
org.overture.pog.utility.org.overture.pog.utility.Substitution
org.overture.pog.utility.org.overture.pog.utility.UniqueNameGenerator
org.overture.pog.visitors
org.overture.pog.visitors.org.overture.pog.visitors.GetLocationVisitor
org.overture.pog.visitors.org.overture.pog.visitors.GetOpCallVisitor
org.overture.pog.visitors.org.overture.pog.visitors.IInvExpGetVisitor
org.overture.pog.visitors.org.overture.pog.visitors.ILocaleExtractVisitor
org.overture.pog.visitors.org.overture.pog.visitors.IVariableSubVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PatternAlwaysMatchesVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PatternToExpVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PogDefinitionVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PogExpVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PogParamDefinitionVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PogParamExpVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PogParamStmVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PogParamVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PogStmVisitor
org.overture.pog.visitors.org.overture.pog.visitors.PogVisitor
org.overture.pog.visitors.org.overture.pog.visitors.StateDesignatorNameGetter
org.overture.pog.visitors.org.overture.pog.visitors.StateDesignatorToExpVisitor
org.overture.pog.visitors.org.overture.pog.visitors.VariableSubVisitor
org.overture.pog.visitors.org.overture.pog.visitors.VdmInvExpGetVisitor
org.overture.pog.visitors.org.overture.pog.visitors.VdmLocaleExtractor
.pof.ast
.pof.ast.tostring




© 2015 - 2024 Weber Informatics LLC | Privacy Policy