| <!--
|
| Copyright (c) 2023 Willink Transformations and others.
|
|
|
| This program and the accompanying materials
|
| are made available under the terms of the Eclipse Public License 2.0
|
| which accompanies this distribution, and is available at
|
| https://www.eclipse.org/legal/epl-2.0/
|
|
|
| SPDX-License-Identifier: EPL-2.0
|
|
|
| Contributors:
|
| E.D.Willink - initial API and implementation
|
| --> |
| <toc label="OCL Documentation">
|
| <topic href="help/OverviewandGettingStarted.html" label="Overview and Getting Started">
|
| <topic href="help/OverviewandGettingStarted.html#WhatisOCL" label="What is OCL?"></topic>
|
| <topic href="help/HowDoesItWork.html" label="How Does It Work?">
|
| <topic href="help/HowDoesItWork.html#Editing" label="Editing"></topic>
|
| <topic href="help/HowDoesItWork.html#Execution" label="Execution"></topic>
|
| <topic href="help/HowDoesItWork.html#Debugging" label="Debugging"></topic>
|
| <topic href="help/HowDoesItWork.html#Testing" label="Testing"></topic>
|
| </topic>
|
| <topic href="help/EclipseOCLisExtensible.html" label="Eclipse OCL is Extensible"></topic>
|
| <topic href="help/WhoUsesOCLandEclipseOCL.html" label="Who Uses OCL and Eclipse OCL?"></topic>
|
| <topic href="help/WhoisBehindEclipseOCL.html" label="Who is Behind Eclipse OCL?"></topic>
|
| <topic href="help/GettingStarted.html" label="Getting Started"></topic>
|
| </topic>
|
| <topic href="help/UsersGuide.html" label="Users Guide">
|
| <topic href="help/UsersGuide.html#EclipseOCLs" label="The two Eclipse OCLs">
|
| <topic href="help/UsersGuide.html#TheClassicEclipseOCLmetamodels" label="The Classic Eclipse OCL metamodels"></topic>
|
| <topic href="help/UsersGuide.html#TheUnifiedorPivotEclipseOCLmetamodel" label="The Unified or Pivot Eclipse OCL metamodel"></topic>
|
| <topic href="help/UsersGuide.html#Thetransition" label="The transition"></topic>
|
| <topic href="help/UsersGuide.html#Migration" label="Migration">
|
| <topic href="help/UsersGuide.html#Language" label="Language"></topic>
|
| <topic href="help/UsersGuide.html#ASModels" label="AS Models"></topic>
|
| <topic href="help/UsersGuide.html#CSModels" label="CS Models"></topic>
|
| <topic href="help/UsersGuide.html#TheOCLFacade" label="The OCL Facade"></topic>
|
| <topic href="help/UsersGuide.html#TheOCLArchitecture" label="The OCL Architecture"></topic>
|
| </topic>
|
| <topic href="help/UsersGuide.html#APIs" label="APIs">
|
| <topic href="help/UsersGuide.html#ToolAPIs" label="Tool APIs"></topic>
|
| <topic href="help/UsersGuide.html#InternalAPIs" label="Internal APIs"></topic>
|
| <topic href="help/UsersGuide.html#Versions" label="Versions"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/EssentialOCL.html" label="The Essential OCL Language">
|
| <topic href="help/EssentialOCL.html#Syntax" label="Syntax">
|
| <topic href="help/EssentialOCL.html#GrammarImplementation" label="Grammar Implementation"></topic>
|
| <topic href="help/EssentialOCL.html#GrammarApproach" label="Grammar Approach"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-Exp" label="OCL Expression"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-PrimaryExp" label="PrimaryExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-SelfExp" label="SelfExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-PrimitiveLiteralExp" label="PrimitiveLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-NumberLiteralExp" label="NumberLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-StringLiteralExp" label="StringLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-BooleanLiteralExp" label="BooleanLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-UnlimitedNaturalLiteralExp" label="UnlimitedNaturalLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-InvalidLiteralExp" label="InvalidLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-NullLiteralExp" label="NullLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-CollectionLiteralExp" label="CollectionLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-CollectionLiteralPart" label="CollectionLiteralPart"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-TupleLiteralExp" label="TupleLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-TupleLiteralPart" label="TupleLiteralPart"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-TypeLiteralExp" label="TypeLiteralExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-NestedExp" label="NestedExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-IfExp" label="IfExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-LetExp" label="LetExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-NameExp" label="NameExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-IndexExp" label="IndexExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-NavigatingExp" label="NavigatingExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-NavigatingArg" label="NavigatingArg"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-PrefixedExp" label="PrefixedExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-InfixedExp" label="InfixedExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-NavigationOperators" label="NavigationOperators"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-TypeExp" label="TypeExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-TypeNameExp" label="TypeNameExp"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-TypeLiteral" label="TypeLiteral"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-PrimitiveType" label="PrimitiveType"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-CollectionType" label="CollectionType"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-TupleType" label="TupleType"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-TuplePart" label="TuplePart"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-UnreservedName" label="UnreservedName"></topic>
|
| <topic href="help/EssentialOCL.html#EssentialOCL-UnrestrictedName" label="UnrestrictedName"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/OCLinEcore.html" label="The OCLinEcore Language">
|
| <topic href="help/OCLinEcore.html#Syntax2" label="Syntax">
|
| <topic href="help/OCLinEcore.html#GrammarImplementation2" label="Grammar Implementation"></topic>
|
| <topic href="help/OCLinEcore.html#Module" label="Module"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Package" label="Package"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Classifier" label="Classifier"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-DataType" label="DataType"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Enumeration" label="Enumeration"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-EnumerationLiteral" label="EnumerationLiteral"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Class" label="Class"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-StructuralFeature" label="StructuralFeature"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Attribute" label="Attribute"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Reference" label="Reference"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Operation" label="Operation"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Parameter" label="Parameter"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-TypeRef" label="Types"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Annotations" label="AnnotationElement"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Annotation" label="Annotation"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Detail" label="Detail"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Documentation" label="Documentation"></topic>
|
| <topic href="help/OCLinEcore.html#OCLinEcore-Constraint" label="Constraints"></topic>
|
| <topic href="help/OCLinEcore.html#Terminals" label="Terminals"></topic>
|
| <topic href="help/OCLinEcore.html#Names" label="Names"></topic>
|
| <topic href="help/OCLinEcore.html#Comments" label="Comments"></topic>
|
| </topic>
|
| <topic href="help/OCLinEcore.html#Limitations" label="Limitations"></topic>
|
| </topic>
|
| <topic href="help/CompleteOCL.html" label="The Complete OCL Language">
|
| <topic href="help/CompleteOCL.html#Syntax3" label="Syntax">
|
| <topic href="help/CompleteOCL.html#GrammarImplementation3" label="Grammar Implementation"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Document" label="Complete OCL Document"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-PackageDeclaration" label="PackageDeclaration"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-ContextDecl" label="ContextDecl"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-ClassifierContextDecl" label="ClassifierContextDecl"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Def" label="Def"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Inv" label="Inv"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-OperationContextDecl" label="OperationContextDecl"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Parameter" label="Parameter"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Body" label="Body"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Post" label="Post"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Pre" label="Pre"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-PropertyContextDecl" label="PropertyContextDecl"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Init" label="Init"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Der" label="Der"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-Specification" label="Specification"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-NavigatingExp" label="NavigatingExp"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-NavigationOperators" label="NavigationOperators"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-UnreservedName" label="UnreservedName"></topic>
|
| <topic href="help/CompleteOCL.html#CompleteOCL-UnrestrictedName" label="UnrestrictedName"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/OCLstdlib.html" label="The OCL Standard Library Language">
|
| <topic href="help/OCLstdlib.html#Syntax4" label="Syntax">
|
| <topic href="help/OCLstdlib.html#GrammarImplementation4" label="Grammar Implementation"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Library" label="OCL Standard Library Document"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Precedence" label="Precedence"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Package" label="Package"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Classifier" label="Class and Classifier"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Inv" label="Inv"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Operation" label="Operation"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-LibOperation" label="LibOperation"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-LibIteration" label="LibIteration"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Iterator" label="Iterator"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Accumulator" label="Accumulator"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Parameter" label="Parameter"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Pre" label="Pre"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Post" label="Post"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Property" label="LibProperty"></topic>
|
| <topic href="help/OCLstdlib.html#OCLstdlib-Specification" label="Specification"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/Editors.html" label="Editors">
|
| <topic href="help/Editors.html#Syntaxcoloring" label="Syntax coloring"></topic>
|
| <topic href="help/Editors.html#Validation" label="Validation"></topic>
|
| <topic href="help/Editors.html#HoverText" label="Hover Text"></topic>
|
| <topic href="help/Editors.html#ContentAssist" label="Content Assist"></topic>
|
| <topic href="help/Editors.html#CodeTemplates" label="Code Templates"></topic>
|
| <topic href="help/Editors.html#OpenDeclaration" label="Open Declaration"></topic>
|
| </topic>
|
| <topic href="help/NatureAndBuilder.html" label="OCL Nature and Builder Auto-Validation">
|
| <topic href="help/NatureAndBuilder.html#OCLbuilderConfiguration" label="Configuring the OCL Nature and Builder"></topic>
|
| <topic href="help/NatureAndBuilder.html#EcoreAndUMLautoValidation" label="Ecore and UML Auto-Validation"></topic>
|
| <topic href="help/NatureAndBuilder.html#NoNature" label="Building on pre-Photon / 2018 releases"></topic>
|
| </topic>
|
| <topic href="help/InteractiveOCL.html" label="Console">
|
| <topic href="help/InteractiveOCL.html#ContextObjectSelection" label="Context Object Selection"></topic>
|
| <topic href="help/InteractiveOCL.html#Editing2" label="Editing"></topic>
|
| <topic href="help/InteractiveOCL.html#EditorKeys" label="Editor Keys"></topic>
|
| <topic href="help/InteractiveOCL.html#Results" label="Results"></topic>
|
| <topic href="help/InteractiveOCL.html#ToolBar" label="Tool Bar">
|
| <topic href="help/InteractiveOCL.html#EcoreUMLbinding" label="Ecore/UML binding"></topic>
|
| <topic href="help/InteractiveOCL.html#M1M2" label="M1/M2"></topic>
|
| <topic href="help/InteractiveOCL.html#ClearConsole" label="Clear Console"></topic>
|
| <topic href="help/InteractiveOCL.html#CloseConsole" label="Close Console"></topic>
|
| <topic href="help/InteractiveOCL.html#Debug" label="Debug"></topic>
|
| <topic href="help/InteractiveOCL.html#LoadSaveanexpression" label="Load/Save an expression"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/ValidityView.html" label="Validity View (new in Luna)">
|
| <topic href="help/ValidityView.html#ValidityViewToolBar" label="View Tool Bar">
|
| <topic href="help/ValidityView.html#ExpandAll" label="Expand All"></topic>
|
| <topic href="help/ValidityView.html#CollapseAll" label="Collapse All"></topic>
|
| <topic href="help/ValidityView.html#Pin" label="Pin"></topic>
|
| <topic href="help/ValidityView.html#Refresh" label="Refresh"></topic>
|
| <topic href="help/ValidityView.html#Run" label="Run"></topic>
|
| <topic href="help/ValidityView.html#Filter" label="Filter"></topic>
|
| <topic href="help/ValidityView.html#Save" label="Save">
|
| <topic href="help/ValidityView.html#html" label="html"></topic>
|
| <topic href="help/ValidityView.html#model" label="model"></topic>
|
| <topic href="help/ValidityView.html#text" label="text"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/ValidityView.html#ValidityViewModelElementsPane" label="Model Elements Pane">
|
| <topic href="help/ValidityView.html#ValidityViewModelElementsToolBar" label="Model Elements Tool Bar">
|
| <topic href="help/ValidityView.html#ExpandAll2" label="Expand All"></topic>
|
| <topic href="help/ValidityView.html#CollapseAll2" label="Collapse All"></topic>
|
| <topic href="help/ValidityView.html#EnableAll" label="Enable All"></topic>
|
| <topic href="help/ValidityView.html#DisableAll" label="Disable All"></topic>
|
| <topic href="help/ValidityView.html#ShowHidedisabled" label="Show/Hide disabled"></topic>
|
| </topic>
|
| <topic href="help/ValidityView.html#TextFilter" label="Text Filter"></topic>
|
| <topic href="help/ValidityView.html#ModelElementstree" label="Model Elements tree"></topic>
|
| <topic href="help/ValidityView.html#ModelElementsContextMenu" label="Model Elements Context Menu">
|
| <topic href="help/ValidityView.html#ValidateSelection" label="Validate Selection"></topic>
|
| <topic href="help/ValidityView.html#DebugSingleEnabledSelection" label="Debug Single Enabled Selection"></topic>
|
| <topic href="help/ValidityView.html#ShowinEditor" label="Show in Editor"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/ValidityView.html#ValidityViewMetamodelConstraintsPane" label="Metamodel Constraints Pane">
|
| <topic href="help/ValidityView.html#ValidityViewMetamodelConstraintsToolBar" label="Metamodel Constraints Tool Bar">
|
| <topic href="help/ValidityView.html#ExpandAll3" label="Expand All"></topic>
|
| <topic href="help/ValidityView.html#CollapseAll3" label="Collapse All"></topic>
|
| <topic href="help/ValidityView.html#EnableAll2" label="Enable All"></topic>
|
| <topic href="help/ValidityView.html#DisableAll2" label="Disable All"></topic>
|
| <topic href="help/ValidityView.html#ShowHidedisabled2" label="Show/Hide disabled"></topic>
|
| </topic>
|
| <topic href="help/ValidityView.html#TextFilter2" label="Text Filter"></topic>
|
| <topic href="help/ValidityView.html#MetamodelConstraintstree" label="Metamodel Constraints tree"></topic>
|
| <topic href="help/ValidityView.html#MetamodelConstraintsContextMenu" label="Metamodel Constraints Context Menu">
|
| <topic href="help/ValidityView.html#ValidateSelection2" label="Validate Selection"></topic>
|
| <topic href="help/ValidityView.html#DebugSingleEnabledSelection2" label="Debug Single Enabled Selection"></topic>
|
| <topic href="help/ValidityView.html#ShowinEditor2" label="Show in Editor"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/ValidityView.html#ConstraintLocators" label="Constraint Locators">
|
| <topic href="help/ValidityView.html#org.eclipse.ocl.examples.emf.validation.validity.locator.EClassConstraintLocator" label="org.eclipse.ocl.examples.emf.validation.validity.locator.EClassConstraintLocator"></topic>
|
| <topic href="help/ValidityView.html#org.eclipse.ocl.examples.emf.validation.validity.locator.EValidatorConstraintLocator" label="org.eclipse.ocl.examples.emf.validation.validity.locator.EValidatorConstraintLocator"></topic>
|
| <topic href="help/ValidityView.html#org.eclipse.ocl.examples.validity.locator.DelegateUIConstraintLocator" label="org.eclipse.ocl.examples.validity.locator.DelegateUIConstraintLocator"></topic>
|
| <topic href="help/ValidityView.html#org.eclipse.ocl.examples.validity.locator.PivotUIConstraintLocator" label="org.eclipse.ocl.examples.validity.locator.PivotUIConstraintLocator"></topic>
|
| <topic href="help/ValidityView.html#org.eclipse.ocl.examples.validity.locator.UMLUIConstraintLocator" label="org.eclipse.ocl.examples.validity.locator.UMLUIConstraintLocator"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/Debugger.html" label="Debugger (new in Luna)">
|
| <topic href="help/Debugger.html#Launching" label="Launching">
|
| <topic href="help/Debugger.html#Selectedmodelobjectandmanuallyenteredexpression" label="Selected model object and manually entered expression"></topic>
|
| <topic href="help/Debugger.html#Selectedmodelobjectconstraintcombination" label="Selected model object/constraint combination"></topic>
|
| <topic href="help/Debugger.html#Selectedmodelobjectandselectedconstraint" label="Selected model object and selected constraint"></topic>
|
| </topic>
|
| <topic href="help/Debugger.html#Stepping" label="Stepping">
|
| <topic href="help/Debugger.html#StepInto" label="Step Into"></topic>
|
| <topic href="help/Debugger.html#StepOver" label="Step Over"></topic>
|
| <topic href="help/Debugger.html#StepReturn" label="Step Return"></topic>
|
| <topic href="help/Debugger.html#Resume" label="Resume"></topic>
|
| </topic>
|
| <topic href="help/Debugger.html#VariablesView" label="Variables View"></topic>
|
| <topic href="help/Debugger.html#BreakpointsView" label="Breakpoints View"></topic>
|
| <topic href="help/Debugger.html#OutlineView" label="Outline View"></topic>
|
| </topic>
|
| <topic href="help/Integration.html" label="OCL Integration">
|
| <topic href="help/Integration.html#Integration-OCLinEcore" label="OCL execution in Ecore / EMF Delegates"></topic>
|
| <topic href="help/Integration.html#Integration-Messages" label="Custom Validation Messages">
|
| <topic href="help/Integration.html#Underlyingsupport" label="Underlying support"></topic>
|
| <topic href="help/Integration.html#Editorsyntax" label="Editor syntax"></topic>
|
| </topic>
|
| <topic href="help/Integration.html#Integration-CompleteOCL" label="CompleteOCL Validation">
|
| <topic href="help/Integration.html#BrowseRegisteredOCLFiles..." label="Browse Registered OCL Files..."></topic>
|
| <topic href="help/Integration.html#BrowseFileSystem..." label="Browse File System..."></topic>
|
| <topic href="help/Integration.html#BrowseWorkspace..." label="Browse Workspace..."></topic>
|
| </topic>
|
| <topic href="help/Integration.html#OCLinEcoreforXtextValidation" label="OCLinEcore for Xtext Validation"></topic>
|
| <topic href="help/Integration.html#CompleteOCLforXtextValidation" label="Complete OCL for Xtext Validation"></topic>
|
| </topic>
|
| <topic href="help/OCLinPapyrus.html" label="OCL in UML (using Papyrus)">
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-UML-integration" label="UML Integration"></topic>
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-Class-Diagram" label="Class Diagram">
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-Class-Invariant" label="Class Invariant"></topic>
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-Operation-Constraints" label="Operation Precondition, Postcondition and Body"></topic>
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-Property-Initializers" label="Property Initializers"></topic>
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-Profile-Constraint" label="Profile Constraint"></topic>
|
| </topic>
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-StateMachine-Diagram" label="State Machine Diagram">
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-State-Constraint" label="Statemachine Constraint"></topic>
|
| <topic href="help/OCLinPapyrus.html#OCLinPapyrus-Transition-Guard" label="Statemachine Transition Guard"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/OCLExamplesforUML.html" label="OCL Constraint Examples for UML (using Papyrus)">
|
| <topic href="help/OCLExamplesforUML.html#OCLM1Constraints" label="Model Constraints">
|
| <topic href="help/OCLExamplesforUML.html#SimpleMetamodel" label="Simple Metamodel"></topic>
|
| <topic href="help/OCLExamplesforUML.html#ScalarConstraints" label="Scalar Constraints">
|
| <topic href="help/OCLExamplesforUML.html#NameIsAlphabetic" label="NameIsAlphabetic"></topic>
|
| <topic href="help/OCLExamplesforUML.html#NoSelfPartnership" label="NoSelfPartnership"></topic>
|
| </topic>
|
| <topic href="help/OCLExamplesforUML.html#CollectionConstraints" label="Collection Constraints">
|
| <topic href="help/OCLExamplesforUML.html#EachChildHasTwoParents" label="EachChildHasTwoParents"></topic>
|
| <topic href="help/OCLExamplesforUML.html#AcyclicAncestry" label="AcyclicAncestry"></topic>
|
| <topic href="help/OCLExamplesforUML.html#EachChildsParentsArePartners" label="EachChildsParentsArePartners"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/OCLExamplesforUML.html#OCLM2Constraints" label="Profile Constraints">
|
| <topic href="help/OCLExamplesforUML.html#ExampleProfile" label="Example Profile"></topic>
|
| <topic href="help/OCLExamplesforUML.html#ExampleProfiledModel" label="Example Profiled Model">
|
| <topic href="help/OCLExamplesforUML.html#MaleOrFemale" label="MaleOrFemale"></topic>
|
| <topic href="help/OCLExamplesforUML.html#GenderIsRequired" label="GenderIsRequired"></topic>
|
| <topic href="help/OCLExamplesforUML.html#CatholicPriestsAreMale" label="CatholicPriestsAreMale"></topic>
|
| <topic href="help/OCLExamplesforUML.html#AtMostOnePriesthood" label="AtMostOnePriesthood"></topic>
|
| <topic href="help/OCLExamplesforUML.html#notEmpty" label="-_gt_notEmpty()"></topic>
|
| </topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/UserInterface.html" label="User Interface">
|
| <topic href="help/UserInterface.html#PropertyPages" label="Project Property Pages"></topic>
|
| <topic href="help/UserInterface.html#PreferencePages" label="Workspace Preference Pages"></topic>
|
| <topic href="help/UserInterface.html#OverallOptions" label="Overall Options">
|
| <topic href="help/UserInterface.html#DefaultDelegationMode" label="Default Delegation Mode">
|
| <topic href="help/UserInterface.html#LPGDelegation" label="http://www.eclipse.org/emf/2002/Ecore/OCL/LPG"></topic>
|
| <topic href="help/UserInterface.html#PivotDelegation" label="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"></topic>
|
| <topic href="help/UserInterface.html#DefaultDelegation" label="http://www.eclipse.org/emf/2002/Ecore/OCL"></topic>
|
| </topic>
|
| <topic href="help/UserInterface.html#CodeGenerationMode" label="Code Generation Mode">
|
| <topic href="help/UserInterface.html#CodeGenerationMode-DELEGATED" label="Delegate for interpretation at run-time"></topic>
|
| <topic href="help/UserInterface.html#CodeGenerationMode-GENERATED" label="Generate Java code in xxxBodies classes"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/UserInterface.html#EcoreUMLOptions" label="Ecore and UML Options"></topic>
|
| <topic href="help/UserInterface.html#UMLOptions" label="UML Options"></topic>
|
| <topic href="help/UserInterface.html#ModelRegistry" label="Model Registry"></topic>
|
| <topic href="help/UserInterface.html#SyntaxColoring" label="Syntax Coloring"></topic>
|
| <topic href="help/UserInterface.html#EditorTemplates" label="Editor Templates"></topic>
|
| <topic href="help/UserInterface.html#OCLinEcoreOptions" label="OCLinEcore Options"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/StandardLibrary.html" label="The OCL Standard Library">
|
| <topic href="help/StandardLibrary.html#Precedences" label="Precedences"></topic>
|
| <topic href="help/Bag.html" label="Bag(T)"></topic>
|
| <topic href="help/Boolean.html" label="Boolean"></topic>
|
| <topic href="help/Class.html" label="Class"></topic>
|
| <topic href="help/Collection.html" label="Collection(T)"></topic>
|
| <topic href="help/Enumeration.html" label="Enumeration"></topic>
|
| <topic href="help/EnumerationLiteral.html" label="EnumerationLiteral"></topic>
|
| <topic href="help/Integer.html" label="Integer"></topic>
|
| <topic href="help/Map.html" label="Map(K, V)"></topic>
|
| <topic href="help/OclAny.html" label="OclAny"></topic>
|
| <topic href="help/OclComparable.html" label="OclComparable"></topic>
|
| <topic href="help/OclElement.html" label="OclElement"></topic>
|
| <topic href="help/OclEnumeration.html" label="OclEnumeration"></topic>
|
| <topic href="help/OclInvalid.html" label="OclInvalid"></topic>
|
| <topic href="help/OclLambda.html" label="OclLambda"></topic>
|
| <topic href="help/OclMessage.html" label="OclMessage"></topic>
|
| <topic href="help/OclSelf.html" label="OclSelf"></topic>
|
| <topic href="help/OclState.html" label="OclState"></topic>
|
| <topic href="help/OclStereotype.html" label="OclStereotype"></topic>
|
| <topic href="help/OclSummable.html" label="OclSummable"></topic>
|
| <topic href="help/OclTuple.html" label="OclTuple"></topic>
|
| <topic href="help/OclType.html" label="OclType"></topic>
|
| <topic href="help/OclVoid.html" label="OclVoid"></topic>
|
| <topic href="help/OrderedCollection.html" label="OrderedCollection(T)"></topic>
|
| <topic href="help/OrderedSet.html" label="OrderedSet(T)"></topic>
|
| <topic href="help/Real.html" label="Real"></topic>
|
| <topic href="help/Sequence.html" label="Sequence(T)"></topic>
|
| <topic href="help/Set.html" label="Set(T)"></topic>
|
| <topic href="help/State.html" label="State"></topic>
|
| <topic href="help/String.html" label="String"></topic>
|
| <topic href="help/Type.html" label="Type"></topic>
|
| <topic href="help/UniqueCollection.html" label="UniqueCollection(T)"></topic>
|
| <topic href="help/UnlimitedNatural.html" label="UnlimitedNatural"></topic>
|
| </topic>
|
| <topic href="help/Tutorials.html" label="Tutorials">
|
| <topic href="help/Tutorials.html#OCLinEcoreTutorial" label="OCLinEcore tutorial">
|
| <topic href="help/Tutorials.html#Overview" label="Overview"></topic>
|
| <topic href="help/Tutorials.html#References" label="References"></topic>
|
| <topic href="help/Tutorials.html#OCLinEcoreTutorial-Installation" label="Installing the Eclipse OCL Examples"></topic>
|
| <topic href="help/Tutorials.html#Troubleshooting" label="Troubleshooting"></topic>
|
| <topic href="help/Tutorials.html#UsingtheOCLinEcoretexteditorforEcore" label="Using the OCLinEcore text editor for Ecore">
|
| <topic href="help/Tutorials.html#CreateaNewEMFProject" label="Create a New EMF Project"></topic>
|
| <topic href="help/Tutorials.html#ConverttoanOCLProject" label="Convert to an OCL Project"></topic>
|
| <topic href="help/Tutorials.html#CreateaNewEcoreModel" label="Create a New Ecore Model"></topic>
|
| <topic href="help/Tutorials.html#OCLinEcoreMetamodel" label="Edit Ecore Model as OCLinEcore"></topic>
|
| <topic href="help/Tutorials.html#TheTutorialMetaModel" label="The Tutorial Meta-Model"></topic>
|
| </topic>
|
| <topic href="help/Tutorials.html#CreateaDynamicModelInstance" label="Create a Dynamic Model Instance"></topic>
|
| <topic href="help/Tutorials.html#EnrichthemetamodelwithOCL" label="Enrich the meta-model with OCL"></topic>
|
| <topic href="help/Tutorials.html#OCLinEcoreTutorial-Console" label="The OCL Console"></topic>
|
| <topic href="help/Tutorials.html#OCLinEcoreTutorialHelpers" label="Helper Features and Operations"></topic>
|
| <topic href="help/Tutorials.html#OCLinEcoreTutorial-genmodel" label="Generating Java Code">
|
| <topic href="help/Tutorials.html#JavaDetails" label="Java Details"></topic>
|
| <topic href="help/Tutorials.html#APIInvariants" label="API Invariants"></topic>
|
| </topic>
|
| <topic href="help/Tutorials.html#Summary" label="Summary"></topic>
|
| </topic>
|
| <topic href="help/CompleteOCLTutorial.html" label="Complete OCL tutorial">
|
| <topic href="help/CompleteOCLTutorial.html#Overview2" label="Overview"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#CompleteOCLUtility" label="Complete OCL Utility"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#LoadCompleteOCLTutorialExampleProject" label="Load Complete OCL Tutorial Example Project"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#CompleteOCLTutorial-language" label="Complete OCL Language Overview">
|
| <topic href="help/CompleteOCLTutorial.html#importdeclarations" label="import declarations"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#packagecontextdeclaration" label="package context declaration"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#classifiercontextdeclaration" label="classifier context declaration"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#featuredefinitions" label="feature definitions"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#classinvariants" label="class invariants"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#custommessages" label="custom messages"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#operationandpropertycontextdeclarations" label="operation and property context declarations"></topic>
|
| </topic>
|
| <topic href="help/CompleteOCLTutorial.html#LoadCompleteOCLResource" label="OCL-_gt_Load Document Menu Action"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#CompleteOCLTutorial-EcoreComplements" label="Example Complete OCL complements for Ecore">
|
| <topic href="help/CompleteOCLTutorial.html#DerivationIsVolatile" label="DerivationIsVolatile"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#DerivationIsTransient" label="DerivationIsTransient"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#DerivationIsNotComposed" label="DerivationIsNotComposed"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#DerivationWithOppositeHasOppositeDerivation" label="DerivationWithOppositeHasOppositeDerivation"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#DerivationIsUninitialized" label="DerivationIsUninitialized"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#DerivationDoesNotResolveProxies" label="DerivationDoesNotResolveProxies"></topic>
|
| </topic>
|
| <topic href="help/CompleteOCLTutorial.html#CompleteOCLTutorial-EcoreValidation" label="Validating Ecore with additional Complete OCL"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#CompleteOCLTutorial-Updating" label="Editing the Complete OCL"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#CompleteOCLTutorial-UMLComplements" label="Example Complete OCL complements for UML"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#CompleteOCLTutorial-XtextComplements" label="Example Complete OCL complements for Xtext">
|
| <topic href="help/CompleteOCLTutorial.html#NoAnonymousImports" label="NoAnonymousImports"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#NoActions" label="NoActions"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#CamelCaseName" label="CamelCaseName"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#UpperName" label="UpperName"></topic>
|
| </topic>
|
| <topic href="help/CompleteOCLTutorial.html#CompleteOCLEditor" label="Complete OCL Editor"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#RoyalandLoyalExample" label="Royal and Loyal Example"></topic>
|
| <topic href="help/CompleteOCLTutorial.html#Summary2" label="Summary"></topic>
|
| </topic>
|
| <topic href="help/SafeNavigationTutorial.html" label="Safe navigation tutorial">
|
| <topic href="help/SafeNavigationTutorial.html#Overview3" label="Overview"></topic>
|
| <topic href="help/SafeNavigationTutorial.html#References2" label="References"></topic>
|
| <topic href="help/SafeNavigationTutorial.html#Evaluationhazards" label="Evaluation hazards"></topic>
|
| <topic href="help/SafeNavigationTutorial.html#EnableSafeNavigationDiagnosis" label="Enable Safe Navigation Diagnosis"></topic>
|
| <topic href="help/SafeNavigationTutorial.html#SafeNavigationDiagnosis" label="Safe Navigation Diagnosis"></topic>
|
| <topic href="help/SafeNavigationTutorial.html#SafeNavigationOperators" label="Safe Navigation Operators"></topic>
|
| <topic href="help/SafeNavigationTutorial.html#NullfreeCollections" label="Null-free Collections"></topic>
|
| <topic href="help/SafeNavigationTutorial.html#DeclaringNullfreeCollectionsinEcore" label="Declaring Null-free Collections in Ecore"></topic>
|
| <topic href="help/SafeNavigationTutorial.html#DeclaringNullfreeCollectionsinUML" label="Declaring Null-free Collections in UML"></topic>
|
| </topic>
|
| <topic href="help/CodeGenerationTutorial.html" label="Code Generation tutorial">
|
| <topic href="help/CodeGenerationTutorial.html#LoadOCLinEcoreTutorialExampleProject" label="Load OCLinEcore Tutorial Example Project"></topic>
|
| <topic href="help/CodeGenerationTutorial.html#Directcode" label="Direct code"></topic>
|
| <topic href="help/CodeGenerationTutorial.html#UsingaGenAnnotation" label="Using a GenAnnotation"></topic>
|
| </topic>
|
| <topic href="help/DebuggerTutorial.html" label="Debugger tutorial">
|
| <topic href="help/DebuggerTutorial.html#LoadOCLinEcoreTutorialExampleProject2" label="Load OCLinEcore Tutorial Example Project"></topic>
|
| <topic href="help/DebuggerTutorial.html#TheOCLDebugger" label="The OCL Debugger"></topic>
|
| <topic href="help/DebuggerTutorial.html#VerySimpleDebugsession" label="Very Simple Debug session">
|
| <topic href="help/DebuggerTutorial.html#Startingthedebugger" label="Starting the debugger"></topic>
|
| <topic href="help/DebuggerTutorial.html#ExploringVariables" label="Exploring Variables"></topic>
|
| <topic href="help/DebuggerTutorial.html#SteppingExecution" label="Stepping Execution"></topic>
|
| </topic>
|
| <topic href="help/DebuggerTutorial.html#DebuggingaValidationfailure" label="Debugging a Validation failure"></topic>
|
| <topic href="help/DebuggerTutorial.html#DebuggingCompleteOCLvalidationfailure" label="Debugging Complete OCL validation failure"></topic>
|
| <topic href="help/DebuggerTutorial.html#Consoleexperiments" label="Console experiments"></topic>
|
| <topic href="help/DebuggerTutorial.html#Longerrangestepping" label="Longer range stepping"></topic>
|
| <topic href="help/DebuggerTutorial.html#Breakpoints" label="Break points"></topic>
|
| </topic>
|
| <topic href="help/ValidationTutorial.html" label="Validation tutorial">
|
| <topic href="help/ValidationTutorial.html#LoadCompleteOCLTutorialExampleProject2" label="Load Complete OCL Tutorial Example Project"></topic>
|
| <topic href="help/ValidationTutorial.html#LoadTestModel" label="Load Test Model"></topic>
|
| <topic href="help/ValidationTutorial.html#EMFValidation" label="EMF Validation">
|
| <topic href="help/ValidationTutorial.html#ValidityViewValidation" label="Validity View Validation"></topic>
|
| <topic href="help/ValidationTutorial.html#FilteringbyRootModels" label="Filtering by Root Models"></topic>
|
| <topic href="help/ValidationTutorial.html#FilteringbyStatus" label="Filtering by Status"></topic>
|
| <topic href="help/ValidationTutorial.html#Debuggingconstraints" label="Debugging constraints"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/OCLInterpreterTutorial.html" label="Working with Classic OCL">
|
| <topic href="help/OCLInterpreterTutorial.html#Overview4" label="Overview"></topic>
|
| <topic href="help/OCLInterpreterTutorial.html#References3" label="References"></topic>
|
| <topic href="help/OCLInterpreterTutorial.html#ParsingOCLExpressions" label="Parsing OCL Expressions"></topic>
|
| <topic href="help/OCLInterpreterTutorial.html#ParsingOCLConstraints" label="Parsing OCL Constraints"></topic>
|
| <topic href="help/OCLInterpreterTutorial.html#EvaluatingOCLExpressionsandConstraints" label="Evaluating OCL Expressions and Constraints"></topic>
|
| <topic href="help/OCLInterpreterTutorial.html#ImplementingContentAssist" label="Implementing Content Assist"></topic>
|
| <topic href="help/OCLInterpreterTutorial.html#WorkingwiththeAST" label="Working with the AST"></topic>
|
| <topic href="help/OCLInterpreterTutorial.html#Serialization" label="Serialization"></topic>
|
| <topic href="help/OCLInterpreterTutorial.html#Summary3" label="Summary"></topic>
|
| </topic>
|
| <topic href="help/Extensions.html" label="Extensions (in the Unified/Pivot OCL prototype)">
|
| <topic href="help/Extensions.html#Models" label="Models"></topic>
|
| <topic href="help/Extensions.html#XMI" label="XMI"></topic>
|
| <topic href="help/Extensions.html#Templates" label="Templates"></topic>
|
| <topic href="help/Extensions.html#Extensibility" label="Extensibility"></topic>
|
| <topic href="help/Extensions.html#OperationOverloading" label="Operation Overloading"></topic>
|
| <topic href="help/Extensions.html#Stereotypes" label="Stereotypes"></topic>
|
| <topic href="help/Extensions.html#SafeNavigation" label="Safe Navigation"></topic>
|
| <topic href="help/Extensions.html#Reflection" label="Reflection"></topic>
|
| <topic href="help/Extensions.html#LambdaExpressions" label="Lambda Expressions"></topic>
|
| <topic href="help/Extensions.html#MapKV" label="Map(K,V)">
|
| <topic href="help/Extensions.html#Details" label="Details"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/Installation.html" label="Installing the Eclipse OCL Examples and Editors">
|
| <topic href="help/Installation.html#Troubleshooting2" label="Troubleshooting"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/Examples.html" label="Examples">
|
| <topic href="help/Examples.html#RoyalAndLoyalExample" label="Royal and Loyal Example Project"></topic>
|
| <topic href="help/EmptyExample.html" label="Empty Example Project"></topic>
|
| <topic href="help/OCLinEcoreTutorialExampleProject.html" label="OCLinEcore Tutorial Example Project"></topic>
|
| <topic href="help/CompleteOCLTutorialExampleProject.html" label="Complete OCL Tutorial Example Project"></topic>
|
| <topic href="help/OCLInterpreterExample.html" label="OCL Interpreter Example">
|
| <topic href="help/OCLInterpreterExample.html#Introduction" label="Introduction"></topic>
|
| <topic href="help/OCLInterpreterExample.html#References4" label="References"></topic>
|
| <topic href="help/OCLInterpreterExample.html#Description" label="Description"></topic>
|
| <topic href="help/OCLInterpreterExample.html#SupportforEcoreandUMLModels" label="Support for Ecore and UML Models"></topic>
|
| <topic href="help/OCLInterpreterExample.html#ExampleCode" label="Example Code"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/ProgrammersGuide.html" label="Classic Ecore/UML Programmers Guide">
|
| <topic href="help/ProgrammersGuide.html#ParsingConstraints" label="Parsing Constraints and Queries">
|
| <topic href="help/ProgrammersGuide.html#TheOCLEnvironment" label="The OCL Environment"></topic>
|
| <topic href="help/ProgrammersGuide.html#CreatinganOCLEnvironment" label="Creating an OCL Environment"></topic>
|
| <topic href="help/ProgrammersGuide.html#TheOCLHelper" label="The OCL Helper"></topic>
|
| <topic href="help/ProgrammersGuide.html#OperationandAttributeContexts" label="Operation and Attribute Contexts"></topic>
|
| </topic>
|
| <topic href="help/EvaluatingConstraints.html" label="Evaluating Constraints and Queries">
|
| <topic href="help/EvaluatingConstraints.html#TheOCLQuery" label="The OCL Query"></topic>
|
| </topic>
|
| <topic href="help/ParsingDocuments.html" label="Parsing OCL Documents">
|
| <topic href="help/ParsingDocuments.html#TheOCLInput" label="The OCL Input"></topic>
|
| <topic href="help/ParsingDocuments.html#AccessingtheConstraints" label="Accessing the Constraints"></topic>
|
| </topic>
|
| <topic href="help/TargetMetamodels.html" label="OCL Relationship to Metamodels">
|
| <topic href="help/TargetMetamodels.html#TheEcoreMetamodelBinding" label="The Ecore Metamodel Binding"></topic>
|
| <topic href="help/TargetMetamodels.html#TheUMLMetamodelBinding" label="The UML Metamodel Binding"></topic>
|
| </topic>
|
| <topic href="help/ContentAssistSupport.html" label="Content Assist Support">
|
| <topic href="help/ContentAssistSupport.html#SyntaxCompletionChoices" label="Syntax Completion Choices"></topic>
|
| </topic>
|
| <topic href="help/AbstractSyntax.html" label="OCL Abstract Syntax Model">
|
| <topic href="help/AbstractSyntax.html#TheVisitableandVisitorInterfaces" label="The Visitable and Visitor Interfaces"></topic>
|
| <topic href="help/AbstractSyntax.html#ImplementingaVisitor" label="Implementing a Visitor"></topic>
|
| <topic href="help/AbstractSyntax.html#HiddenOpposites" label="The OppositePropertyCallExp Extension"></topic>
|
| </topic>
|
| <topic href="help/CustomizingtheEnvironment.html" label="Customizing the Environment">
|
| <topic href="help/CustomizingtheEnvironment.html#DefiningGlobalVariables" label="Defining Global Variables"></topic>
|
| <topic href="help/CustomizingtheEnvironment.html#DefiningHelperOperationsinJava" label="Defining Helper Operations in Java"></topic>
|
| <topic href="help/CustomizingtheEnvironment.html#SelectingaPackageLookupStrategy" label="Selecting a Package Lookup Strategy"></topic>
|
| <topic href="help/CustomizingtheEnvironment.html#CustomizingHiddenOppositeLookupandNavigation" label="Customizing Hidden Opposite Lookup and Navigation"></topic>
|
| </topic>
|
| <topic href="help/Persistence.html" label="OCL Persistence">
|
| <topic href="help/Persistence.html#TheTypeResolver" label="The Type Resolver"></topic>
|
| </topic>
|
| <topic href="help/AdvancedMetamodelBindings.html" label="Creating Metamodel Bindings">
|
| <topic href="help/AdvancedMetamodelBindings.html#TheOCLAbstractSyntaxModel" label="The OCL Abstract Syntax Model"></topic>
|
| </topic>
|
| <topic href="help/ImpactAnalyzer.html" label="Incrementally Re-Evaluating OCL Expressions Using the Impact Analyzer">
|
| <topic href="help/ImpactAnalyzer.html#UsingtheImpactAnalyzerinEMFEditors" label="Using the Impact Analyzer in EMF Editors"></topic>
|
| <topic href="help/ImpactAnalyzer.html#AlgorithmOutline" label="Algorithm Outline"></topic>
|
| <topic href="help/ImpactAnalyzer.html#ImpactAnalyzerConfigurationScopes" label="Impact Analyzer Configuration, Scopes"></topic>
|
| </topic>
|
| <topic href="help/Delegates.html" label="Delegates">
|
| <topic href="help/Delegates.html#GenModelSettings" label="GenModel Settings"></topic>
|
| <topic href="help/Delegates.html#OCLDelegateURI" label="OCL Delegate URIs"></topic>
|
| <topic href="help/Delegates.html#StandaloneInitialization" label="Standalone Initialization"></topic>
|
| <topic href="help/Delegates.html#InvocationDelegate" label="Invocation Delegates"></topic>
|
| <topic href="help/Delegates.html#SettingDelegate" label="Setting Delegates"></topic>
|
| <topic href="help/Delegates.html#ValidationDelegate" label="Validation Delegates"></topic>
|
| <topic href="help/Delegates.html#ValidationMessages" label="Validation Messages"></topic>
|
| <topic href="help/Delegates.html#QueryDelegate" label="Query Delegates"></topic>
|
| </topic>
|
| <topic href="help/Standalone.html" label="Ecore/UML Standalone Configuration">
|
| <topic href="help/Standalone.html#Ecore" label="Ecore"></topic>
|
| <topic href="help/Standalone.html#UML" label="UML"></topic>
|
| <topic href="help/Standalone.html#Classpath" label="Classpath"></topic>
|
| <topic href="help/Standalone.html#XtextEditors" label="Xtext Editors"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/PivotProgrammersGuide.html" label="Unified or Pivot Programmers Guide">
|
| <topic href="help/PivotProgrammersGuide.html#OCL-Environment" label="OCL Environment">
|
| <topic href="help/PivotProgrammersGuide.html#OCLproblem" label="OCL Implementation Problem"></topic>
|
| <topic href="help/PivotProgrammersGuide.html#OCLwithAdapters" label="OCL adapters pre-2021-03"></topic>
|
| <topic href="help/PivotProgrammersGuide.html#OCLperThread" label="OCL per Thread post-2021-03"></topic>
|
| </topic>
|
| <topic href="help/Validators.html" label="Validators">
|
| <topic href="help/Validators.html#OCLinEcoreEObjectValidator" label="OCLinEcoreEObjectValidator"></topic>
|
| <topic href="help/Validators.html#CompleteOCLEObjectValidator" label="CompleteOCLEObjectValidator"></topic>
|
| </topic>
|
| <topic href="help/PivotEvaluator.html" label="The Pivot Evaluator">
|
| <topic href="help/PivotEvaluator.html#PivotValue-History" label="The Evolving Pivot Value System"></topic>
|
| <topic href="help/PivotEvaluator.html#PivotValues" label="The Pivot Value System">
|
| <topic href="help/PivotEvaluator.html#PivotValueConversions" label="Value Conversions"></topic>
|
| <topic href="help/PivotEvaluator.html#PivotIntegers" label="Polymorphic Integers"></topic>
|
| <topic href="help/PivotEvaluator.html#PivotCollections" label="Polymorphic Collections"></topic>
|
| <topic href="help/PivotEvaluator.html#PivotObjects" label="Polymorphic Objects"></topic>
|
| </topic>
|
| <topic href="help/PivotEvaluator.html#ThePivotEvaluatorTypeSystem" label="The Pivot Evaluator Type System"></topic>
|
| <topic href="help/PivotEvaluator.html#ThePivotEvaluatorImplementationSystem" label="The Pivot Evaluator Implementation System"></topic>
|
| <topic href="help/PivotEvaluator.html#PolymorphicImplementations" label="Polymorphic Implementations"></topic>
|
| </topic>
|
| <topic href="help/PivotStandaloneApplication.html" label="Pivot Standalone Application">
|
| <topic href="help/PivotStandaloneApplication.html#InstallationandInvocation" label="Installation and Invocation"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#Helpcommand" label="Help command"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#Executecommand" label="Execute command">
|
| <topic href="help/PivotStandaloneApplication.html#queryoclquery" label="">
|
| <topic href="help/PivotStandaloneApplication.html#N158AF" label="-query ocl-query"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#selfselfuri" label="-self self-uri"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#outputfilename" label="-output file-name"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#exporternonetextmodel" label="-exporter none|text|model"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#hideASQuery" label="-hideASQuery"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#hideASResult" label="-hideASResult"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#hideASTypes" label="-hideASTypes"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#hideQuery" label="-hideQuery"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#hideResult" label="-hideResult"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/PivotStandaloneApplication.html#Validatecommand" label="Validate command">
|
| <topic href="help/PivotStandaloneApplication.html#modelfilename" label="">
|
| <topic href="help/PivotStandaloneApplication.html#N15968" label="-model file-name"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#rulesfilename" label="-rules file-name"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#outputfilename2" label="-output file-name"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#exporterhtmlmodeltext" label="-exporter html|model|text"></topic>
|
| <topic href="help/PivotStandaloneApplication.html#usingalljavaocluml" label="-using all|java|ocl|uml"></topic>
|
| </topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/PivotStandalone.html" label="Pivot Standalone API Configuration">
|
| <topic href="help/PivotStandalone.html#Models2" label="Models"></topic>
|
| <topic href="help/PivotStandalone.html#OCLStandardLibrary" label="OCL Standard Library"></topic>
|
| <topic href="help/PivotStandalone.html#PivotDelegates" label="Pivot Delegates"></topic>
|
| <topic href="help/PivotStandalone.html#XtextParsers" label="Xtext Parsers"></topic>
|
| <topic href="help/PivotStandalone.html#platformpluginandplatformresourceURIs" label="platform:/plugin and platform:/resource URIs"></topic>
|
| <topic href="help/PivotStandalone.html#Classpath2" label="Classpath"></topic>
|
| </topic>
|
| <topic href="help/PivotThreadSafety.html" label="Pivot Thread Safety">
|
| <topic href="help/PivotThreadSafety.html#CodeGeneratedEvaluation" label="Code Generated Evaluation">
|
| <topic href="help/PivotThreadSafety.html#DesignNotes" label="Design Notes"></topic>
|
| </topic>
|
| <topic href="help/PivotThreadSafety.html#InterpretedEvaluation" label="Interpreted Evaluation"></topic>
|
| <topic href="help/PivotThreadSafety.html#OCLAnalysis" label="OCL Analysis"></topic>
|
| </topic>
|
| <topic href="help/PivotParsingConstraints.html" label="Parsing Constraints and Queries">
|
| <topic href="help/PivotParsingConstraints.html#TheOCLFacade2" label="The OCL Facade"></topic>
|
| <topic href="help/PivotParsingConstraints.html#OCLHandles" label="OCL Handles"></topic>
|
| <topic href="help/PivotParsingConstraints.html#ClassContext" label="Class Context"></topic>
|
| <topic href="help/PivotParsingConstraints.html#OperationandPropertyContexts" label="Operation and Property Contexts"></topic>
|
| <topic href="help/PivotParsingConstraints.html#Errors" label="Errors"></topic>
|
| <topic href="help/PivotParsingConstraints.html#TheOCLHelper2" label="The OCL Helper"></topic>
|
| </topic>
|
| <topic href="help/PivotEvaluatingConstraints.html" label="Evaluating Constraints and Queries">
|
| <topic href="help/PivotEvaluatingConstraints.html#TheOCLQuery2" label="The OCL Query"></topic>
|
| <topic href="help/PivotEvaluatingConstraints.html#Objectrepresentations" label="Object representations"></topic>
|
| <topic href="help/PivotEvaluatingConstraints.html#MultipleEvaluations" label="Multiple Evaluations"></topic>
|
| <topic href="help/PivotEvaluatingConstraints.html#SuccintEvaluations" label="Succint Evaluations"></topic>
|
| </topic>
|
| <topic href="help/PivotParsingDocuments.html" label="Parsing OCL Documents">
|
| <topic href="help/PivotParsingDocuments.html#TheOCLInput2" label="The OCL Input"></topic>
|
| <topic href="help/PivotParsingDocuments.html#TraversingtheConstraints" label="Traversing the Constraints"></topic>
|
| <topic href="help/PivotParsingDocuments.html#AccessingtheConstraints2" label="Accessing the Constraints"></topic>
|
| <topic href="help/PivotParsingDocuments.html#UsingtheConstraintstoValidateaModel" label="Using the Constraints to Validate a Model"></topic>
|
| </topic>
|
| <topic href="help/PivotMetamodels.html" label="OCL Relationship to Metamodels">
|
| <topic href="help/PivotMetamodels.html#ThePivotMetamodelBinding" label="The Pivot Metamodel Binding"></topic>
|
| </topic>
|
| <topic href="help/Pivot-Ids.html" label="Ids">
|
| <topic href="help/Pivot-Ids.html#Pivot-Id-Equality" label="Id Equality"></topic>
|
| <topic href="help/Pivot-Ids.html#Pivot-IdManager" label="IdManager"></topic>
|
| <topic href="help/Pivot-Ids.html#Pivot-CollectionTypeId" label="CollectionTypeId"></topic>
|
| <topic href="help/Pivot-Ids.html#Pivot-TupleTypeId" label="TupleTypeId"></topic>
|
| <topic href="help/Pivot-Ids.html#Pivot-LambdaTypeId" label="LambdaTypeId"></topic>
|
| <topic href="help/Pivot-Ids.html#Pivot-ParameterIds" label="ParameterIds"></topic>
|
| <topic href="help/Pivot-Ids.html#Pivot-TuplePartId" label="TuplePartId"></topic>
|
| <topic href="help/Pivot-Ids.html#Pivot-TemplateParameterId" label="TemplateParameterId"></topic>
|
| <topic href="help/Pivot-Ids.html#Pivot-Id-CG" label="Code Generation"></topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/APIReference.html" label="API Reference">
|
| <topic href="help/APIReference.html#Javadoc" label="Javadoc"></topic>
|
| <topic href="help/Extensionpoints.html" label="Extension points"></topic>
|
| </topic>
|
| <topic href="help/BuildingtheOCLProject.html" label="Building the OCL Project">
|
| <topic href="help/BuildingtheOCLProject.html#OOMPH" label="OOMPH"></topic>
|
| <topic href="help/MavenCentralandrepo.eclipse.org.html" label="Maven Central and repo.eclipse.org"></topic>
|
| <topic href="help/MavenandGradle.html" label="Maven and Gradle"></topic>
|
| <topic href="help/GenAnnotations.html" label="GenModel GenAnnotations">
|
| <topic href="help/GenAnnotations.html#httpwww.eclipse.orgOCLGenModelGenAnnotationSource" label="http://www.eclipse.org/OCL/GenModel GenAnnotation Source">
|
| <topic href="help/GenAnnotations.html#UseDelegates" label="Use Delegates"></topic>
|
| <topic href="help/GenAnnotations.html#UseNullAnnotations" label="Use Null Annotations"></topic>
|
| </topic>
|
| <topic href="help/GenAnnotations.html#httpwww.eclipse.orgOCLGenModelToString" label="http://www.eclipse.org/OCL/GenModel/ToString"></topic>
|
| <topic href="help/GenAnnotations.html#httpwww.eclipse.orgOCLGenModelVisitor" label="http://www.eclipse.org/OCL/GenModel/Visitor">
|
| <topic href="help/GenAnnotations.html#RootVisitorClass" label="Root Visitor Class"></topic>
|
| <topic href="help/GenAnnotations.html#DerivedVisitorClass" label="Derived Visitor Class"></topic>
|
| <topic href="help/GenAnnotations.html#VisitableInterface" label="Visitable Interface"></topic>
|
| <topic href="help/GenAnnotations.html#VisitableClasses" label="Visitable Classes"></topic>
|
| <topic href="help/GenAnnotations.html#ImplementationDetails" label="Implementation Details"></topic>
|
| </topic>
|
| <topic href="help/GenAnnotations.html#httpwww.eclipse.orgOCLGenModelCopyAndPaste" label="http://www.eclipse.org/OCL/GenModel/CopyAndPaste">
|
| <topic href="help/GenAnnotations.html#ImplementationDetails2" label="Implementation Details"></topic>
|
| </topic>
|
| <topic href="help/GenAnnotations.html#ImplementationDetails3" label="Implementation Details">
|
| <topic href="help/GenAnnotations.html#org.eclipse.ocl.examples.build" label="org.eclipse.ocl.examples.build"></topic>
|
| </topic>
|
| </topic>
|
| </topic>
|
| <topic href="help/glossary.html" label="A. Glossary"></topic>
|
| </toc>
|
