search

overturetool / overture

The Overture Tool
http://overturetool.org
GNU General Public License v3.0
49 stars 25 forks source link

Moving Overture from GPL to BSD/CC #705

Closed nlmave closed 2 years ago

nlmave commented 4 years ago

Description

We have had several discussions on the pro's and con's of the Overture license model, which is currently GPLv3. In the context of Eclipse, this causes several license incompatibility issues and some industrial users have indicated that the toxic nature of the license is blocking the use of the tool and does not allow extending it with proprietary or company specific solutions or modifications. After several iterations within the core team (as discussed during net meetings, via e-mail and finally as discussed during the 17th Overture workshop plenary in Porto), the decision was taken to consider moving Overture to BSD two-clause for code and Creative Commons for documentation.

The main difference between these two licenses and GPLv3 is that derived works are allowed without the need to open source the changes or additions made. That risk was deemed acceptable by the Overture core members in recent discussions, as history has shown that this has never been an issue within our community. But it removes the hurdle imposed to companies that would like to adopt Overture, and modify it to fit their needs.

For this transition, a plan has been set-up, this issue tracker is to discuss the plan.

Steps to perform

  1. [First Step] GPLv3, by its very nature, cannot be revoked. So of course we will keep the current version available under the current license conditions.

  2. [Second Step] We will ask all copyright holders (the writers of the code) for their permission to create a branch of the Overture code base, under new license conditions. As the basis for this, we will use the list of all submitters to our GitHub repository. We will do a best effort to trace back code and users that pre-existed from our SourceForge days, but we believe that all past contributors are also represented at GitHub. We will actively invite the Overture community to step forward, by sending out e-mails on the overture mailing lists.

  3. [Third Step] Once all copyright holders have agreed (in writing, by posting their opinion to this issue) - we will move forward with the license change. In case any objections are received, we will need to see how to deal with those. So far, the general demeanor has been that everyone is in favor to this transition.

  4. [Fourth Step] A final version (2.x) of Overture will be released under the current license conditions; the source code will be kept available as a branch in our repo. It is expected that this version will no longer be actively maintained, although we will not resist people that want to stay with the current license, and maintain it on the branch.

  5. [Fifth Step] All code and documents will be updated to refer to the new license models. For code we propose https://opensource.org/licenses/BSD-2-Clause and for documentation we propose https://creativecommons.org/licenses/by-sa/4.0/. This version will be released as Overture 3.0, which from then onwards will become the master branch of the project, which is actively maintained by the community at large.

Note that the transition will potentially affect all Overture repositories (mainly github.com/overturetool/overture and github.com/overturetool/documentation). Note that VDMJ (https://github.com/nickbattle/vdmj) is not affected and will remain with its current license model (GPLv3).

We would like to implement this transition before the end of 2019.

First order of business is to discuss this plan, please raise any questions you might have here in this tracker. Perhaps we should use the Github top-level project feature to help us in this transition. Does anyone has experience in using it?

pglvdm commented 4 years ago

I fully support the plan here and I will assist trying to get hold of some of the old contributors. I have no experience with the Github top-level feature

kgpierce commented 4 years ago

Thanks for the efforts, I think this is a good way forward. I cannot help with code or github, but will assist where I can.

idhugoid commented 4 years ago

No objection/question whatsoever. Thanks for the efforts.

peterwvj commented 4 years ago

I fully agree with the plan. Thanks for looking into this!

peterwvj commented 4 years ago

A few questions/things that came up:

  1. An initial list of contributors can be computed using git shortlog --summary --numbered --email

  2. This repository used to include all the standard examples that bundle with the tool. Now all these VDM models are located in a separate repository that is included as a Git submodule in this repository. Some of these models were written by students and probably added by @pglvdm . Do we need permissions from these people too?

  3. I see that the first commit is (use something like git log --reverse)

Author: mver <mver@2b2d4d09-c93c-414a-ad04-6e973f5c1cff>
Date:   Sat Dec 6 14:17:28 2008 +0000

    Added standard SVN top-level directories (prior to moving content).

This made me wonder. Who contributed to the initial version of the code base (before the first commit?).

peterwvj commented 4 years ago

The following two commits, i.e. the second and third commits in this repository, (message Perform (partial) repository restructuring and Moved remaining items to trunk) seem to perform the actual migration. These commits have IDs 969acd9b29e07013dde2af989902ce63c8b77ec0 and 87b6f827253f52bed628dd3c0dba34306730ac3c, respectively. I believe the files that were added with these commits might help us understand who contributed to the codebase before the initial commit.

Files for commit 969acd9b29e07013dde2af989902ce63c8b77ec0 ast/.classpath ast/.project ast/.settings/org.eclipse.jdt.core.prefs ast/.settings/org.maven.ide.eclipse.prefs ast/pom.xml ast/src/main/java/org/overturetool/ast/imp/OmlAccessDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlActExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlActiveExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlAlwaysStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlApplyExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlAssignStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlAssignmentDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlAtomicStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlBinaryExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlBinaryOperator.java ast/src/main/java/org/overturetool/ast/imp/OmlBinaryOperatorQuotes.java ast/src/main/java/org/overturetool/ast/imp/OmlBind.java ast/src/main/java/org/overturetool/ast/imp/OmlBlockStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlBoolType.java ast/src/main/java/org/overturetool/ast/imp/OmlBooleanLiteral.java ast/src/main/java/org/overturetool/ast/imp/OmlBracketedExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlBracketedType.java ast/src/main/java/org/overturetool/ast/imp/OmlCallStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlCasesExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlCasesExpressionAlternative.java ast/src/main/java/org/overturetool/ast/imp/OmlCasesStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlCasesStatementAlternative.java ast/src/main/java/org/overturetool/ast/imp/OmlCharType.java ast/src/main/java/org/overturetool/ast/imp/OmlCharacterLiteral.java ast/src/main/java/org/overturetool/ast/imp/OmlClass.java ast/src/main/java/org/overturetool/ast/imp/OmlClassTypeInstantiation.java ast/src/main/java/org/overturetool/ast/imp/OmlComplexType.java ast/src/main/java/org/overturetool/ast/imp/OmlCompositeType.java ast/src/main/java/org/overturetool/ast/imp/OmlCyclesStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlDclStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlDefExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlDefStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlDefinitionBlock.java ast/src/main/java/org/overturetool/ast/imp/OmlDocument.java ast/src/main/java/org/overturetool/ast/imp/OmlDontCarePattern.java ast/src/main/java/org/overturetool/ast/imp/OmlDurationStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlElseIfExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlElseIfStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlEmptyType.java ast/src/main/java/org/overturetool/ast/imp/OmlEqualsDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlError.java ast/src/main/java/org/overturetool/ast/imp/OmlErrorStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlExceptions.java ast/src/main/java/org/overturetool/ast/imp/OmlExistsExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlExistsUniqueExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlExitStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlExplicitFunction.java ast/src/main/java/org/overturetool/ast/imp/OmlExplicitOperation.java ast/src/main/java/org/overturetool/ast/imp/OmlExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlExtendedExplicitFunction.java ast/src/main/java/org/overturetool/ast/imp/OmlExtendedExplicitOperation.java ast/src/main/java/org/overturetool/ast/imp/OmlExternals.java ast/src/main/java/org/overturetool/ast/imp/OmlField.java ast/src/main/java/org/overturetool/ast/imp/OmlFieldReference.java ast/src/main/java/org/overturetool/ast/imp/OmlFieldSelect.java ast/src/main/java/org/overturetool/ast/imp/OmlFinExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlForAllExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlFunctionBody.java ast/src/main/java/org/overturetool/ast/imp/OmlFunctionDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlFunctionDefinitions.java ast/src/main/java/org/overturetool/ast/imp/OmlFunctionShape.java ast/src/main/java/org/overturetool/ast/imp/OmlFunctionTrailer.java ast/src/main/java/org/overturetool/ast/imp/OmlFunctionTypeInstantiation.java ast/src/main/java/org/overturetool/ast/imp/OmlFunctionTypeSelect.java ast/src/main/java/org/overturetool/ast/imp/OmlGeneralMapType.java ast/src/main/java/org/overturetool/ast/imp/OmlIdentifierTypePair.java ast/src/main/java/org/overturetool/ast/imp/OmlIfExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlIfStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlImplicitFunction.java ast/src/main/java/org/overturetool/ast/imp/OmlImplicitOperation.java ast/src/main/java/org/overturetool/ast/imp/OmlIndexForLoop.java ast/src/main/java/org/overturetool/ast/imp/OmlInheritanceClause.java ast/src/main/java/org/overturetool/ast/imp/OmlInjectiveMapType.java ast/src/main/java/org/overturetool/ast/imp/OmlInstanceVariable.java ast/src/main/java/org/overturetool/ast/imp/OmlInstanceVariableDefinitions.java ast/src/main/java/org/overturetool/ast/imp/OmlInstanceVariableInvariant.java ast/src/main/java/org/overturetool/ast/imp/OmlInstanceVariableShape.java ast/src/main/java/org/overturetool/ast/imp/OmlIntType.java ast/src/main/java/org/overturetool/ast/imp/OmlInvariant.java ast/src/main/java/org/overturetool/ast/imp/OmlIotaExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlIsExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlIsofbaseclassExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlIsofclassExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlLambdaExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlLetBeExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlLetBeStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlLetExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlLetStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlLexem.java ast/src/main/java/org/overturetool/ast/imp/OmlLiteral.java ast/src/main/java/org/overturetool/ast/imp/OmlMapComprehension.java ast/src/main/java/org/overturetool/ast/imp/OmlMapEnumeration.java ast/src/main/java/org/overturetool/ast/imp/OmlMapOrSequenceReference.java ast/src/main/java/org/overturetool/ast/imp/OmlMaplet.java ast/src/main/java/org/overturetool/ast/imp/OmlMatchValue.java ast/src/main/java/org/overturetool/ast/imp/OmlMode.java ast/src/main/java/org/overturetool/ast/imp/OmlModeQuotes.java ast/src/main/java/org/overturetool/ast/imp/OmlMuExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlMutexAllPredicate.java ast/src/main/java/org/overturetool/ast/imp/OmlMutexPredicate.java ast/src/main/java/org/overturetool/ast/imp/OmlName.java ast/src/main/java/org/overturetool/ast/imp/OmlNamedTrace.java ast/src/main/java/org/overturetool/ast/imp/OmlNat1Type.java ast/src/main/java/org/overturetool/ast/imp/OmlNatType.java ast/src/main/java/org/overturetool/ast/imp/OmlNewExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlNilLiteral.java ast/src/main/java/org/overturetool/ast/imp/OmlNode.java ast/src/main/java/org/overturetool/ast/imp/OmlNondeterministicStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlNumericLiteral.java ast/src/main/java/org/overturetool/ast/imp/OmlObjectApply.java ast/src/main/java/org/overturetool/ast/imp/OmlObjectDesignator.java ast/src/main/java/org/overturetool/ast/imp/OmlObjectDesignatorExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlObjectFieldReference.java ast/src/main/java/org/overturetool/ast/imp/OmlOldName.java ast/src/main/java/org/overturetool/ast/imp/OmlOperationBody.java ast/src/main/java/org/overturetool/ast/imp/OmlOperationDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlOperationDefinitions.java ast/src/main/java/org/overturetool/ast/imp/OmlOperationShape.java ast/src/main/java/org/overturetool/ast/imp/OmlOperationTrailer.java ast/src/main/java/org/overturetool/ast/imp/OmlOperationType.java ast/src/main/java/org/overturetool/ast/imp/OmlOptionalType.java ast/src/main/java/org/overturetool/ast/imp/OmlParameter.java ast/src/main/java/org/overturetool/ast/imp/OmlPartialFunctionType.java ast/src/main/java/org/overturetool/ast/imp/OmlPattern.java ast/src/main/java/org/overturetool/ast/imp/OmlPatternBind.java ast/src/main/java/org/overturetool/ast/imp/OmlPatternBindExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlPatternIdentifier.java ast/src/main/java/org/overturetool/ast/imp/OmlPatternTypePair.java ast/src/main/java/org/overturetool/ast/imp/OmlPeriodicThread.java ast/src/main/java/org/overturetool/ast/imp/OmlPermissionPredicate.java ast/src/main/java/org/overturetool/ast/imp/OmlPreconditionExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlProcedureThread.java ast/src/main/java/org/overturetool/ast/imp/OmlProductType.java ast/src/main/java/org/overturetool/ast/imp/OmlQuoteLiteral.java ast/src/main/java/org/overturetool/ast/imp/OmlQuoteType.java ast/src/main/java/org/overturetool/ast/imp/OmlRatType.java ast/src/main/java/org/overturetool/ast/imp/OmlRealLiteral.java ast/src/main/java/org/overturetool/ast/imp/OmlRealType.java ast/src/main/java/org/overturetool/ast/imp/OmlRecordConstructor.java ast/src/main/java/org/overturetool/ast/imp/OmlRecordModifier.java ast/src/main/java/org/overturetool/ast/imp/OmlRecordPattern.java ast/src/main/java/org/overturetool/ast/imp/OmlRecursiveTrapStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlReqExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlReturnStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlSamebaseclassExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlSameclassExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlScope.java ast/src/main/java/org/overturetool/ast/imp/OmlScopeQuotes.java ast/src/main/java/org/overturetool/ast/imp/OmlSelfExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlSeq0Type.java ast/src/main/java/org/overturetool/ast/imp/OmlSeq1Type.java ast/src/main/java/org/overturetool/ast/imp/OmlSeqConcPattern.java ast/src/main/java/org/overturetool/ast/imp/OmlSeqEnumPattern.java ast/src/main/java/org/overturetool/ast/imp/OmlSequenceComprehension.java ast/src/main/java/org/overturetool/ast/imp/OmlSequenceEnumeration.java ast/src/main/java/org/overturetool/ast/imp/OmlSequenceForLoop.java ast/src/main/java/org/overturetool/ast/imp/OmlSetBind.java ast/src/main/java/org/overturetool/ast/imp/OmlSetComprehension.java ast/src/main/java/org/overturetool/ast/imp/OmlSetEnumPattern.java ast/src/main/java/org/overturetool/ast/imp/OmlSetEnumeration.java ast/src/main/java/org/overturetool/ast/imp/OmlSetForLoop.java ast/src/main/java/org/overturetool/ast/imp/OmlSetRangeExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlSetType.java ast/src/main/java/org/overturetool/ast/imp/OmlSetUnionPattern.java ast/src/main/java/org/overturetool/ast/imp/OmlSimpleType.java ast/src/main/java/org/overturetool/ast/imp/OmlSkipStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlSpecificationStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlSpecifications.java ast/src/main/java/org/overturetool/ast/imp/OmlSporadicThread.java ast/src/main/java/org/overturetool/ast/imp/OmlStartStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlStateDesignator.java ast/src/main/java/org/overturetool/ast/imp/OmlStateDesignatorName.java ast/src/main/java/org/overturetool/ast/imp/OmlStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlSubsequenceExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlSymbolicLiteralExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlSymbolicLiteralPattern.java ast/src/main/java/org/overturetool/ast/imp/OmlSyncPredicate.java ast/src/main/java/org/overturetool/ast/imp/OmlSynchronizationDefinitions.java ast/src/main/java/org/overturetool/ast/imp/OmlTextLiteral.java ast/src/main/java/org/overturetool/ast/imp/OmlThreadDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlThreadIdExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlThreadSpecification.java ast/src/main/java/org/overturetool/ast/imp/OmlTimeExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlTokenExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlTokenType.java ast/src/main/java/org/overturetool/ast/imp/OmlTotalFunctionType.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceBinding.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceBracketedDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceChoiceDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceCoreDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceDefinitionItem.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceDefinitions.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceLetBeBinding.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceLetBinding.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceMethodApply.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceOneOrMore.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceRange.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceRepeatPattern.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceSequenceDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceZeroOrMore.java ast/src/main/java/org/overturetool/ast/imp/OmlTraceZeroOrOne.java ast/src/main/java/org/overturetool/ast/imp/OmlTrapDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlTrapStatement.java ast/src/main/java/org/overturetool/ast/imp/OmlTupleConstructor.java ast/src/main/java/org/overturetool/ast/imp/OmlTuplePattern.java ast/src/main/java/org/overturetool/ast/imp/OmlType.java ast/src/main/java/org/overturetool/ast/imp/OmlTypeBind.java ast/src/main/java/org/overturetool/ast/imp/OmlTypeDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlTypeDefinitions.java ast/src/main/java/org/overturetool/ast/imp/OmlTypeName.java ast/src/main/java/org/overturetool/ast/imp/OmlTypeShape.java ast/src/main/java/org/overturetool/ast/imp/OmlTypeVariable.java ast/src/main/java/org/overturetool/ast/imp/OmlTypelessExplicitFunction.java ast/src/main/java/org/overturetool/ast/imp/OmlUnaryExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlUnaryOperator.java ast/src/main/java/org/overturetool/ast/imp/OmlUnaryOperatorQuotes.java ast/src/main/java/org/overturetool/ast/imp/OmlUndefinedExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlUnionType.java ast/src/main/java/org/overturetool/ast/imp/OmlValueDefinition.java ast/src/main/java/org/overturetool/ast/imp/OmlValueDefinitions.java ast/src/main/java/org/overturetool/ast/imp/OmlValueShape.java ast/src/main/java/org/overturetool/ast/imp/OmlVarInformation.java ast/src/main/java/org/overturetool/ast/imp/OmlVisitor.java ast/src/main/java/org/overturetool/ast/imp/OmlWaitingExpression.java ast/src/main/java/org/overturetool/ast/imp/OmlWhileLoop.java ast/src/main/java/org/overturetool/ast/itf/IOmlAccessDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlActExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlActiveExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlAlwaysStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlApplyExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlAssignStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlAssignmentDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlAtomicStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlBinaryExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlBinaryOperator.java ast/src/main/java/org/overturetool/ast/itf/IOmlBinaryOperatorQuotes.java ast/src/main/java/org/overturetool/ast/itf/IOmlBind.java ast/src/main/java/org/overturetool/ast/itf/IOmlBlockStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlBoolType.java ast/src/main/java/org/overturetool/ast/itf/IOmlBooleanLiteral.java ast/src/main/java/org/overturetool/ast/itf/IOmlBracketedExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlBracketedType.java ast/src/main/java/org/overturetool/ast/itf/IOmlCallStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlCasesExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlCasesExpressionAlternative.java ast/src/main/java/org/overturetool/ast/itf/IOmlCasesStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlCasesStatementAlternative.java ast/src/main/java/org/overturetool/ast/itf/IOmlCharType.java ast/src/main/java/org/overturetool/ast/itf/IOmlCharacterLiteral.java ast/src/main/java/org/overturetool/ast/itf/IOmlClass.java ast/src/main/java/org/overturetool/ast/itf/IOmlClassTypeInstantiation.java ast/src/main/java/org/overturetool/ast/itf/IOmlComplexType.java ast/src/main/java/org/overturetool/ast/itf/IOmlCompositeType.java ast/src/main/java/org/overturetool/ast/itf/IOmlContextInfo.java ast/src/main/java/org/overturetool/ast/itf/IOmlCyclesStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlDclStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlDefExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlDefStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlDefinitionBlock.java ast/src/main/java/org/overturetool/ast/itf/IOmlDocument.java ast/src/main/java/org/overturetool/ast/itf/IOmlDontCarePattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlDurationStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlElseIfExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlElseIfStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlEmptyType.java ast/src/main/java/org/overturetool/ast/itf/IOmlEqualsDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlError.java ast/src/main/java/org/overturetool/ast/itf/IOmlErrorStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlExceptions.java ast/src/main/java/org/overturetool/ast/itf/IOmlExistsExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlExistsUniqueExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlExitStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlExplicitFunction.java ast/src/main/java/org/overturetool/ast/itf/IOmlExplicitOperation.java ast/src/main/java/org/overturetool/ast/itf/IOmlExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlExtendedExplicitFunction.java ast/src/main/java/org/overturetool/ast/itf/IOmlExtendedExplicitOperation.java ast/src/main/java/org/overturetool/ast/itf/IOmlExternals.java ast/src/main/java/org/overturetool/ast/itf/IOmlField.java ast/src/main/java/org/overturetool/ast/itf/IOmlFieldReference.java ast/src/main/java/org/overturetool/ast/itf/IOmlFieldSelect.java ast/src/main/java/org/overturetool/ast/itf/IOmlFinExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlForAllExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlFunctionBody.java ast/src/main/java/org/overturetool/ast/itf/IOmlFunctionDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlFunctionDefinitions.java ast/src/main/java/org/overturetool/ast/itf/IOmlFunctionShape.java ast/src/main/java/org/overturetool/ast/itf/IOmlFunctionTrailer.java ast/src/main/java/org/overturetool/ast/itf/IOmlFunctionTypeInstantiation.java ast/src/main/java/org/overturetool/ast/itf/IOmlFunctionTypeSelect.java ast/src/main/java/org/overturetool/ast/itf/IOmlGeneralMapType.java ast/src/main/java/org/overturetool/ast/itf/IOmlIdentifierTypePair.java ast/src/main/java/org/overturetool/ast/itf/IOmlIfExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlIfStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlImplicitFunction.java ast/src/main/java/org/overturetool/ast/itf/IOmlImplicitOperation.java ast/src/main/java/org/overturetool/ast/itf/IOmlIndexForLoop.java ast/src/main/java/org/overturetool/ast/itf/IOmlInheritanceClause.java ast/src/main/java/org/overturetool/ast/itf/IOmlInjectiveMapType.java ast/src/main/java/org/overturetool/ast/itf/IOmlInstanceVariable.java ast/src/main/java/org/overturetool/ast/itf/IOmlInstanceVariableDefinitions.java ast/src/main/java/org/overturetool/ast/itf/IOmlInstanceVariableInvariant.java ast/src/main/java/org/overturetool/ast/itf/IOmlInstanceVariableShape.java ast/src/main/java/org/overturetool/ast/itf/IOmlIntType.java ast/src/main/java/org/overturetool/ast/itf/IOmlInvariant.java ast/src/main/java/org/overturetool/ast/itf/IOmlIotaExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlIsExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlIsofbaseclassExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlIsofclassExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlLambdaExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlLetBeExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlLetBeStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlLetExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlLetStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlLexem.java ast/src/main/java/org/overturetool/ast/itf/IOmlLiteral.java ast/src/main/java/org/overturetool/ast/itf/IOmlMapComprehension.java ast/src/main/java/org/overturetool/ast/itf/IOmlMapEnumeration.java ast/src/main/java/org/overturetool/ast/itf/IOmlMapOrSequenceReference.java ast/src/main/java/org/overturetool/ast/itf/IOmlMaplet.java ast/src/main/java/org/overturetool/ast/itf/IOmlMatchValue.java ast/src/main/java/org/overturetool/ast/itf/IOmlMode.java ast/src/main/java/org/overturetool/ast/itf/IOmlModeQuotes.java ast/src/main/java/org/overturetool/ast/itf/IOmlMuExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlMutexAllPredicate.java ast/src/main/java/org/overturetool/ast/itf/IOmlMutexPredicate.java ast/src/main/java/org/overturetool/ast/itf/IOmlName.java ast/src/main/java/org/overturetool/ast/itf/IOmlNamedTrace.java ast/src/main/java/org/overturetool/ast/itf/IOmlNat1Type.java ast/src/main/java/org/overturetool/ast/itf/IOmlNatType.java ast/src/main/java/org/overturetool/ast/itf/IOmlNewExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlNilLiteral.java ast/src/main/java/org/overturetool/ast/itf/IOmlNode.java ast/src/main/java/org/overturetool/ast/itf/IOmlNondeterministicStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlNumericLiteral.java ast/src/main/java/org/overturetool/ast/itf/IOmlObjectApply.java ast/src/main/java/org/overturetool/ast/itf/IOmlObjectDesignator.java ast/src/main/java/org/overturetool/ast/itf/IOmlObjectDesignatorExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlObjectFieldReference.java ast/src/main/java/org/overturetool/ast/itf/IOmlOldName.java ast/src/main/java/org/overturetool/ast/itf/IOmlOperationBody.java ast/src/main/java/org/overturetool/ast/itf/IOmlOperationDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlOperationDefinitions.java ast/src/main/java/org/overturetool/ast/itf/IOmlOperationShape.java ast/src/main/java/org/overturetool/ast/itf/IOmlOperationTrailer.java ast/src/main/java/org/overturetool/ast/itf/IOmlOperationType.java ast/src/main/java/org/overturetool/ast/itf/IOmlOptionalType.java ast/src/main/java/org/overturetool/ast/itf/IOmlParameter.java ast/src/main/java/org/overturetool/ast/itf/IOmlPartialFunctionType.java ast/src/main/java/org/overturetool/ast/itf/IOmlPattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlPatternBind.java ast/src/main/java/org/overturetool/ast/itf/IOmlPatternBindExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlPatternIdentifier.java ast/src/main/java/org/overturetool/ast/itf/IOmlPatternTypePair.java ast/src/main/java/org/overturetool/ast/itf/IOmlPeriodicThread.java ast/src/main/java/org/overturetool/ast/itf/IOmlPermissionPredicate.java ast/src/main/java/org/overturetool/ast/itf/IOmlPreconditionExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlProcedureThread.java ast/src/main/java/org/overturetool/ast/itf/IOmlProductType.java ast/src/main/java/org/overturetool/ast/itf/IOmlQuoteLiteral.java ast/src/main/java/org/overturetool/ast/itf/IOmlQuoteType.java ast/src/main/java/org/overturetool/ast/itf/IOmlRatType.java ast/src/main/java/org/overturetool/ast/itf/IOmlRealLiteral.java ast/src/main/java/org/overturetool/ast/itf/IOmlRealType.java ast/src/main/java/org/overturetool/ast/itf/IOmlRecordConstructor.java ast/src/main/java/org/overturetool/ast/itf/IOmlRecordModifier.java ast/src/main/java/org/overturetool/ast/itf/IOmlRecordPattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlRecursiveTrapStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlReqExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlReturnStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlSamebaseclassExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlSameclassExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlScope.java ast/src/main/java/org/overturetool/ast/itf/IOmlScopeQuotes.java ast/src/main/java/org/overturetool/ast/itf/IOmlSelfExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlSeq0Type.java ast/src/main/java/org/overturetool/ast/itf/IOmlSeq1Type.java ast/src/main/java/org/overturetool/ast/itf/IOmlSeqConcPattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlSeqEnumPattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlSequenceComprehension.java ast/src/main/java/org/overturetool/ast/itf/IOmlSequenceEnumeration.java ast/src/main/java/org/overturetool/ast/itf/IOmlSequenceForLoop.java ast/src/main/java/org/overturetool/ast/itf/IOmlSetBind.java ast/src/main/java/org/overturetool/ast/itf/IOmlSetComprehension.java ast/src/main/java/org/overturetool/ast/itf/IOmlSetEnumPattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlSetEnumeration.java ast/src/main/java/org/overturetool/ast/itf/IOmlSetForLoop.java ast/src/main/java/org/overturetool/ast/itf/IOmlSetRangeExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlSetType.java ast/src/main/java/org/overturetool/ast/itf/IOmlSetUnionPattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlSimpleType.java ast/src/main/java/org/overturetool/ast/itf/IOmlSkipStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlSpecificationStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlSpecifications.java ast/src/main/java/org/overturetool/ast/itf/IOmlSporadicThread.java ast/src/main/java/org/overturetool/ast/itf/IOmlStartStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlStateDesignator.java ast/src/main/java/org/overturetool/ast/itf/IOmlStateDesignatorName.java ast/src/main/java/org/overturetool/ast/itf/IOmlStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlSubsequenceExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlSymbolicLiteralExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlSymbolicLiteralPattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlSyncPredicate.java ast/src/main/java/org/overturetool/ast/itf/IOmlSynchronizationDefinitions.java ast/src/main/java/org/overturetool/ast/itf/IOmlTextLiteral.java ast/src/main/java/org/overturetool/ast/itf/IOmlThreadDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlThreadIdExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlThreadSpecification.java ast/src/main/java/org/overturetool/ast/itf/IOmlTimeExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlTokenExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlTokenType.java ast/src/main/java/org/overturetool/ast/itf/IOmlTotalFunctionType.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceBinding.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceBracketedDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceChoiceDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceCoreDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceDefinitionItem.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceDefinitions.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceLetBeBinding.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceLetBinding.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceMethodApply.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceOneOrMore.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceRange.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceRepeatPattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceSequenceDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceZeroOrMore.java ast/src/main/java/org/overturetool/ast/itf/IOmlTraceZeroOrOne.java ast/src/main/java/org/overturetool/ast/itf/IOmlTrapDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlTrapStatement.java ast/src/main/java/org/overturetool/ast/itf/IOmlTupleConstructor.java ast/src/main/java/org/overturetool/ast/itf/IOmlTuplePattern.java ast/src/main/java/org/overturetool/ast/itf/IOmlType.java ast/src/main/java/org/overturetool/ast/itf/IOmlTypeBind.java ast/src/main/java/org/overturetool/ast/itf/IOmlTypeDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlTypeDefinitions.java ast/src/main/java/org/overturetool/ast/itf/IOmlTypeName.java ast/src/main/java/org/overturetool/ast/itf/IOmlTypeShape.java ast/src/main/java/org/overturetool/ast/itf/IOmlTypeVariable.java ast/src/main/java/org/overturetool/ast/itf/IOmlTypelessExplicitFunction.java ast/src/main/java/org/overturetool/ast/itf/IOmlUnaryExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlUnaryOperator.java ast/src/main/java/org/overturetool/ast/itf/IOmlUnaryOperatorQuotes.java ast/src/main/java/org/overturetool/ast/itf/IOmlUndefinedExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlUnionType.java ast/src/main/java/org/overturetool/ast/itf/IOmlValueDefinition.java ast/src/main/java/org/overturetool/ast/itf/IOmlValueDefinitions.java ast/src/main/java/org/overturetool/ast/itf/IOmlValueShape.java ast/src/main/java/org/overturetool/ast/itf/IOmlVarInformation.java ast/src/main/java/org/overturetool/ast/itf/IOmlVisitor.java ast/src/main/java/org/overturetool/ast/itf/IOmlWaitingExpression.java ast/src/main/java/org/overturetool/ast/itf/IOmlWhileLoop.java ast/src/main/java/org/overturetool/visitor/OmlVisitor.java ast/src/main/java/org/overturetool/visitor/VdmPpVisitor.java ast/src/main/java/org/overturetool/visitor/VdmSlVisitor.java eclipse/plugins/pom.xml eclipse/plugins/umlTransPlugin/.classpath eclipse/plugins/umlTransPlugin/.project eclipse/plugins/umlTransPlugin/.settings/org.eclipse.jdt.core.prefs eclipse/plugins/umlTransPlugin/.settings/org.maven.ide.eclipse.prefs eclipse/plugins/umlTransPlugin/META-INF/MANIFEST.MF eclipse/plugins/umlTransPlugin/build.properties eclipse/plugins/umlTransPlugin/icons/ea.png eclipse/plugins/umlTransPlugin/icons/sample.gif eclipse/plugins/umlTransPlugin/icons/texRemove.png eclipse/plugins/umlTransPlugin/icons/vdm.png eclipse/plugins/umlTransPlugin/icons/vdm1.png eclipse/plugins/umlTransPlugin/plugin.xml eclipse/plugins/umlTransPlugin/pom.xml eclipse/plugins/umlTransPlugin/src/org/overturetool/eclipse/plugins/umltransplugin/Activator.java eclipse/plugins/umlTransPlugin/src/org/overturetool/eclipse/plugins/umltransplugin/actions/TexToVppAction.java eclipse/plugins/umlTransPlugin/src/org/overturetool/eclipse/plugins/umltransplugin/actions/Uml2VdmAction.java eclipse/plugins/umlTransPlugin/src/org/overturetool/eclipse/plugins/umltransplugin/actions/Vdm2UmlAction.java eclipse/pom.xml jmltrans/.classpath jmltrans/.project jmltrans/.settings/org.eclipse.jdt.core.prefs jmltrans/.settings/org.maven.ide.eclipse.prefs jmltrans/pom.xml jmltrans/src/main/ast/jml.ast jmltrans/src/main/java/org/overturetool/ast/imp/OmlAccessDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlActExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlActiveExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlAlwaysStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlApplyExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlAssignStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlAssignmentDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlAtomicStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBinaryExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBinaryOperator.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBinaryOperatorQuotes.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBind.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBlockStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBoolType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBooleanLiteral.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBracketedExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlBracketedType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCallStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCasesExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCasesExpressionAlternative.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCasesStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCasesStatementAlternative.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCharType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCharacterLiteral.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlClass.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlClassTypeInstantiation.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlComplexType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCompositeType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlCyclesStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlDclStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlDefExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlDefStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlDefinitionBlock.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlDocument.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlDontCarePattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlDurationStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlElseIfExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlElseIfStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlEmptyType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlEqualsDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlError.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlErrorStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExceptions.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExistsExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExistsUniqueExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExitStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExplicitFunction.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExplicitOperation.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExtendedExplicitFunction.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExtendedExplicitOperation.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlExternals.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlField.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFieldReference.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFieldSelect.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFinExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlForAllExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFunctionBody.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFunctionDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFunctionDefinitions.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFunctionShape.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFunctionTrailer.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFunctionTypeInstantiation.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlFunctionTypeSelect.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlGeneralMapType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIdentifierTypePair.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIfExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIfStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlImplicitFunction.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlImplicitOperation.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIndexForLoop.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlInheritanceClause.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlInjectiveMapType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlInstanceVariable.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlInstanceVariableDefinitions.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlInstanceVariableInvariant.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlInstanceVariableShape.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIntType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlInvariant.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIotaExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIsExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIsofbaseclassExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlIsofclassExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlLambdaExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlLetBeExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlLetBeStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlLetExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlLetStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlLexem.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlLiteral.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMapComprehension.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMapEnumeration.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMapOrSequenceReference.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMaplet.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMatchValue.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMode.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlModeQuotes.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMuExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMutexAllPredicate.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlMutexPredicate.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlName.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlNamedTrace.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlNat1Type.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlNatType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlNewExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlNilLiteral.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlNode.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlNondeterministicStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlNumericLiteral.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlObjectApply.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlObjectDesignator.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlObjectDesignatorExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlObjectFieldReference.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlOldName.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlOperationBody.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlOperationDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlOperationDefinitions.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlOperationShape.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlOperationTrailer.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlOperationType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlOptionalType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlParameter.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPartialFunctionType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPatternBind.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPatternBindExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPatternIdentifier.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPatternTypePair.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPeriodicThread.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPermissionPredicate.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlPreconditionExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlProcedureThread.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlProductType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlQuoteLiteral.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlQuoteType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlRatType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlRealLiteral.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlRealType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlRecordConstructor.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlRecordModifier.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlRecordPattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlRecursiveTrapStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlReqExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlReturnStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSamebaseclassExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSameclassExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlScope.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlScopeQuotes.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSelfExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSeq0Type.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSeq1Type.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSeqConcPattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSeqEnumPattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSequenceComprehension.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSequenceEnumeration.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSequenceForLoop.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSetBind.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSetComprehension.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSetEnumPattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSetEnumeration.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSetForLoop.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSetRangeExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSetType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSetUnionPattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSimpleType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSkipStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSpecificationStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSpecifications.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSporadicThread.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlStartStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlStateDesignator.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlStateDesignatorName.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSubsequenceExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSymbolicLiteralExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSymbolicLiteralPattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSyncPredicate.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlSynchronizationDefinitions.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTextLiteral.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlThreadDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlThreadIdExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlThreadSpecification.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTimeExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTokenExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTokenType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTotalFunctionType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceBinding.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceBracketedDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceChoiceDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceCoreDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceDefinitionItem.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceDefinitions.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceLetBeBinding.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceLetBinding.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceMethodApply.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceOneOrMore.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceRange.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceRepeatPattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceSequenceDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceZeroOrMore.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTraceZeroOrOne.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTrapDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTrapStatement.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTupleConstructor.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTuplePattern.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTypeBind.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTypeDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTypeDefinitions.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTypeName.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTypeShape.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTypeVariable.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlTypelessExplicitFunction.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlUnaryExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlUnaryOperator.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlUnaryOperatorQuotes.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlUndefinedExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlUnionType.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlValueDefinition.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlValueDefinitions.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlValueShape.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlVarInformation.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlVisitor.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlWaitingExpression.java jmltrans/src/main/java/org/overturetool/ast/imp/OmlWhileLoop.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlAccessDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlActExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlActiveExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlAlwaysStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlApplyExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlAssignStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlAssignmentDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlAtomicStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBinaryExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBinaryOperator.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBinaryOperatorQuotes.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBind.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBlockStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBoolType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBooleanLiteral.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBracketedExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlBracketedType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCallStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCasesExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCasesExpressionAlternative.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCasesStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCasesStatementAlternative.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCharType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCharacterLiteral.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlClass.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlClassTypeInstantiation.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlComplexType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCompositeType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlContextInfo.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlCyclesStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlDclStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlDefExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlDefStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlDefinitionBlock.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlDocument.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlDontCarePattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlDurationStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlElseIfExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlElseIfStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlEmptyType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlEqualsDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlError.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlErrorStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExceptions.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExistsExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExistsUniqueExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExitStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExplicitFunction.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExplicitOperation.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExtendedExplicitFunction.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExtendedExplicitOperation.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlExternals.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlField.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFieldReference.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFieldSelect.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFinExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlForAllExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFunctionBody.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFunctionDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFunctionDefinitions.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFunctionShape.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFunctionTrailer.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFunctionTypeInstantiation.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlFunctionTypeSelect.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlGeneralMapType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIdentifierTypePair.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIfExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIfStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlImplicitFunction.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlImplicitOperation.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIndexForLoop.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlInheritanceClause.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlInjectiveMapType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlInstanceVariable.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlInstanceVariableDefinitions.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlInstanceVariableInvariant.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlInstanceVariableShape.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIntType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlInvariant.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIotaExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIsExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIsofbaseclassExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlIsofclassExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlLambdaExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlLetBeExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlLetBeStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlLetExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlLetStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlLexem.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlLiteral.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMapComprehension.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMapEnumeration.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMapOrSequenceReference.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMaplet.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMatchValue.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMode.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlModeQuotes.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMuExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMutexAllPredicate.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlMutexPredicate.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlName.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlNamedTrace.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlNat1Type.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlNatType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlNewExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlNilLiteral.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlNode.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlNondeterministicStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlNumericLiteral.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlObjectApply.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlObjectDesignator.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlObjectDesignatorExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlObjectFieldReference.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlOldName.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlOperationBody.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlOperationDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlOperationDefinitions.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlOperationShape.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlOperationTrailer.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlOperationType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlOptionalType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlParameter.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPartialFunctionType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPatternBind.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPatternBindExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPatternIdentifier.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPatternTypePair.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPeriodicThread.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPermissionPredicate.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlPreconditionExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlProcedureThread.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlProductType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlQuoteLiteral.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlQuoteType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlRatType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlRealLiteral.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlRealType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlRecordConstructor.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlRecordModifier.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlRecordPattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlRecursiveTrapStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlReqExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlReturnStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSamebaseclassExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSameclassExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlScope.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlScopeQuotes.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSelfExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSeq0Type.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSeq1Type.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSeqConcPattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSeqEnumPattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSequenceComprehension.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSequenceEnumeration.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSequenceForLoop.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSetBind.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSetComprehension.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSetEnumPattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSetEnumeration.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSetForLoop.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSetRangeExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSetType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSetUnionPattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSimpleType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSkipStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSpecificationStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSpecifications.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSporadicThread.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlStartStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlStateDesignator.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlStateDesignatorName.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSubsequenceExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSymbolicLiteralExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSymbolicLiteralPattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSyncPredicate.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlSynchronizationDefinitions.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTextLiteral.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlThreadDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlThreadIdExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlThreadSpecification.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTimeExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTokenExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTokenType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTotalFunctionType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceBinding.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceBracketedDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceChoiceDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceCoreDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceDefinitionItem.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceDefinitions.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceLetBeBinding.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceLetBinding.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceMethodApply.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceOneOrMore.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceRange.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceRepeatPattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceSequenceDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceZeroOrMore.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTraceZeroOrOne.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTrapDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTrapStatement.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTupleConstructor.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTuplePattern.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTypeBind.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTypeDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTypeDefinitions.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTypeName.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTypeShape.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTypeVariable.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlTypelessExplicitFunction.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlUnaryExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlUnaryOperator.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlUnaryOperatorQuotes.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlUndefinedExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlUnionType.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlValueDefinition.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlValueDefinitions.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlValueShape.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlVarInformation.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlVisitor.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlWaitingExpression.java jmltrans/src/main/java/org/overturetool/ast/itf/IOmlWhileLoop.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlAccessDefinition.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlApplyExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlAssignableClause.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBehaviourSpec.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBinaryExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBinaryOperator.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBinaryOperatorQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBlockExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBody.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBoolType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBooleanLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBoundModifiers.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBoundModifiersQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlBracketedExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlCharType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlCharacterLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlClass.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlClassInheritanceClause.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlClassKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlClassKind.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlClassKindQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlClassName.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlClassType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlDefinitionBlock.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlDocument.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlEnsuresClause.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlEnumLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlEnumerationType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlException.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlExceptionType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlExceptionalSpec.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlExistsExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlExpressionsList.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlField.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlFieldSelectExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlFloatLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlFloatType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlForAllExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlIfExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlImport.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlInstanceOfExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlInstanceVariableDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlIntegerType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlInterfaceInheritanceClause.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlInvariantDefinition.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlInvariantDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlLexem.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlLiteralExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlMapEnumeration.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlMapLet.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlMapValueToValueType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlMethodSpecifications.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlModelImport.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlName.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNameId.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNatType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNewExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNode.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNormalSpec.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNotAssignedKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNotKeywordUnary.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNullKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNullLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlNumericalLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlObjectType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlOldKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlOldKeywordUnary.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlOldName.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlOperationDefinition.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlOperationDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlOperationTrailer.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlOtherDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlParameter.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPostfixExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPostfixOperation.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPostfixOperationQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPrimaryExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPrimaryExpressionKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPrimaryExpressionLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPrimaryExpressionOption.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPrimaryExpressions.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlPrimarySuffix.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlQuantifierDeclaration.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlRequiresClause.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlResultKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlScope.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlScopeQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSeqValueType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSequenceEnumeration.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSetEnumeration.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSetValueType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSignalsClause.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSpecifications.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSpecs.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlStarKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlStringLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSuperKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlSuperKeywordSuffix.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlThisExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlThisKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlThisKeywordSuffix.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlThrowExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlTrailers.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlTupleType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlUnaryExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlUnaryOperator.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlUnaryOperatorQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlUndefinedExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlValueDefinition.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlValueDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlValueShape.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlVariable.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlVisitor.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlVoidType.java jmltrans/src/main/java/org/overturetool/jml/ast/imp/JmlWrappedJmlClass.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlAccessDefinition.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlApplyExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlAssignableClause.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBehaviourSpec.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBinaryExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBinaryOperator.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBinaryOperatorQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBlockExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBody.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBoolType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBooleanLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBoundModifiers.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBoundModifiersQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlBracketedExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlCharType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlCharacterLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlClass.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlClassInheritanceClause.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlClassKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlClassKind.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlClassKindQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlClassName.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlClassType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlContextInfo.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlDefinitionBlock.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlDocument.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlEnsuresClause.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlEnumLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlEnumerationType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlException.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlExceptionType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlExceptionalSpec.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlExistsExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlExpressionsList.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlField.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlFieldSelectExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlFloatLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlFloatType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlForAllExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlIfExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlImport.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlInstanceOfExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlInstanceVariableDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlIntegerType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlInterfaceInheritanceClause.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlInvariantDefinition.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlInvariantDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlLexem.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlLiteralExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlMapEnumeration.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlMapLet.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlMapValueToValueType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlMethodSpecifications.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlModelImport.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlName.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNameId.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNatType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNewExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNode.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNormalSpec.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNotAssignedKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNotKeywordUnary.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNullKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNullLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlNumericalLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlObjectType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlOldKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlOldKeywordUnary.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlOldName.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlOperationDefinition.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlOperationDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlOperationTrailer.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlOtherDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlParameter.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPostfixExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPostfixOperation.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPostfixOperationQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPrimaryExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPrimaryExpressionKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPrimaryExpressionLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPrimaryExpressionOption.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPrimaryExpressions.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlPrimarySuffix.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlQuantifierDeclaration.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlRequiresClause.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlResultKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlScope.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlScopeQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSeqValueType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSequenceEnumeration.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSetEnumeration.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSetValueType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSignalsClause.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSpecifications.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSpecs.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlStarKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlStringLiteral.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSuperKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlSuperKeywordSuffix.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlThisExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlThisKeyword.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlThisKeywordSuffix.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlThrowExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlTrailers.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlTupleType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlUnaryExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlUnaryOperator.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlUnaryOperatorQuotes.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlUndefinedExpression.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlValueDefinition.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlValueDefinitions.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlValueShape.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlVariable.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlVisitor.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlVoidType.java jmltrans/src/main/java/org/overturetool/jml/ast/itf/IJmlWrappedJmlClass.java jmltrans/src/main/java/org/overturetool/jml/batch/Main.java jmltrans/src/main/java/org/overturetool/jml/gui/Main.java jmltrans/src/main/java/org/overturetool/jml/gui/MapperGUI.form jmltrans/src/main/java/org/overturetool/jml/gui/MapperGUI.java jmltrans/src/main/java/org/overturetool/jml/models/JMLNatType.java jmltrans/src/main/java/org/overturetool/jml/parser/ASTJMLVisitor.java jmltrans/src/main/java/org/overturetool/jml/parser/Main.java jmltrans/src/main/java/org/overturetool/jml/parser/VdmPpJml.java jmltrans/src/main/java/org/overturetool/jml/util/Configuration.java jmltrans/src/main/java/org/overturetool/jml/util/DateUtils.java jmltrans/src/main/java/org/overturetool/jml/util/MapperException.java jmltrans/src/main/java/org/overturetool/jml/visitor/JmlPpVisitor.java jmltrans/src/main/java/org/overturetool/jml/visitor/JmlSlVisitor.java jmltrans/src/main/java/org/overturetool/jml/visitor/JmlVisitor.java jmltrans/src/main/java/org/overturetool/jmltrans/App.java jmltrans/src/main/java/org/overturetool/mapper/BuildTypes.java jmltrans/src/main/java/org/overturetool/mapper/Jml2Vdm.java jmltrans/src/main/java/org/overturetool/mapper/Vdm2Jml.java jmltrans/src/main/java/org/overturetool/visitor/OmlVisitor.java jmltrans/src/main/java/org/overturetool/visitor/VdmPpVisitor.java jmltrans/src/main/java/org/overturetool/visitor/VdmSlVisitor.java jmltrans/src/main/java/org/overturetool/vpp/parser/VPPParser.java jmltrans/src/main/vdm/jml2vdm.vpp jmltrans/src/main/vdm/vdm2jml.vpp jmltrans/src/test/java/org/overturetool/jmltrans/AppTest.java jmltrans/target/classes/org/overturetool/jmltrans/App.class jmltrans/target/maven-archiver/pom.properties jmltrans/target/org.overturetool.jmltrans-1.0.0.jar jmltrans/target/surefire-reports/TEST-org.overturetool.jmltrans.AppTest.xml jmltrans/target/surefire-reports/org.overturetool.jmltrans.AppTest.txt jmltrans/target/test-classes/org/overturetool/jmltrans/AppTest.class parser/pom.xml parser/src/main/java/org/overturetool/parser/App.java parser/src/test/java/org/overturetool/parser/AppTest.java pom.xml potrans/Settings.xml potrans/pom.xml potrans/src/main/java/org/overturetool/potrans/DocumentProver.java potrans/src/main/java/org/overturetool/potrans/HolApplication.java potrans/src/main/java/org/overturetool/potrans/HolAxiom.java potrans/src/main/java/org/overturetool/potrans/HolBrackets.java potrans/src/main/java/org/overturetool/potrans/HolClass.java potrans/src/main/java/org/overturetool/potrans/HolComplexTypeDefinition.java potrans/src/main/java/org/overturetool/potrans/HolConditional.java potrans/src/main/java/org/overturetool/potrans/HolDefinition.java potrans/src/main/java/org/overturetool/potrans/HolDefinitionError.java potrans/src/main/java/org/overturetool/potrans/HolDocument.java potrans/src/main/java/org/overturetool/potrans/HolExpression.java potrans/src/main/java/org/overturetool/potrans/HolFunction.java potrans/src/main/java/org/overturetool/potrans/HolFunctionDefinition.java potrans/src/main/java/org/overturetool/potrans/HolFunctionDefinitionError.java potrans/src/main/java/org/overturetool/potrans/HolFunctionType.java potrans/src/main/java/org/overturetool/potrans/HolIdentifier.java potrans/src/main/java/org/overturetool/potrans/HolIdentifierError.java potrans/src/main/java/org/overturetool/potrans/HolLambdaFunction.java potrans/src/main/java/org/overturetool/potrans/HolLetExpression.java potrans/src/main/java/org/overturetool/potrans/HolListType.java potrans/src/main/java/org/overturetool/potrans/HolMapType.java potrans/src/main/java/org/overturetool/potrans/HolNativeIdentifier.java potrans/src/main/java/org/overturetool/potrans/HolNativeTypeIdentifier.java potrans/src/main/java/org/overturetool/potrans/HolNode.java potrans/src/main/java/org/overturetool/potrans/HolProductType.java potrans/src/main/java/org/overturetool/potrans/HolQuantifier.java potrans/src/main/java/org/overturetool/potrans/HolQuoteType.java potrans/src/main/java/org/overturetool/potrans/HolRecordFieldSelection.java potrans/src/main/java/org/overturetool/potrans/HolRecordType.java potrans/src/main/java/org/overturetool/potrans/HolRecordUpdate.java potrans/src/main/java/org/overturetool/potrans/HolReferedFunction.java potrans/src/main/java/org/overturetool/potrans/HolSelect.java potrans/src/main/java/org/overturetool/potrans/HolSequenceEnumeration.java potrans/src/main/java/org/overturetool/potrans/HolSetComprehension.java potrans/src/main/java/org/overturetool/potrans/HolSetEnumeration.java potrans/src/main/java/org/overturetool/potrans/HolSetType.java potrans/src/main/java/org/overturetool/potrans/HolSimpleTypeDefinition.java potrans/src/main/java/org/overturetool/potrans/HolTranslationError.java potrans/src/main/java/org/overturetool/potrans/HolTuple.java potrans/src/main/java/org/overturetool/potrans/HolType.java potrans/src/main/java/org/overturetool/potrans/HolTypeDefinition.java potrans/src/main/java/org/overturetool/potrans/HolTypeDefinitionError.java potrans/src/main/java/org/overturetool/potrans/HolTypeDescription.java potrans/src/main/java/org/overturetool/potrans/HolTypeError.java potrans/src/main/java/org/overturetool/potrans/HolTypeIdentifier.java potrans/src/main/java/org/overturetool/potrans/HolUnionType.java potrans/src/main/java/org/overturetool/potrans/IO.java potrans/src/main/java/org/overturetool/potrans/IOmlAccessDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlActExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlActiveExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlAlwaysStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlApplyExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlAssignStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlAssignmentDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlAtomicStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlBinaryExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlBinaryOperator.java potrans/src/main/java/org/overturetool/potrans/IOmlBind.java potrans/src/main/java/org/overturetool/potrans/IOmlBlockStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlBoolType.java potrans/src/main/java/org/overturetool/potrans/IOmlBooleanLiteral.java potrans/src/main/java/org/overturetool/potrans/IOmlBracketedExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlBracketedType.java potrans/src/main/java/org/overturetool/potrans/IOmlCallStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlCasesExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlCasesExpressionAlternative.java potrans/src/main/java/org/overturetool/potrans/IOmlCasesStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlCasesStatementAlternative.java potrans/src/main/java/org/overturetool/potrans/IOmlCharType.java potrans/src/main/java/org/overturetool/potrans/IOmlCharacterLiteral.java potrans/src/main/java/org/overturetool/potrans/IOmlClass.java potrans/src/main/java/org/overturetool/potrans/IOmlClassTypeInstantiation.java potrans/src/main/java/org/overturetool/potrans/IOmlComplexType.java potrans/src/main/java/org/overturetool/potrans/IOmlCompositeType.java potrans/src/main/java/org/overturetool/potrans/IOmlContextInfo.java potrans/src/main/java/org/overturetool/potrans/IOmlCyclesStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlDclStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlDefExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlDefStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlDefinitionBlock.java potrans/src/main/java/org/overturetool/potrans/IOmlDocument.java potrans/src/main/java/org/overturetool/potrans/IOmlDontCarePattern.java potrans/src/main/java/org/overturetool/potrans/IOmlDurationStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlElseIfExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlElseIfStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlEmptyType.java potrans/src/main/java/org/overturetool/potrans/IOmlEqualsDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlError.java potrans/src/main/java/org/overturetool/potrans/IOmlErrorStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlExceptions.java potrans/src/main/java/org/overturetool/potrans/IOmlExistsExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlExistsUniqueExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlExitStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlExplicitFunction.java potrans/src/main/java/org/overturetool/potrans/IOmlExplicitOperation.java potrans/src/main/java/org/overturetool/potrans/IOmlExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlExtendedExplicitFunction.java potrans/src/main/java/org/overturetool/potrans/IOmlExtendedExplicitOperation.java potrans/src/main/java/org/overturetool/potrans/IOmlExternals.java potrans/src/main/java/org/overturetool/potrans/IOmlField.java potrans/src/main/java/org/overturetool/potrans/IOmlFieldReference.java potrans/src/main/java/org/overturetool/potrans/IOmlFieldSelect.java potrans/src/main/java/org/overturetool/potrans/IOmlFinExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlForAllExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlFunctionBody.java potrans/src/main/java/org/overturetool/potrans/IOmlFunctionDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlFunctionDefinitions.java potrans/src/main/java/org/overturetool/potrans/IOmlFunctionShape.java potrans/src/main/java/org/overturetool/potrans/IOmlFunctionTrailer.java potrans/src/main/java/org/overturetool/potrans/IOmlFunctionTypeInstantiation.java potrans/src/main/java/org/overturetool/potrans/IOmlFunctionTypeSelect.java potrans/src/main/java/org/overturetool/potrans/IOmlGeneralMapType.java potrans/src/main/java/org/overturetool/potrans/IOmlIdentifierTypePair.java potrans/src/main/java/org/overturetool/potrans/IOmlIfExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlIfStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlImplicitFunction.java potrans/src/main/java/org/overturetool/potrans/IOmlImplicitOperation.java potrans/src/main/java/org/overturetool/potrans/IOmlIndexForLoop.java potrans/src/main/java/org/overturetool/potrans/IOmlInheritanceClause.java potrans/src/main/java/org/overturetool/potrans/IOmlInjectiveMapType.java potrans/src/main/java/org/overturetool/potrans/IOmlInstanceVariable.java potrans/src/main/java/org/overturetool/potrans/IOmlInstanceVariableDefinitions.java potrans/src/main/java/org/overturetool/potrans/IOmlInstanceVariableInvariant.java potrans/src/main/java/org/overturetool/potrans/IOmlInstanceVariableShape.java potrans/src/main/java/org/overturetool/potrans/IOmlIntType.java potrans/src/main/java/org/overturetool/potrans/IOmlInvariant.java potrans/src/main/java/org/overturetool/potrans/IOmlIotaExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlIsExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlIsofbaseclassExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlIsofclassExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlLambdaExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlLetBeExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlLetBeStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlLetExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlLetStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlLexem.java potrans/src/main/java/org/overturetool/potrans/IOmlLiteral.java potrans/src/main/java/org/overturetool/potrans/IOmlMapComprehension.java potrans/src/main/java/org/overturetool/potrans/IOmlMapEnumeration.java potrans/src/main/java/org/overturetool/potrans/IOmlMapOrSequenceReference.java potrans/src/main/java/org/overturetool/potrans/IOmlMaplet.java potrans/src/main/java/org/overturetool/potrans/IOmlMatchValue.java potrans/src/main/java/org/overturetool/potrans/IOmlMode.java potrans/src/main/java/org/overturetool/potrans/IOmlMuExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlMutexAllPredicate.java potrans/src/main/java/org/overturetool/potrans/IOmlMutexPredicate.java potrans/src/main/java/org/overturetool/potrans/IOmlName.java potrans/src/main/java/org/overturetool/potrans/IOmlNat1Type.java potrans/src/main/java/org/overturetool/potrans/IOmlNatType.java potrans/src/main/java/org/overturetool/potrans/IOmlNewExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlNilLiteral.java potrans/src/main/java/org/overturetool/potrans/IOmlNode.java potrans/src/main/java/org/overturetool/potrans/IOmlNondeterministicStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlNumericLiteral.java potrans/src/main/java/org/overturetool/potrans/IOmlObjectApply.java potrans/src/main/java/org/overturetool/potrans/IOmlObjectDesignator.java potrans/src/main/java/org/overturetool/potrans/IOmlObjectDesignatorExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlObjectFieldReference.java potrans/src/main/java/org/overturetool/potrans/IOmlOldName.java potrans/src/main/java/org/overturetool/potrans/IOmlOperationBody.java potrans/src/main/java/org/overturetool/potrans/IOmlOperationDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlOperationDefinitions.java potrans/src/main/java/org/overturetool/potrans/IOmlOperationShape.java potrans/src/main/java/org/overturetool/potrans/IOmlOperationTrailer.java potrans/src/main/java/org/overturetool/potrans/IOmlOperationType.java potrans/src/main/java/org/overturetool/potrans/IOmlOptionalType.java potrans/src/main/java/org/overturetool/potrans/IOmlParameter.java potrans/src/main/java/org/overturetool/potrans/IOmlPartialFunctionType.java potrans/src/main/java/org/overturetool/potrans/IOmlPattern.java potrans/src/main/java/org/overturetool/potrans/IOmlPatternBind.java potrans/src/main/java/org/overturetool/potrans/IOmlPatternBindExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlPatternIdentifier.java potrans/src/main/java/org/overturetool/potrans/IOmlPatternTypePair.java potrans/src/main/java/org/overturetool/potrans/IOmlPeriodicThread.java potrans/src/main/java/org/overturetool/potrans/IOmlPermissionPredicate.java potrans/src/main/java/org/overturetool/potrans/IOmlPreconditionExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlProcedureThread.java potrans/src/main/java/org/overturetool/potrans/IOmlProductType.java potrans/src/main/java/org/overturetool/potrans/IOmlQuoteLiteral.java potrans/src/main/java/org/overturetool/potrans/IOmlQuoteType.java potrans/src/main/java/org/overturetool/potrans/IOmlRatType.java potrans/src/main/java/org/overturetool/potrans/IOmlRealLiteral.java potrans/src/main/java/org/overturetool/potrans/IOmlRealType.java potrans/src/main/java/org/overturetool/potrans/IOmlRecordConstructor.java potrans/src/main/java/org/overturetool/potrans/IOmlRecordModifier.java potrans/src/main/java/org/overturetool/potrans/IOmlRecordPattern.java potrans/src/main/java/org/overturetool/potrans/IOmlRecursiveTrapStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlReqExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlReturnStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlSamebaseclassExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlSameclassExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlScope.java potrans/src/main/java/org/overturetool/potrans/IOmlSelfExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlSeq0Type.java potrans/src/main/java/org/overturetool/potrans/IOmlSeq1Type.java potrans/src/main/java/org/overturetool/potrans/IOmlSeqConcPattern.java potrans/src/main/java/org/overturetool/potrans/IOmlSeqEnumPattern.java potrans/src/main/java/org/overturetool/potrans/IOmlSequenceComprehension.java potrans/src/main/java/org/overturetool/potrans/IOmlSequenceEnumeration.java potrans/src/main/java/org/overturetool/potrans/IOmlSequenceForLoop.java potrans/src/main/java/org/overturetool/potrans/IOmlSetBind.java potrans/src/main/java/org/overturetool/potrans/IOmlSetComprehension.java potrans/src/main/java/org/overturetool/potrans/IOmlSetEnumPattern.java potrans/src/main/java/org/overturetool/potrans/IOmlSetEnumeration.java potrans/src/main/java/org/overturetool/potrans/IOmlSetForLoop.java potrans/src/main/java/org/overturetool/potrans/IOmlSetRangeExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlSetType.java potrans/src/main/java/org/overturetool/potrans/IOmlSetUnionPattern.java potrans/src/main/java/org/overturetool/potrans/IOmlSimpleType.java potrans/src/main/java/org/overturetool/potrans/IOmlSkipStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlSpecificationStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlSpecifications.java potrans/src/main/java/org/overturetool/potrans/IOmlStartStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlStateDesignator.java potrans/src/main/java/org/overturetool/potrans/IOmlStateDesignatorName.java potrans/src/main/java/org/overturetool/potrans/IOmlStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlSubsequenceExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlSymbolicLiteralExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlSymbolicLiteralPattern.java potrans/src/main/java/org/overturetool/potrans/IOmlSyncPredicate.java potrans/src/main/java/org/overturetool/potrans/IOmlSynchronizationDefinitions.java potrans/src/main/java/org/overturetool/potrans/IOmlTextLiteral.java potrans/src/main/java/org/overturetool/potrans/IOmlThreadDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlThreadIdExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlThreadSpecification.java potrans/src/main/java/org/overturetool/potrans/IOmlTimeExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlTokenExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlTokenType.java potrans/src/main/java/org/overturetool/potrans/IOmlTotalFunctionType.java potrans/src/main/java/org/overturetool/potrans/IOmlTrapDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlTrapStatement.java potrans/src/main/java/org/overturetool/potrans/IOmlTupleConstructor.java potrans/src/main/java/org/overturetool/potrans/IOmlTuplePattern.java potrans/src/main/java/org/overturetool/potrans/IOmlType.java potrans/src/main/java/org/overturetool/potrans/IOmlTypeBind.java potrans/src/main/java/org/overturetool/potrans/IOmlTypeDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlTypeDefinitions.java potrans/src/main/java/org/overturetool/potrans/IOmlTypeName.java potrans/src/main/java/org/overturetool/potrans/IOmlTypeShape.java potrans/src/main/java/org/overturetool/potrans/IOmlTypeVariable.java potrans/src/main/java/org/overturetool/potrans/IOmlTypelessExplicitFunction.java potrans/src/main/java/org/overturetool/potrans/IOmlUnaryExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlUnaryOperator.java potrans/src/main/java/org/overturetool/potrans/IOmlUndefinedExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlUnionType.java potrans/src/main/java/org/overturetool/potrans/IOmlValueDefinition.java potrans/src/main/java/org/overturetool/potrans/IOmlValueDefinitions.java potrans/src/main/java/org/overturetool/potrans/IOmlValueShape.java potrans/src/main/java/org/overturetool/potrans/IOmlVarInformation.java potrans/src/main/java/org/overturetool/potrans/IOmlVisitor.java potrans/src/main/java/org/overturetool/potrans/IOmlWaitingExpression.java potrans/src/main/java/org/overturetool/potrans/IOmlWhileLoop.java potrans/src/main/java/org/overturetool/potrans/MLExpression.java potrans/src/main/java/org/overturetool/potrans/NonHolExpression.java potrans/src/main/java/org/overturetool/potrans/OmlAccessDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlActExpression.java potrans/src/main/java/org/overturetool/potrans/OmlActiveExpression.java potrans/src/main/java/org/overturetool/potrans/OmlAlwaysStatement.java potrans/src/main/java/org/overturetool/potrans/OmlApplyExpression.java potrans/src/main/java/org/overturetool/potrans/OmlAssignStatement.java potrans/src/main/java/org/overturetool/potrans/OmlAssignmentDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlAtomicStatement.java potrans/src/main/java/org/overturetool/potrans/OmlBinaryExpression.java potrans/src/main/java/org/overturetool/potrans/OmlBinaryOperator.java potrans/src/main/java/org/overturetool/potrans/OmlBinaryOperatorQuotes.java potrans/src/main/java/org/overturetool/potrans/OmlBind.java potrans/src/main/java/org/overturetool/potrans/OmlBlockStatement.java potrans/src/main/java/org/overturetool/potrans/OmlBoolType.java potrans/src/main/java/org/overturetool/potrans/OmlBooleanLiteral.java potrans/src/main/java/org/overturetool/potrans/OmlBracketedExpression.java potrans/src/main/java/org/overturetool/potrans/OmlBracketedType.java potrans/src/main/java/org/overturetool/potrans/OmlCallStatement.java potrans/src/main/java/org/overturetool/potrans/OmlCasesExpression.java potrans/src/main/java/org/overturetool/potrans/OmlCasesExpressionAlternative.java potrans/src/main/java/org/overturetool/potrans/OmlCasesStatement.java potrans/src/main/java/org/overturetool/potrans/OmlCasesStatementAlternative.java potrans/src/main/java/org/overturetool/potrans/OmlCharType.java potrans/src/main/java/org/overturetool/potrans/OmlCharacterLiteral.java potrans/src/main/java/org/overturetool/potrans/OmlClass.java potrans/src/main/java/org/overturetool/potrans/OmlClassTypeInstantiation.java potrans/src/main/java/org/overturetool/potrans/OmlComplexType.java potrans/src/main/java/org/overturetool/potrans/OmlCompositeType.java potrans/src/main/java/org/overturetool/potrans/OmlCyclesStatement.java potrans/src/main/java/org/overturetool/potrans/OmlDclStatement.java potrans/src/main/java/org/overturetool/potrans/OmlDefExpression.java potrans/src/main/java/org/overturetool/potrans/OmlDefStatement.java potrans/src/main/java/org/overturetool/potrans/OmlDefinitionBlock.java potrans/src/main/java/org/overturetool/potrans/OmlDocument.java potrans/src/main/java/org/overturetool/potrans/OmlDontCarePattern.java potrans/src/main/java/org/overturetool/potrans/OmlDurationStatement.java potrans/src/main/java/org/overturetool/potrans/OmlElseIfExpression.java potrans/src/main/java/org/overturetool/potrans/OmlElseIfStatement.java potrans/src/main/java/org/overturetool/potrans/OmlEmptyType.java potrans/src/main/java/org/overturetool/potrans/OmlEqualsDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlError.java potrans/src/main/java/org/overturetool/potrans/OmlErrorStatement.java potrans/src/main/java/org/overturetool/potrans/OmlExceptions.java potrans/src/main/java/org/overturetool/potrans/OmlExistsExpression.java potrans/src/main/java/org/overturetool/potrans/OmlExistsUniqueExpression.java potrans/src/main/java/org/overturetool/potrans/OmlExitStatement.java potrans/src/main/java/org/overturetool/potrans/OmlExplicitFunction.java potrans/src/main/java/org/overturetool/potrans/OmlExplicitOperation.java potrans/src/main/java/org/overturetool/potrans/OmlExpression.java potrans/src/main/java/org/overturetool/potrans/OmlExtendedExplicitFunction.java potrans/src/main/java/org/overturetool/potrans/OmlExtendedExplicitOperation.java potrans/src/main/java/org/overturetool/potrans/OmlExternals.java potrans/src/main/java/org/overturetool/potrans/OmlField.java potrans/src/main/java/org/overturetool/potrans/OmlFieldReference.java potrans/src/main/java/org/overturetool/potrans/OmlFieldSelect.java potrans/src/main/java/org/overturetool/potrans/OmlFinExpression.java potrans/src/main/java/org/overturetool/potrans/OmlForAllExpression.java potrans/src/main/java/org/overturetool/potrans/OmlFunctionBody.java potrans/src/main/java/org/overturetool/potrans/OmlFunctionDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlFunctionDefinitions.java potrans/src/main/java/org/overturetool/potrans/OmlFunctionShape.java potrans/src/main/java/org/overturetool/potrans/OmlFunctionTrailer.java potrans/src/main/java/org/overturetool/potrans/OmlFunctionTypeInstantiation.java potrans/src/main/java/org/overturetool/potrans/OmlFunctionTypeSelect.java potrans/src/main/java/org/overturetool/potrans/OmlGeneralMapType.java potrans/src/main/java/org/overturetool/potrans/OmlIdentifierTypePair.java potrans/src/main/java/org/overturetool/potrans/OmlIfExpression.java potrans/src/main/java/org/overturetool/potrans/OmlIfStatement.java potrans/src/main/java/org/overturetool/potrans/OmlImplicitFunction.java potrans/src/main/java/org/overturetool/potrans/OmlImplicitOperation.java potrans/src/main/java/org/overturetool/potrans/OmlIndexForLoop.java potrans/src/main/java/org/overturetool/potrans/OmlInheritanceClause.java potrans/src/main/java/org/overturetool/potrans/OmlInjectiveMapType.java potrans/src/main/java/org/overturetool/potrans/OmlInstanceVariable.java potrans/src/main/java/org/overturetool/potrans/OmlInstanceVariableDefinitions.java potrans/src/main/java/org/overturetool/potrans/OmlInstanceVariableInvariant.java potrans/src/main/java/org/overturetool/potrans/OmlInstanceVariableShape.java potrans/src/main/java/org/overturetool/potrans/OmlIntType.java potrans/src/main/java/org/overturetool/potrans/OmlInvariant.java potrans/src/main/java/org/overturetool/potrans/OmlIotaExpression.java potrans/src/main/java/org/overturetool/potrans/OmlIsExpression.java potrans/src/main/java/org/overturetool/potrans/OmlIsofbaseclassExpression.java potrans/src/main/java/org/overturetool/potrans/OmlIsofclassExpression.java potrans/src/main/java/org/overturetool/potrans/OmlLambdaExpression.java potrans/src/main/java/org/overturetool/potrans/OmlLetBeExpression.java potrans/src/main/java/org/overturetool/potrans/OmlLetBeStatement.java potrans/src/main/java/org/overturetool/potrans/OmlLetExpression.java potrans/src/main/java/org/overturetool/potrans/OmlLetStatement.java potrans/src/main/java/org/overturetool/potrans/OmlLexem.java potrans/src/main/java/org/overturetool/potrans/OmlLiteral.java potrans/src/main/java/org/overturetool/potrans/OmlMapComprehension.java potrans/src/main/java/org/overturetool/potrans/OmlMapEnumeration.java potrans/src/main/java/org/overturetool/potrans/OmlMapOrSequenceReference.java potrans/src/main/java/org/overturetool/potrans/OmlMaplet.java potrans/src/main/java/org/overturetool/potrans/OmlMatchValue.java potrans/src/main/java/org/overturetool/potrans/OmlMode.java potrans/src/main/java/org/overturetool/potrans/OmlModeQuotes.java potrans/src/main/java/org/overturetool/potrans/OmlMuExpression.java potrans/src/main/java/org/overturetool/potrans/OmlMutexAllPredicate.java potrans/src/main/java/org/overturetool/potrans/OmlMutexPredicate.java potrans/src/main/java/org/overturetool/potrans/OmlName.java potrans/src/main/java/org/overturetool/potrans/OmlNat1Type.java potrans/src/main/java/org/overturetool/potrans/OmlNatType.java potrans/src/main/java/org/overturetool/potrans/OmlNewExpression.java potrans/src/main/java/org/overturetool/potrans/OmlNilLiteral.java potrans/src/main/java/org/overturetool/potrans/OmlNondeterministicStatement.java potrans/src/main/java/org/overturetool/potrans/OmlNumericLiteral.java potrans/src/main/java/org/overturetool/potrans/OmlObjectApply.java potrans/src/main/java/org/overturetool/potrans/OmlObjectDesignator.java potrans/src/main/java/org/overturetool/potrans/OmlObjectDesignatorExpression.java potrans/src/main/java/org/overturetool/potrans/OmlObjectFieldReference.java potrans/src/main/java/org/overturetool/potrans/OmlOldName.java potrans/src/main/java/org/overturetool/potrans/OmlOperationBody.java potrans/src/main/java/org/overturetool/potrans/OmlOperationDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlOperationDefinitions.java potrans/src/main/java/org/overturetool/potrans/OmlOperationShape.java potrans/src/main/java/org/overturetool/potrans/OmlOperationTrailer.java potrans/src/main/java/org/overturetool/potrans/OmlOperationType.java potrans/src/main/java/org/overturetool/potrans/OmlOptionalType.java potrans/src/main/java/org/overturetool/potrans/OmlParameter.java potrans/src/main/java/org/overturetool/potrans/OmlPartialFunctionType.java potrans/src/main/java/org/overturetool/potrans/OmlPattern.java potrans/src/main/java/org/overturetool/potrans/OmlPatternBind.java potrans/src/main/java/org/overturetool/potrans/OmlPatternBindExpression.java potrans/src/main/java/org/overturetool/potrans/OmlPatternIdentifier.java potrans/src/main/java/org/overturetool/potrans/OmlPatternTypePair.java potrans/src/main/java/org/overturetool/potrans/OmlPeriodicThread.java potrans/src/main/java/org/overturetool/potrans/OmlPermissionPredicate.java potrans/src/main/java/org/overturetool/potrans/OmlPreconditionExpression.java potrans/src/main/java/org/overturetool/potrans/OmlProcedureThread.java potrans/src/main/java/org/overturetool/potrans/OmlProductType.java potrans/src/main/java/org/overturetool/potrans/OmlQuoteLiteral.java potrans/src/main/java/org/overturetool/potrans/OmlQuoteType.java potrans/src/main/java/org/overturetool/potrans/OmlRatType.java potrans/src/main/java/org/overturetool/potrans/OmlRealLiteral.java potrans/src/main/java/org/overturetool/potrans/OmlRealType.java potrans/src/main/java/org/overturetool/potrans/OmlRecordConstructor.java potrans/src/main/java/org/overturetool/potrans/OmlRecordModifier.java potrans/src/main/java/org/overturetool/potrans/OmlRecordPattern.java potrans/src/main/java/org/overturetool/potrans/OmlRecursiveTrapStatement.java potrans/src/main/java/org/overturetool/potrans/OmlReqExpression.java potrans/src/main/java/org/overturetool/potrans/OmlReturnStatement.java potrans/src/main/java/org/overturetool/potrans/OmlSamebaseclassExpression.java potrans/src/main/java/org/overturetool/potrans/OmlSameclassExpression.java potrans/src/main/java/org/overturetool/potrans/OmlScope.java potrans/src/main/java/org/overturetool/potrans/OmlScopeQuotes.java potrans/src/main/java/org/overturetool/potrans/OmlSelfExpression.java potrans/src/main/java/org/overturetool/potrans/OmlSeq0Type.java potrans/src/main/java/org/overturetool/potrans/OmlSeq1Type.java potrans/src/main/java/org/overturetool/potrans/OmlSeqConcPattern.java potrans/src/main/java/org/overturetool/potrans/OmlSeqEnumPattern.java potrans/src/main/java/org/overturetool/potrans/OmlSequenceComprehension.java potrans/src/main/java/org/overturetool/potrans/OmlSequenceEnumeration.java potrans/src/main/java/org/overturetool/potrans/OmlSequenceForLoop.java potrans/src/main/java/org/overturetool/potrans/OmlSetBind.java potrans/src/main/java/org/overturetool/potrans/OmlSetComprehension.java potrans/src/main/java/org/overturetool/potrans/OmlSetEnumPattern.java potrans/src/main/java/org/overturetool/potrans/OmlSetEnumeration.java potrans/src/main/java/org/overturetool/potrans/OmlSetForLoop.java potrans/src/main/java/org/overturetool/potrans/OmlSetRangeExpression.java potrans/src/main/java/org/overturetool/potrans/OmlSetType.java potrans/src/main/java/org/overturetool/potrans/OmlSetUnionPattern.java potrans/src/main/java/org/overturetool/potrans/OmlSimpleType.java potrans/src/main/java/org/overturetool/potrans/OmlSkipStatement.java potrans/src/main/java/org/overturetool/potrans/OmlSpecificationStatement.java potrans/src/main/java/org/overturetool/potrans/OmlSpecifications.java potrans/src/main/java/org/overturetool/potrans/OmlStartStatement.java potrans/src/main/java/org/overturetool/potrans/OmlStateDesignator.java potrans/src/main/java/org/overturetool/potrans/OmlStateDesignatorName.java potrans/src/main/java/org/overturetool/potrans/OmlStatement.java potrans/src/main/java/org/overturetool/potrans/OmlSubsequenceExpression.java potrans/src/main/java/org/overturetool/potrans/OmlSymbolicLiteralExpression.java potrans/src/main/java/org/overturetool/potrans/OmlSymbolicLiteralPattern.java potrans/src/main/java/org/overturetool/potrans/OmlSyncPredicate.java potrans/src/main/java/org/overturetool/potrans/OmlSynchronizationDefinitions.java potrans/src/main/java/org/overturetool/potrans/OmlTextLiteral.java potrans/src/main/java/org/overturetool/potrans/OmlThreadDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlThreadIdExpression.java potrans/src/main/java/org/overturetool/potrans/OmlThreadSpecification.java potrans/src/main/java/org/overturetool/potrans/OmlTimeExpression.java potrans/src/main/java/org/overturetool/potrans/OmlTokenExpression.java potrans/src/main/java/org/overturetool/potrans/OmlTokenType.java potrans/src/main/java/org/overturetool/potrans/OmlTotalFunctionType.java potrans/src/main/java/org/overturetool/potrans/OmlTrapDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlTrapStatement.java potrans/src/main/java/org/overturetool/potrans/OmlTupleConstructor.java potrans/src/main/java/org/overturetool/potrans/OmlTuplePattern.java potrans/src/main/java/org/overturetool/potrans/OmlType.java potrans/src/main/java/org/overturetool/potrans/OmlTypeBind.java potrans/src/main/java/org/overturetool/potrans/OmlTypeDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlTypeDefinitions.java potrans/src/main/java/org/overturetool/potrans/OmlTypeName.java potrans/src/main/java/org/overturetool/potrans/OmlTypeShape.java potrans/src/main/java/org/overturetool/potrans/OmlTypeVariable.java potrans/src/main/java/org/overturetool/potrans/OmlTypelessExplicitFunction.java potrans/src/main/java/org/overturetool/potrans/OmlUnaryExpression.java potrans/src/main/java/org/overturetool/potrans/OmlUnaryOperator.java potrans/src/main/java/org/overturetool/potrans/OmlUnaryOperatorQuotes.java potrans/src/main/java/org/overturetool/potrans/OmlUndefinedExpression.java potrans/src/main/java/org/overturetool/potrans/OmlUnionType.java potrans/src/main/java/org/overturetool/potrans/OmlValueDefinition.java potrans/src/main/java/org/overturetool/potrans/OmlValueDefinitions.java potrans/src/main/java/org/overturetool/potrans/OmlValueShape.java potrans/src/main/java/org/overturetool/potrans/OmlVarInformation.java potrans/src/main/java/org/overturetool/potrans/OmlVisitor.java potrans/src/main/java/org/overturetool/potrans/OmlWaitingExpression.java potrans/src/main/java/org/overturetool/potrans/OmlWhileLoop.java potrans/src/main/java/org/overturetool/potrans/ProofObligation.java potrans/src/main/java/org/overturetool/potrans/Util.java potrans/src/main/java/org/overturetool/potrans/VdmHolTranslator.java potrans/src/main/java/org/overturetool/potrans/VdmPpVisitor.java potrans/src/main/java/org/overturetool/potrans/external_IO.java potrans/src/main/java/org/overturetool/potrans/prep/CommandLineTools.java potrans/src/main/java/org/overturetool/potrans/quotes/CasesExpr.java potrans/src/main/java/org/overturetool/potrans/quotes/CasesStmt.java potrans/src/main/java/org/overturetool/potrans/quotes/DInter.java potrans/src/main/java/org/overturetool/potrans/quotes/Division.java potrans/src/main/java/org/overturetool/potrans/quotes/ExistsUnique.java potrans/src/main/java/org/overturetool/potrans/quotes/FiniteMap.java potrans/src/main/java/org/overturetool/potrans/quotes/FiniteSet.java potrans/src/main/java/org/overturetool/potrans/quotes/FlatType.java potrans/src/main/java/org/overturetool/potrans/quotes/FuncComp.java potrans/src/main/java/org/overturetool/potrans/quotes/FuncIteration.java potrans/src/main/java/org/overturetool/potrans/quotes/FunctionApplication.java potrans/src/main/java/org/overturetool/potrans/quotes/FunctionPatterns.java potrans/src/main/java/org/overturetool/potrans/quotes/IntDivision.java potrans/src/main/java/org/overturetool/potrans/quotes/Invariants.java potrans/src/main/java/org/overturetool/potrans/quotes/LetBeStExpr.java potrans/src/main/java/org/overturetool/potrans/quotes/LetBeStStmt.java potrans/src/main/java/org/overturetool/potrans/quotes/MapApplication.java potrans/src/main/java/org/overturetool/potrans/quotes/MapCompatible.java potrans/src/main/java/org/overturetool/potrans/quotes/MapComposition.java potrans/src/main/java/org/overturetool/potrans/quotes/MapComprehension.java potrans/src/main/java/org/overturetool/potrans/quotes/MapDistributedMerge.java potrans/src/main/java/org/overturetool/potrans/quotes/MapEnumeration.java potrans/src/main/java/org/overturetool/potrans/quotes/MapInverse.java potrans/src/main/java/org/overturetool/potrans/quotes/MapIteration.java potrans/src/main/java/org/overturetool/potrans/quotes/MapMerge.java potrans/src/main/java/org/overturetool/potrans/quotes/MapSeqOfCompatible.java potrans/src/main/java/org/overturetool/potrans/quotes/MapSetOfCompatible.java potrans/src/main/java/org/overturetool/potrans/quotes/Modulus.java potrans/src/main/java/org/overturetool/potrans/quotes/NonEmptySeq.java potrans/src/main/java/org/overturetool/potrans/quotes/NonEmptySet.java potrans/src/main/java/org/overturetool/potrans/quotes/NonEndoIteration.java potrans/src/main/java/org/overturetool/potrans/quotes/NonZero.java potrans/src/main/java/org/overturetool/potrans/quotes/OpPostCondition.java potrans/src/main/java/org/overturetool/potrans/quotes/OperationApplication.java potrans/src/main/java/org/overturetool/potrans/quotes/OperationSat.java potrans/src/main/java/org/overturetool/potrans/quotes/PatternBinding.java potrans/src/main/java/org/overturetool/potrans/quotes/PostCondition.java potrans/src/main/java/org/overturetool/potrans/quotes/Remainder.java potrans/src/main/java/org/overturetool/potrans/quotes/Satisfiability.java potrans/src/main/java/org/overturetool/potrans/quotes/SeqApplication.java potrans/src/main/java/org/overturetool/potrans/quotes/SeqComprehension.java potrans/src/main/java/org/overturetool/potrans/quotes/SeqHead.java potrans/src/main/java/org/overturetool/potrans/quotes/SeqModification.java potrans/src/main/java/org/overturetool/potrans/quotes/SeqTail.java potrans/src/main/java/org/overturetool/potrans/quotes/SetComprehension.java potrans/src/main/java/org/overturetool/potrans/quotes/StateInvariants.java potrans/src/main/java/org/overturetool/potrans/quotes/Subtype.java potrans/src/main/java/org/overturetool/potrans/quotes/TupleSelect.java potrans/src/main/java/org/overturetool/potrans/quotes/ValueBinding.java potrans/src/main/java/org/overturetool/potrans/quotes/WhileLoopStmt.java potrans/src/main/java/org/overturetool/potrans/quotes/append.java potrans/src/main/java/org/overturetool/potrans/quotes/existential.java potrans/src/main/java/org/overturetool/potrans/quotes/plain.java potrans/src/main/java/org/overturetool/potrans/quotes/start.java potrans/src/main/java/org/overturetool/potrans/quotes/term.java potrans/src/main/java/org/overturetool/potrans/quotes/type.java potrans/src/main/java/org/overturetool/potrans/quotes/universal.java potrans/src/main/vdm/VdmHolTranslator.prj potrans/src/main/vdm/lib/astspec/VdmPpVisitor.tex potrans/src/main/vdm/lib/astspec/implementation.tex potrans/src/main/vdm/lib/astspec/interfaces.tex potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlAccessDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlActExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlActiveExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlAlwaysStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlApplyExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlAssignStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlAssignmentDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlAtomicStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBinaryExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBinaryOperator.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBinaryOperatorQuotes.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBind.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBlockStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBoolType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBooleanLiteral.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBracketedExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlBracketedType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCallStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCasesExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCasesExpressionAlternative.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCasesStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCasesStatementAlternative.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCharType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCharacterLiteral.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlClass.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlClassTypeInstantiation.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlComplexType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCompositeType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlContextInfo.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlCyclesStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlDclStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlDefExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlDefStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlDefinitionBlock.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlDocument.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlDontCarePattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlDurationStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlElseIfExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlElseIfStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlEmptyType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlEqualsDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlError.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlErrorStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExceptions.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExistsExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExistsUniqueExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExitStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExplicitFunction.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExplicitOperation.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExtendedExplicitFunction.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExtendedExplicitOperation.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlExternals.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlField.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFieldReference.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFieldSelect.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFinExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlForAllExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFunctionBody.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFunctionDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFunctionDefinitions.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFunctionShape.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFunctionTrailer.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFunctionTypeInstantiation.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlFunctionTypeSelect.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlGeneralMapType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIdentifierTypePair.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIfExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIfStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlImplicitFunction.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlImplicitOperation.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIndexForLoop.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlInheritanceClause.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlInjectiveMapType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlInstanceVariable.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlInstanceVariableDefinitions.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlInstanceVariableInvariant.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlInstanceVariableShape.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIntType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlInvariant.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIotaExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIsExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIsofbaseclassExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlIsofclassExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlLambdaExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlLetBeExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlLetBeStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlLetExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlLetStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlLexem.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlLiteral.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMapComprehension.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMapEnumeration.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMapOrSequenceReference.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMaplet.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMatchValue.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMode.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlModeQuotes.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMuExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMutexAllPredicate.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlMutexPredicate.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlName.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlNat1Type.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlNatType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlNewExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlNilLiteral.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlNode.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlNondeterministicStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlNumericLiteral.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlObjectApply.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlObjectDesignator.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlObjectDesignatorExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlObjectFieldReference.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlOldName.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlOperationBody.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlOperationDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlOperationDefinitions.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlOperationShape.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlOperationTrailer.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlOperationType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlOptionalType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlParameter.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPartialFunctionType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPatternBind.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPatternBindExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPatternIdentifier.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPatternTypePair.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPeriodicThread.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPermissionPredicate.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlPreconditionExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlProcedureThread.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlProductType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlQuoteLiteral.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlQuoteType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlRatType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlRealLiteral.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlRealType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlRecordConstructor.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlRecordModifier.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlRecordPattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlRecursiveTrapStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlReqExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlReturnStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSamebaseclassExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSameclassExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlScope.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlScopeQuotes.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSelfExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSeq0Type.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSeq1Type.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSeqConcPattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSeqEnumPattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSequenceComprehension.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSequenceEnumeration.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSequenceForLoop.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSetBind.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSetComprehension.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSetEnumPattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSetEnumeration.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSetForLoop.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSetRangeExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSetType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSetUnionPattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSimpleType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSkipStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSpecificationStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSpecifications.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlStartStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlStateDesignator.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlStateDesignatorName.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSubsequenceExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSymbolicLiteralExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSymbolicLiteralPattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSyncPredicate.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlSynchronizationDefinitions.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTextLiteral.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlThreadDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlThreadIdExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlThreadSpecification.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTimeExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTokenExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTokenType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTotalFunctionType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTrapDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTrapStatement.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTupleConstructor.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTuplePattern.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTypeBind.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTypeDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTypeDefinitions.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTypeName.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTypeShape.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTypeVariable.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlTypelessExplicitFunction.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlUnaryExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlUnaryOperator.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlUnaryOperatorQuotes.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlUndefinedExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlUnionType.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlValueDefinition.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlValueDefinitions.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlValueShape.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlVarInformation.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlVisitor.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlWaitingExpression.java potrans/src/main/vdm/lib/astspec/org/overturetool/ast/itf/IOmlWhileLoop.java potrans/src/main/vdm/lib/astspec/overture.ast potrans/src/main/vdm/lib/io.vpp potrans/src/main/vdm/lib/util.vpp potrans/src/main/vdm/src/framework/DocumentProver.vpp potrans/src/main/vdm/src/framework/HolAst/HolApplication.vpp potrans/src/main/vdm/src/framework/HolAst/HolAxiom.vpp potrans/src/main/vdm/src/framework/HolAst/HolBrackets.vpp potrans/src/main/vdm/src/framework/HolAst/HolClass.vpp potrans/src/main/vdm/src/framework/HolAst/HolComplexTypeDefinition.vpp potrans/src/main/vdm/src/framework/HolAst/HolConditional.vpp potrans/src/main/vdm/src/framework/HolAst/HolDefinition.vpp potrans/src/main/vdm/src/framework/HolAst/HolDocument.vpp potrans/src/main/vdm/src/framework/HolAst/HolExpression.vpp potrans/src/main/vdm/src/framework/HolAst/HolFunction.vpp potrans/src/main/vdm/src/framework/HolAst/HolFunctionDefinition.vpp potrans/src/main/vdm/src/framework/HolAst/HolFunctionType.vpp potrans/src/main/vdm/src/framework/HolAst/HolIdentifier.vpp potrans/src/main/vdm/src/framework/HolAst/HolLambdaFunction.vpp potrans/src/main/vdm/src/framework/HolAst/HolLetExpression.vpp potrans/src/main/vdm/src/framework/HolAst/HolListType.vpp potrans/src/main/vdm/src/framework/HolAst/HolMapType.vpp potrans/src/main/vdm/src/framework/HolAst/HolNativeIdentifier.vpp potrans/src/main/vdm/src/framework/HolAst/HolNativeTypeIdentifier.vpp potrans/src/main/vdm/src/framework/HolAst/HolNode.vpp potrans/src/main/vdm/src/framework/HolAst/HolProductType.vpp potrans/src/main/vdm/src/framework/HolAst/HolQuantifier.vpp potrans/src/main/vdm/src/framework/HolAst/HolQuoteType.vpp potrans/src/main/vdm/src/framework/HolAst/HolRecordFieldSelection.vpp potrans/src/main/vdm/src/framework/HolAst/HolRecordType.vpp potrans/src/main/vdm/src/framework/HolAst/HolRecordUpdate.vpp potrans/src/main/vdm/src/framework/HolAst/HolReferedFunction.vpp potrans/src/main/vdm/src/framework/HolAst/HolSelect.vpp potrans/src/main/vdm/src/framework/HolAst/HolSequenceEnumeration.vpp potrans/src/main/vdm/src/framework/HolAst/HolSetComprehension.vpp potrans/src/main/vdm/src/framework/HolAst/HolSetEnumeration.vpp potrans/src/main/vdm/src/framework/HolAst/HolSetType.vpp potrans/src/main/vdm/src/framework/HolAst/HolSimpleTypeDefinition.vpp potrans/src/main/vdm/src/framework/HolAst/HolTuple.vpp potrans/src/main/vdm/src/framework/HolAst/HolType.vpp potrans/src/main/vdm/src/framework/HolAst/HolTypeDefinition.vpp potrans/src/main/vdm/src/framework/HolAst/HolTypeIdentifier.vpp potrans/src/main/vdm/src/framework/HolAst/HolUnionType.vpp potrans/src/main/vdm/src/framework/HolTypeDescription.vpp potrans/src/main/vdm/src/framework/MLExpression.vpp potrans/src/main/vdm/src/framework/NonHolExpression.vpp potrans/src/main/vdm/src/framework/ProofObligation.vpp potrans/src/main/vdm/src/translator/TranslationError.vpp potrans/src/main/vdm/src/translator/VdmHolTranslator.vpp potrans/src/test/java/org/overturetool/potrans/prep/CommandLineException.java potrans/src/test/java/org/overturetool/potrans/prep/CommandLineToolsTest.java potrans/testinput/dosort.vpp showtrace/pom.xml showtrace/src/main/java/org/overturetool/showtrace/App.java showtrace/src/test/java/org/overturetool/showtrace/AppTest.java stdlib/pom.xml stdlib/src/main/resources/META-INF/MANIFEST.MF stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/CGException.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/EvaluatePP.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/INDEX_OUT_OF_RANGE.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/NotSupportedConstructException.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/PeriodicThread.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/RANDOM.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/Record.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/Sentinel.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/Token.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/Tuple.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/UTIL$VDMCompare.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/UTIL.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/VDMRunTimeException.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/VDMSpecException.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/VDMThread.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/JavaCharStream.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/ParseException.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/Token.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/TokenMgrError.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/ValueParser$1.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/ValueParser$JJCalls.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/ValueParser$LookaheadSuccess.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/ValueParser$ParseError.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/ValueParser.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/ValueParserConstants.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/ValueParser/ValueParserTokenManager.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/quotes/append.class stdlib/src/main/resources/jp/co/csk/vdm/toolbox/VDM/quotes/start.class testgen/pom.xml testgen/src/main/java/org/overturetool/testgen/App.java testgen/src/test/java/org/overturetool/testgen/AppTest.java vdmunit/pom.xml vdmunit/src/main/java/org/overturetool/vdmunit/App.java vdmunit/src/test/java/org/overturetool/vdmunit/AppTest.java
Files for commit 87b6f827253f52bed628dd3c0dba34306730ac3c editor/pom.xml editor/src/main/java/org/overturetool/editor/App.java editor/src/test/java/org/overturetool/editor/AppTest.java umltrans/.classpath umltrans/.project umltrans/.settings/org.eclipse.jdt.core.prefs umltrans/.settings/org.maven.ide.eclipse.prefs umltrans/pom.xml umltrans/src/main/java/org/overturetool/tex/ClassExstractorFromTexFiles.java umltrans/src/main/java/org/overturetool/umltrans/IO.java umltrans/src/main/java/org/overturetool/umltrans/IOProxy.java umltrans/src/main/java/org/overturetool/umltrans/IUmlAssociation.java umltrans/src/main/java/org/overturetool/umltrans/IUmlBoolType.java umltrans/src/main/java/org/overturetool/umltrans/IUmlCharType.java umltrans/src/main/java/org/overturetool/umltrans/IUmlClass.java umltrans/src/main/java/org/overturetool/umltrans/IUmlClassNameType.java umltrans/src/main/java/org/overturetool/umltrans/IUmlClassType.java umltrans/src/main/java/org/overturetool/umltrans/IUmlClassifierTemplateParameter.java umltrans/src/main/java/org/overturetool/umltrans/IUmlConstraint.java umltrans/src/main/java/org/overturetool/umltrans/IUmlContextInfo.java umltrans/src/main/java/org/overturetool/umltrans/IUmlDefinitionBlock.java umltrans/src/main/java/org/overturetool/umltrans/IUmlDocument.java umltrans/src/main/java/org/overturetool/umltrans/IUmlField.java umltrans/src/main/java/org/overturetool/umltrans/IUmlInheritanceClause.java umltrans/src/main/java/org/overturetool/umltrans/IUmlIntegerType.java umltrans/src/main/java/org/overturetool/umltrans/IUmlLexem.java umltrans/src/main/java/org/overturetool/umltrans/IUmlModel.java umltrans/src/main/java/org/overturetool/umltrans/IUmlModelElement.java umltrans/src/main/java/org/overturetool/umltrans/IUmlMultiplicityElement.java umltrans/src/main/java/org/overturetool/umltrans/IUmlNode.java umltrans/src/main/java/org/overturetool/umltrans/IUmlOperation.java umltrans/src/main/java/org/overturetool/umltrans/IUmlOtherDefinitions.java umltrans/src/main/java/org/overturetool/umltrans/IUmlOwnedOperations.java umltrans/src/main/java/org/overturetool/umltrans/IUmlOwnedPropeties.java umltrans/src/main/java/org/overturetool/umltrans/IUmlOwnedTypes.java umltrans/src/main/java/org/overturetool/umltrans/IUmlProperty.java umltrans/src/main/java/org/overturetool/umltrans/IUmlStringType.java umltrans/src/main/java/org/overturetool/umltrans/IUmlTemplateSignature.java umltrans/src/main/java/org/overturetool/umltrans/IUmlType.java umltrans/src/main/java/org/overturetool/umltrans/IUmlUnlimitedNatural.java umltrans/src/main/java/org/overturetool/umltrans/IUmlVisibilityKind.java umltrans/src/main/java/org/overturetool/umltrans/IUmlVisitor.java umltrans/src/main/java/org/overturetool/umltrans/IUmlVoidType.java umltrans/src/main/java/org/overturetool/umltrans/Main/MainClass.java umltrans/src/main/java/org/overturetool/umltrans/Main/Translator.java umltrans/src/main/java/org/overturetool/umltrans/Oml2Vpp.java umltrans/src/main/java/org/overturetool/umltrans/Oml2VppVisitor.java umltrans/src/main/java/org/overturetool/umltrans/StdLib.java umltrans/src/main/java/org/overturetool/umltrans/TestData.java umltrans/src/main/java/org/overturetool/umltrans/Uml2Vdm.java umltrans/src/main/java/org/overturetool/umltrans/Uml2VdmTest.java umltrans/src/main/java/org/overturetool/umltrans/Uml2Xmi.java umltrans/src/main/java/org/overturetool/umltrans/Uml2XmiEATest.java umltrans/src/main/java/org/overturetool/umltrans/Uml2XmiEAxml.java umltrans/src/main/java/org/overturetool/umltrans/Uml2XmiEclipseUml.java umltrans/src/main/java/org/overturetool/umltrans/Uml2XmiEclipseUmlTest.java umltrans/src/main/java/org/overturetool/umltrans/UmlAssociation.java umltrans/src/main/java/org/overturetool/umltrans/UmlBoolType.java umltrans/src/main/java/org/overturetool/umltrans/UmlCharType.java umltrans/src/main/java/org/overturetool/umltrans/UmlClass.java umltrans/src/main/java/org/overturetool/umltrans/UmlClassNameType.java umltrans/src/main/java/org/overturetool/umltrans/UmlClassType.java umltrans/src/main/java/org/overturetool/umltrans/UmlClassifierTemplateParameter.java umltrans/src/main/java/org/overturetool/umltrans/UmlConstraint.java umltrans/src/main/java/org/overturetool/umltrans/UmlDefinitionBlock.java umltrans/src/main/java/org/overturetool/umltrans/UmlDocument.java umltrans/src/main/java/org/overturetool/umltrans/UmlField.java umltrans/src/main/java/org/overturetool/umltrans/UmlInheritanceClause.java umltrans/src/main/java/org/overturetool/umltrans/UmlIntegerType.java umltrans/src/main/java/org/overturetool/umltrans/UmlLexem.java umltrans/src/main/java/org/overturetool/umltrans/UmlModel.java umltrans/src/main/java/org/overturetool/umltrans/UmlModelElement.java umltrans/src/main/java/org/overturetool/umltrans/UmlMultiplicityElement.java umltrans/src/main/java/org/overturetool/umltrans/UmlOperation.java umltrans/src/main/java/org/overturetool/umltrans/UmlOtherDefinitions.java umltrans/src/main/java/org/overturetool/umltrans/UmlOwnedOperations.java umltrans/src/main/java/org/overturetool/umltrans/UmlOwnedPropeties.java umltrans/src/main/java/org/overturetool/umltrans/UmlOwnedTypes.java umltrans/src/main/java/org/overturetool/umltrans/UmlProperty.java umltrans/src/main/java/org/overturetool/umltrans/UmlStringType.java umltrans/src/main/java/org/overturetool/umltrans/UmlTemplateSignature.java umltrans/src/main/java/org/overturetool/umltrans/UmlType.java umltrans/src/main/java/org/overturetool/umltrans/UmlUnlimitedNatural.java umltrans/src/main/java/org/overturetool/umltrans/UmlVisibilityKind.java umltrans/src/main/java/org/overturetool/umltrans/UmlVisibilityKindQuotes.java umltrans/src/main/java/org/overturetool/umltrans/UmlVoidType.java umltrans/src/main/java/org/overturetool/umltrans/Util.java umltrans/src/main/java/org/overturetool/umltrans/Vdm2Uml.java umltrans/src/main/java/org/overturetool/umltrans/Vdm2UmlTest.java umltrans/src/main/java/org/overturetool/umltrans/Vdm2UmlTestSuite.java umltrans/src/main/java/org/overturetool/umltrans/Vdm2UmlType.java umltrans/src/main/java/org/overturetool/umltrans/Xml2UmlModel.java umltrans/src/main/java/org/overturetool/umltrans/XmlAttribute.java umltrans/src/main/java/org/overturetool/umltrans/XmlAttributeList.java umltrans/src/main/java/org/overturetool/umltrans/XmlData.java umltrans/src/main/java/org/overturetool/umltrans/XmlDoc.java umltrans/src/main/java/org/overturetool/umltrans/XmlDocument.java umltrans/src/main/java/org/overturetool/umltrans/XmlEntity.java umltrans/src/main/java/org/overturetool/umltrans/XmlEntityList.java umltrans/src/main/java/org/overturetool/umltrans/XmlEvent.java umltrans/src/main/java/org/overturetool/umltrans/XmlFactory.java umltrans/src/main/java/org/overturetool/umltrans/XmlFileOutputVisitor.java umltrans/src/main/java/org/overturetool/umltrans/XmlParser.java umltrans/src/main/java/org/overturetool/umltrans/XmlVisitor.java umltrans/src/main/java/org/overturetool/umltrans/external_IO.java umltrans/src/main/java/org/overturetool/umltrans/xml/XmlParser.java umltrans/src/test/java/org/overturetool/umltrans/AppTest.java umltrans/target/classes/org/overturetool/umltrans/App.class umltrans/target/maven-archiver/pom.properties umltrans/target/org.overturetool.umltrans-1.0.0.jar umltrans/target/surefire-reports/TEST-org.overturetool.umltrans.AppTest.xml umltrans/target/surefire-reports/org.overturetool.umltrans.AppTest.txt umltrans/target/test-classes/org/overturetool/umltrans/AppTest.class
joey-coleman commented 4 years ago

I fully support and consent to relicensing any and all of my contributions to the Overture project (and related projects that I have contributed to) under the BSD 2-clause license. Let me know if you need anything from me.

pglvdm commented 4 years ago

@peterwvj I believe that the very first commits was by some students in Delft that made the initial parser for Overture, but this is not used at all any longer...

pglvdm commented 4 years ago

Wrt the examples from some of my former students that I have added I see no need to ask them since they have only been asked if they would be willing to have their examples made public (without discussing any particular open source license).

tomooda commented 4 years ago

Thank you @nlmave for the extensive research and planning efforts. I fully agree with the plan. If some work in Japan like collecting signatures on paper by Japanese contributors is needed, please count on me.

lausdahl commented 4 years ago

I fully support the plan to move Overture to BSD two-clause for code and Creative Commons for documentation.

molar commented 4 years ago

I fully support the plan to move Overture to BSD two-clause for code and Creative Commons for documentation.

nickbattle commented 4 years ago

If this is a legitimate way to re-license our work, then I support the move.

But I am concerned that this is not permitted by copyleft licences like GPL3 - ie. you cannot produce a derived work and license that under terms that are more restrictive than GPL3, even though you own the property rights on the derivative work. But I am not an expert in these matters!

See https://opensource.org/faq#copyleft

"For example, if you write some software and release it under the GNU General Public License (a widely-used copyleft license), and then someone else modifies that software and distributes their modified version, the modified version must be licensed under the GNU GPL too — including any new code written specifically to go into the modified version."

clausbn commented 4 years ago

I fully support the plan to move Overture to BSD two-clause for code and Creative Commons for documentation.

@nickbattle: Would claim that BSD is less restrictive than GPL as it places the least stringent constraints on the users of the license.

About changing the license and the copyleft text quoted. I believe that the key here is "someone else modifies that software .." As I understand it, under GPL3 the individual contributor is the copyright holder of their contributions. So they can do what they want with their contribution.

This is why you could dual-license with one being GPLv3.

GNU specifically states that:

The GNU GPL does not give users permission to attach other licenses to the program. But the copyright holder for a program can release it under several different licenses in parallel. The license that comes in your copy, assuming it was put in by the copyright holder and that you got the copy legitimately, is the license that applies to your copy.

That would in theory be an option for Overture also. Publicly license under GPLv3 and give BSD to specific users/companies. Would require a clear contributor agreement for future contributions though.

ldcouto commented 4 years ago

I fully support moving Overture to BSD 2-clause license and consent to relicensing my contributions to Overture under BSD 2-clause license.

There is plenty of software out there that is dual-licensed, so there must be some way for Overture to do this?

nickbattle commented 4 years ago

@ldcouto I think that the original IPR owners can easily release under multiple licences, yes. But when you are derived from a GPL3 licence, even if you add IPR, I don't think it's the same situation.

As I understand it, GPL is intended to prevent you from obtaining a work (with its granted freedoms), but then not granting those same freedoms to the users of your derived work. Otherwise you could take some GPL stuff, change it and then make it proprietary (say).

But I'm not an expert!

nlmave commented 4 years ago

@nickbattle you touch upon a few very important points. First of all, I want to emphasize that I am neither a lawyer nor an IPR expert either, the proposal I made is what I learned on studying the topic, after it became clear that we have to resolve the license incompatibility issue. Everyone has to do his own due diligence on this topic. By consenting to the approach, you also confirm that you've done your own homework on the topic! As we do it in the spirit of an open source project, also this decision making should be fully public, hence this issue tracker.

Coming back to the points raised by Nick, the following aspects are relevant: (1) remember that Overture remains available under the GPL license (2) we speak about relicensing, but in fact we are making it available under a dual license model, in our case both are open source - this is perfectly viable, there are many tool vendors using this approach (I.e. AdaCore has a commercial closed source and GPL open source license for GNAT - the Gnu Ada compiler). Note there is no obligation to keep the two versions in sync; they can have different release cycles and even different content. (3) relicensing has been done before, even by very big players, see https://en.m.wikipedia.org/wiki/Software_relicensing (4) IMHO derived works only applies to code for which you do not own the copyright yourselves. In our case we are asking consent from all contributors (copyright owners) so this should cover that aspect completely. (5) our code base is poor w.r.t proper tracing of copyright and licenses - analysis with a tool such as fossology clearly shows that. There are tons of files that do not have either. Basically, all we have is the license indicator in the root of the repo and the about box of the Overture tool in eclipse. Also for the gpl case, a major overhoal of all repos is needed in order to clean it up (I.e put in spdx identifiers- see https://spdx.org/licenses/, and listing the names of all committers to date)

A few matters that should be checked by everyone: (A) does the new license model resolve the license incompatibility? Can BSD two-clause really be used in combination with all other licenses that are used in Overture? What are these licenses exactly? (B) we should insist on a policy for new contributions; do we only accept pull requests if and only if the code is also provided in BSD/CC?

nickbattle commented 4 years ago

There is a lot of (confusing) material out there about open source licensing. One of the clearest I've found is Eric Raymond's Licensing HOWTO, in particular the section about changing licences: http://www.catb.org/~esr/Licensing-HOWTO.html#changing

To summarise my understanding of what this section is saying, if we eliminate all the cases that don't apply to Overture then we are left with the "no other copyright holder could be harmed by the change" argument. This basically says that, while it would not strictly be permitted to (say) relicense a copyleft work under a non-copyleft licence, in order to prosecute, the original licence holder would have to prove harm. And unless they have registered the copyright, that would be very difficult indeed.

So it seems to be saying that "we can't really do this, but in practice we can", given that the original copyright holder (Fujitsu) will not have registered the copyright and will be unaware that VDMJ exists.

Note: I do not know whether Fujitsu have registered their copyright, but I would be very surprised if they had, since they are not interested in the technical area that VDMJ relates to.

There are still questions, and the HOWTO sensibly says that you should take legal advice if you need to. Luckily, assuming Overture is partly copyrighted by Aarhus and/or Newcastle universities, they presumably have access to legal advice to defend their institutions' intellectual property?

nlmave commented 4 years ago

Now I am confused. Why do you refer to VDMJ at all? I specifically wrote that the VDMJ license remains as-is. So we will not relicense VDMJ, just all other parts of Overture. Perhaps I am missing something?

nickbattle commented 4 years ago

Fujitsu are the original rights holders for VDMJ. So the copyrights that are embedded in VDMJ should be propagated to the derived work, and still have effect there. The reason we can't just do whatever we like with Overture is that Fujitsu still have those rights.

I agree we're not re-licensing VDMJ. But what is permitted in re-licensing Overture is affected by VDMJ's license terms - ie. the rules of GPL.

This is all "as I understand it", of course :-)

nlmave commented 4 years ago

VDMJ is a standalone tool so why is it relevant at all in this discussion? Why is overture, in your opinion, a derived work?

nickbattle commented 4 years ago

Overture is a derived work of VDMJ, partly because it directly includes many of the original sources (complete with the VDMJ copyright statements) and partly because even in the places where the original VDMJ heritage is quite obscure - because of the visitor re-structuring - the original VDMJ "logic" is clearly there. A comparison of these with VDMJ shows that the same processing is performed in the same order, with the same checks. One is in a visitor method like "caseAValueDefinition", and the other is in a separate class like TCValueDefinition; but the logic is the same.

Obviously the folk who wrote the visitors copied the corresponding VDMJ classes, but re-wrote them to use the visitor infrastructure support. This is still a derivative, as I understand it.

If you look under the "core" directory (which is the central logic of the system), there are 304 files that still include the VDMJ copyright statement directly (of 2366 Java files in total), many of which are virtually unchanged. This includes files within the AST, the typechecker, the interpreter, the POG, combinatorial testing and the code generator.

So Overture is a derived work. There are VDMJ fingerprints everywhere.

Why do you think it's not a derived work (if that's your opinion)?

nlmave commented 4 years ago

The premise to this plan was that the link between VDMJ and Overture is far less intertwined and far more localised than what you rightly point out. In fact, I now doubt it is feasible, at least not without consent from Fujitsu, as they own a significant part of the copyrights.

We should now (1) make a list which Overture Eclipse plugins rely on VDMJ code, either directly or in a significant form (2) make a list of all other external libraries we use in building the Overture Eclipse plugins, and their license models (3) check in which plugins we have license conflicts based on the above

Witout this analysis, we cannot continue. We have to better understand the situation before we can decide if the plan is feasible or if alternate routes should be considered.

kgpierce commented 4 years ago

This just reminded me of the discussion in Oxford, where I think the outcome was that we needed to get everything clear since we need to eventually approach Fujitsu. It still seems useful if all other developers have consented in the meantime however.

nickbattle commented 4 years ago

This probably won't help much because it is significantly out of date, but I just came across an old ZIP file from 2013, when we last considered this issue. It attempts to list the files in Overture (of that time) which are (a) FJ copyright, (b) Overture copyright and (c) both - I don't remember how the lists were made, but it looks like (say) the FJ copyright files have an FJ copyright header and do not include any Overture type imports.

But it's quite a bit out of date. Several of the files it refers to no longer exist. And this probably isn't sufficient anyway since the Overture visitors, for example, are derived from VDMJ code even if they are new files that aren't in VDMJ.

@pglvdm Do you have email archives back to 2013? If so, does that say any more about what we were doing this for?

codelicenses.zip

nickbattle commented 4 years ago

I've been through the Overture sources, trying to work out which files are derived from VDMJ and which are not. To do this, I made the following assumptions:

The summary is as follows: Number of Java files: 2078 Number of VDMJ copyrighted files: 435 Number of not-FJ-copyrighted assistant related files: 204 Number of not-FJ-copyrighted or assistant Overture IPR files: 1439

The detailed result for each directory are in the following CSV file (open it as a spreadsheet): FJresults.csv.txt

nlmave commented 4 years ago

Thanks Nick, this is very useful analysis. Next step should be to find out in which Overture plugins these 435 VDMJ copyrighted files end up in. Its a long time ago I built overture, but I suppose this shouldn't be to hard?

nickbattle commented 4 years ago

Yes, that's very easy - it's just the entries in the CSV file that don't contain "OVERTURE" (so that's anything that has any sort of VDMJ content, including the assistants). The plugin name is then just part of the source filename. That gives:

core/ast
core/codegen/codegen-runtime
core/combinatorialtesting/ctruntime
core/interpreter
core/parser
core/pog
core/typechecker
ide/debug
ide/plugins/combinatorialtesting
nlmave commented 2 years ago

This issue has not moved forward for a long time. Reading back the issue history, we cannot move unless Futjisu is willing to help us. Is it an option to send them a request to formally transfer copyright to the Into-cps foundation, as an in kind contribution, and meanwhile allowing us to dual license, so the Overture license change is no longer blocked? In that way we can move forward, with what we have. Just a thought to get this rebooted.

nickbattle commented 2 years ago

Given that the future seems to be a VSCode/LSP platform (for Overture "4", let's say), and that the VSCode licensing is perfectly happy to allow GPLv3 licensed extensions, shouldn't we just let the Eclipse Overture licensing issue lapse?

Unless they have had a policy change since I left, Fujitsu will not make an "in kind" contribution of IPR unless we offer something in return. This was an explicit company policy - don't give away IPR. We can ask, but that will just attract the attention of their legal team, and that means a lot of work. For what gain, if the Eclipse platform is dying?

nlmave commented 2 years ago

Eclipse won't die. VScode is an interesting development but not anywhere near as robust and complete. After VDMTools, then Eclipse and now VScode. History repeats itself every decade or so. And 100% webbased will be next - surely. But we digres.

The license issue is affecting Overture, Crescendo, Symphony and I suppose also INTO-CPS (albeit unsure about the last one).

Since we know that vdmj and Overture code have intertwined, there are a few options left.

1) we do nothing 2) we remove all vdmj code from Overture, and replace it / refactor the code 3) we move all other Overture code to gpl v3 - to make it uniform at least 4) negotiate the ipr and license of vdmj

The main stakeholder for this license change is the into-cps, am I correct? Perhaps they should indicate what they want. Most companies are reluctant to use gplv3 licensed code, unless used fully in isolation, as a stand-alone application. VScode won't change that.

In any case, it makes no sense to keep this ticket open. I propose we close it, if no decision is reached by the end of 2021.

nlmave commented 2 years ago

As discussed in overture core Netmeeting of 7 Nov 2021, see https://github.com/overturetool/overturetool.github.io/blob/master/_netmeetings/Net-Meeting-130.md.

Some parts of the code based are based on VDMJ for which the IPR is owned by Fujitsu. It is not deemed credible that they would support the re-licencing. Replacement of these code elements is not feasible as there are no resources available in our open source project to take this forward.

So the conclusion drawn at the Netmeeting, supported by those present, is to close this ticket with no tangible result (scenario 1 in https://github.com/overturetool/overture/issues/705#issuecomment-955812418)