Uses of Interface
org.eclipse.ocl.examples.pivot.FinalState

Packages that use FinalState
org.eclipse.ocl.examples.pivot   
org.eclipse.ocl.examples.pivot.internal.impl   
org.eclipse.ocl.examples.pivot.uml   
org.eclipse.ocl.examples.pivot.util   
 

Uses of FinalState in org.eclipse.ocl.examples.pivot
 

Methods in org.eclipse.ocl.examples.pivot that return FinalState
 FinalState PivotFactory.createFinalState()
          Returns a new object of class 'Final State'.
 

Uses of FinalState in org.eclipse.ocl.examples.pivot.internal.impl
 

Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement FinalState
 class FinalStateImpl
          An implementation of the model object 'Final State'.
 

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return FinalState
 FinalState PivotFactoryImpl.createFinalState()
           
 

Uses of FinalState in org.eclipse.ocl.examples.pivot.uml
 

Methods in org.eclipse.ocl.examples.pivot.uml that return FinalState
 FinalState UML2PivotDeclarationSwitch.caseFinalState(org.eclipse.uml2.uml.FinalState umlState)
           
 

Uses of FinalState in org.eclipse.ocl.examples.pivot.util
 

Methods in org.eclipse.ocl.examples.pivot.util with parameters of type FinalState
 T1 PivotSwitch.caseFinalState(FinalState object)
          Returns the result of interpreting the object as an instance of 'Final State'.
 boolean PivotValidator.validateFinalState(FinalState finalState, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 R AbstractDelegatingVisitor.visitFinalState(FinalState object)
           
 R AbstractExtendingVisitor.visitFinalState(FinalState object)
           
 R AbstractNullVisitor.visitFinalState(FinalState object)
           
 R AbstractWrappingVisitor.visitFinalState(FinalState object)
           
 R Visitor.visitFinalState(FinalState object)