// license-header java merge-point
   //
   // Attention: generated code (by MetafacadeLogic.vsl) - do not modify!
   //
   package org.andromda.cartridges.jsf.metafacades;
   
   import java.util.Collection;
   import java.util.List;
   import org.andromda.core.common.Introspector;
  import org.andromda.core.metafacade.MetafacadeBase;
  import org.andromda.core.metafacade.MetafacadeFactory;
  import org.andromda.core.metafacade.ModelValidationMessage;
  import org.andromda.metafacades.uml.ConstraintFacade;
  import org.andromda.metafacades.uml.DependencyFacade;
  import org.andromda.metafacades.uml.EventFacade;
  import org.andromda.metafacades.uml.FrontEndFinalState;
  import org.andromda.metafacades.uml.FrontEndParameter;
  import org.andromda.metafacades.uml.FrontEndUseCase;
  import org.andromda.metafacades.uml.ModelElementFacade;
  import org.andromda.metafacades.uml.ModelFacade;
  import org.andromda.metafacades.uml.PackageFacade;
  import org.andromda.metafacades.uml.PartitionFacade;
  import org.andromda.metafacades.uml.StateFacade;
  import org.andromda.metafacades.uml.StateMachineFacade;
  import org.andromda.metafacades.uml.StereotypeFacade;
  import org.andromda.metafacades.uml.TaggedValueFacade;
  import org.andromda.metafacades.uml.TemplateParameterFacade;
  import org.andromda.metafacades.uml.TransitionFacade;
  import org.andromda.metafacades.uml.TypeMappings;
  import org.andromda.translation.ocl.validation.OCLCollections;
  import org.andromda.translation.ocl.validation.OCLIntrospector;
  import org.andromda.translation.ocl.validation.OCLResultEnsurer;
  import org.apache.log4j.Logger;
  
  /**
   * Represents a final state in a JSF use case.
   * MetafacadeLogic for JSFFinalState
   *
   * @see JSFFinalState
   */
  public abstract class JSFFinalStateLogic
      extends MetafacadeBase
      implements JSFFinalState
  {
      /**
       * The underlying UML object
       * @see Object
       */
      protected Object metaObject;
  
      /** Create Metafacade implementation instance using the MetafacadeFactory from the context
       * @param metaObjectIn
       * @param context
       */
      protected JSFFinalStateLogic(Object metaObjectIn, String context)
      {
          super(metaObjectIn, getContext(context));
          this.superFrontEndFinalState =
             (FrontEndFinalState)
              MetafacadeFactory.getInstance().createFacadeImpl(
                      "org.andromda.metafacades.uml.FrontEndFinalState",
                      metaObjectIn,
                      getContext(context));
          this.metaObject = metaObjectIn;
      }
  
      /**
       * The logger instance.
       */
      private static final Logger logger = Logger.getLogger(JSFFinalStateLogic.class);
  
      /**
       * Gets the context for this metafacade logic instance.
       * @param context String. Set to JSFFinalState if null
       * @return context String
       */
      private static String getContext(String context)
      {
          if (context == null)
          {
              context = "org.andromda.cartridges.jsf.metafacades.JSFFinalState";
          }
          return context;
      }
  
      private FrontEndFinalState superFrontEndFinalState;
      private boolean superFrontEndFinalStateInitialized = false;
  
      /**
       * Gets the FrontEndFinalState parent instance.
       * @return this.superFrontEndFinalState FrontEndFinalState
       */
      private FrontEndFinalState getSuperFrontEndFinalState()
      {
          if (!this.superFrontEndFinalStateInitialized)
          {
              ((MetafacadeBase)this.superFrontEndFinalState).setMetafacadeContext(this.getMetafacadeContext());
              this.superFrontEndFinalStateInitialized = true;
          }
         return this.superFrontEndFinalState;
     }
 
     /** Reset context only for non-root metafacades
      * @param context
      * @see MetafacadeBase#resetMetafacadeContext(String context)
      */
     @Override
     public void resetMetafacadeContext(String context)
     {
         if (!this.contextRoot) // reset context only for non-root metafacades
         {
             context = getContext(context);  // to have same value as in original constructor call
             setMetafacadeContext (context);
             if (this.superFrontEndFinalStateInitialized)
             {
                 ((MetafacadeBase)this.superFrontEndFinalState).resetMetafacadeContext(context);
             }
         }
     }
 
     /**
      * @return boolean true always
      * @see JSFFinalState
      */
     public boolean isJSFFinalStateMetaType()
     {
         return true;
     }
 
     // --------------- attributes ---------------------
 
    /**
     * @see org.andromda.cartridges.jsf.metafacades.JSFFinalState#getPath()
     * @return String
     */
     protected abstract String handleGetPath();
 
     private String __path1a;
     private boolean __path1aSet = false;
 
     /**
      * The path to which this final state points.
      * @return (String)handleGetPath()
      */
     public final String getPath()
     {
         String path1a = this.__path1a;
         if (!this.__path1aSet)
         {
             // path has no pre constraints
             path1a = handleGetPath();
             // path has no post constraints
             this.__path1a = path1a;
             if (isMetafacadePropertyCachingEnabled())
             {
                 this.__path1aSet = true;
             }
         }
         return path1a;
     }
 
     /**
      * @return true
      * @see FrontEndFinalState
      */
     public boolean isFrontEndFinalStateMetaType()
     {
         return true;
     }
 
     /**
      * @return true
      * @see org.andromda.metafacades.uml.FinalStateFacade
      */
     public boolean isFinalStateFacadeMetaType()
     {
         return true;
     }
 
     /**
      * @return true
      * @see StateFacade
      */
     public boolean isStateFacadeMetaType()
     {
         return true;
     }
 
     /**
      * @return true
      * @see org.andromda.metafacades.uml.StateVertexFacade
      */
     public boolean isStateVertexFacadeMetaType()
     {
         return true;
     }
 
     /**
      * @return true
      * @see ModelElementFacade
      */
     public boolean isModelElementFacadeMetaType()
     {
         return true;
     }
 
     // ----------- delegates to FrontEndFinalState ------------
     /**
      * Parameters that are directly entering this final state, they will be able to survive a trip
      * to the next use-case.
      * @see FrontEndFinalState#getInterUseCaseParameters()
      */
     public List<FrontEndParameter> getInterUseCaseParameters()
     {
         return this.getSuperFrontEndFinalState().getInterUseCaseParameters();
     }
 
     /**
      * The use case the final state is "targetting".
      * @see FrontEndFinalState#getTargetUseCase()
      */
     public FrontEndUseCase getTargetUseCase()
     {
         return this.getSuperFrontEndFinalState().getTargetUseCase();
     }
 
     /**
      * Indicates if this front end final state is contained within a FrontEndUseCase.
      * @see FrontEndFinalState#isContainedInFrontEndUseCase()
      */
     public boolean isContainedInFrontEndUseCase()
     {
         return this.getSuperFrontEndFinalState().isContainedInFrontEndUseCase();
     }
 
     /**
      * Copies all tagged values from the given ModelElementFacade to this model element facade.
      * @see ModelElementFacade#copyTaggedValues(ModelElementFacade element)
      */
     public void copyTaggedValues(ModelElementFacade element)
     {
         this.getSuperFrontEndFinalState().copyTaggedValues(element);
     }
 
     /**
      * Finds the tagged value with the specified 'tagName'. In case there are more values the first
      * one found will be returned.
      * @see ModelElementFacade#findTaggedValue(String tagName)
      */
     public Object findTaggedValue(String tagName)
     {
         return this.getSuperFrontEndFinalState().findTaggedValue(tagName);
     }
 
     /**
      * Returns all the values for the tagged value with the specified name. The returned collection
      * will contains only String instances, or will be empty. Never null.
      * @see ModelElementFacade#findTaggedValues(String tagName)
      */
     public Collection<Object> findTaggedValues(String tagName)
     {
         return this.getSuperFrontEndFinalState().findTaggedValues(tagName);
     }
 
     /**
      * Returns the fully qualified name of the model element. The fully qualified name includes
      * complete package qualified name of the underlying model element. The templates parameter will
      * be replaced by the correct one given the binding relation of the parameter to this element.
      * @see ModelElementFacade#getBindedFullyQualifiedName(ModelElementFacade bindedElement)
      */
     public String getBindedFullyQualifiedName(ModelElementFacade bindedElement)
     {
         return this.getSuperFrontEndFinalState().getBindedFullyQualifiedName(bindedElement);
     }
 
     /**
      * Gets all constraints belonging to the model element.
      * @see ModelElementFacade#getConstraints()
      */
     public Collection<ConstraintFacade> getConstraints()
     {
         return this.getSuperFrontEndFinalState().getConstraints();
     }
 
     /**
      * Returns the constraints of the argument kind that have been placed onto this model. Typical
      * kinds are "inv", "pre" and "post". Other kinds are possible.
      * @see ModelElementFacade#getConstraints(String kind)
      */
     public Collection<ConstraintFacade> getConstraints(String kind)
     {
         return this.getSuperFrontEndFinalState().getConstraints(kind);
     }
 
     /**
      * Gets the documentation for the model element, The indent argument is prefixed to each line.
      * By default this method wraps lines after 64 characters.
      * This method is equivalent to <code>getDocumentation(indent, 64)</code>.
      * @see ModelElementFacade#getDocumentation(String indent)
      */
     public String getDocumentation(String indent)
     {
         return this.getSuperFrontEndFinalState().getDocumentation(indent);
     }
 
     /**
      * This method returns the documentation for this model element, with the lines wrapped after
      * the specified number of characters, values of less than 1 will indicate no line wrapping is
      * required. By default paragraphs are returned as HTML.
      * This method is equivalent to <code>getDocumentation(indent, lineLength, true)</code>.
      * @see ModelElementFacade#getDocumentation(String indent, int lineLength)
      */
     public String getDocumentation(String indent, int lineLength)
     {
         return this.getSuperFrontEndFinalState().getDocumentation(indent, lineLength);
     }
 
     /**
      * This method returns the documentation for this model element, with the lines wrapped after
      * the specified number of characters, values of less than 1 will indicate no line wrapping is
      * required. HTML style determines if HTML Escaping is applied.
      * @see ModelElementFacade#getDocumentation(String indent, int lineLength, boolean htmlStyle)
      */
     public String getDocumentation(String indent, int lineLength, boolean htmlStyle)
     {
         return this.getSuperFrontEndFinalState().getDocumentation(indent, lineLength, htmlStyle);
     }
 
     /**
      * The fully qualified name of this model element.
      * @see ModelElementFacade#getFullyQualifiedName()
      */
     public String getFullyQualifiedName()
     {
         return this.getSuperFrontEndFinalState().getFullyQualifiedName();
     }
 
     /**
      * Returns the fully qualified name of the model element. The fully qualified name includes
      * complete package qualified name of the underlying model element.  If modelName is true, then
      * the original name of the model element (the name contained within the model) will be the name
      * returned, otherwise a name from a language mapping will be returned.
      * @see ModelElementFacade#getFullyQualifiedName(boolean modelName)
      */
     public String getFullyQualifiedName(boolean modelName)
     {
         return this.getSuperFrontEndFinalState().getFullyQualifiedName(modelName);
     }
 
     /**
      * Returns the fully qualified name as a path, the returned value always starts with out a slash
      * '/'.
      * @see ModelElementFacade#getFullyQualifiedNamePath()
      */
     public String getFullyQualifiedNamePath()
     {
         return this.getSuperFrontEndFinalState().getFullyQualifiedNamePath();
     }
 
     /**
      * Gets the unique identifier of the underlying model element.
      * @see ModelElementFacade#getId()
      */
     public String getId()
     {
         return this.getSuperFrontEndFinalState().getId();
     }
 
     /**
      * UML2: Retrieves the keywords for this element. Used to modify implementation properties which
      * are not represented by other properties, i.e. native, transient, volatile, synchronized,
      * (added annotations) override, deprecated. Can also be used to suppress compiler warnings:
      * (added annotations) unchecked, fallthrough, path, serial, finally, all. Annotations require
      * JDK5 compiler level.
      * @see ModelElementFacade#getKeywords()
      */
     public Collection<String> getKeywords()
     {
         return this.getSuperFrontEndFinalState().getKeywords();
     }
 
     /**
      * UML2: Retrieves a localized label for this named element.
      * @see ModelElementFacade#getLabel()
      */
     public String getLabel()
     {
         return this.getSuperFrontEndFinalState().getLabel();
     }
 
     /**
      * The language mappings that have been set for this model element.
      * @see ModelElementFacade#getLanguageMappings()
      */
     public TypeMappings getLanguageMappings()
     {
         return this.getSuperFrontEndFinalState().getLanguageMappings();
     }
 
     /**
      * Return the model containing this model element (multiple models may be loaded and processed
      * at the same time).
      * @see ModelElementFacade#getModel()
      */
     public ModelFacade getModel()
     {
         return this.getSuperFrontEndFinalState().getModel();
     }
 
     /**
      * The name of the model element.
      * @see ModelElementFacade#getName()
      */
     public String getName()
     {
         return this.getSuperFrontEndFinalState().getName();
     }
 
     /**
      * Gets the package to which this model element belongs.
      * @see ModelElementFacade#getPackage()
      */
     public ModelElementFacade getPackage()
     {
         return this.getSuperFrontEndFinalState().getPackage();
     }
 
     /**
      * The name of this model element's package.
      * @see ModelElementFacade#getPackageName()
      */
     public String getPackageName()
     {
         return this.getSuperFrontEndFinalState().getPackageName();
     }
 
     /**
      * Gets the package name (optionally providing the ability to retrieve the model name and not
      * the mapped name).
      * @see ModelElementFacade#getPackageName(boolean modelName)
      */
     public String getPackageName(boolean modelName)
     {
         return this.getSuperFrontEndFinalState().getPackageName(modelName);
     }
 
     /**
      * Returns the package as a path, the returned value always starts with out a slash '/'.
      * @see ModelElementFacade#getPackagePath()
      */
     public String getPackagePath()
     {
         return this.getSuperFrontEndFinalState().getPackagePath();
     }
 
     /**
      * UML2: Returns the value of the 'Qualified Name' attribute. A name which allows the
      * NamedElement to be identified within a hierarchy of nested Namespaces. It is constructed from
      * the names of the containing namespaces starting at the root of the hierarchy and ending with
      * the name of the NamedElement itself.
      * @see ModelElementFacade#getQualifiedName()
      */
     public String getQualifiedName()
     {
         return this.getSuperFrontEndFinalState().getQualifiedName();
     }
 
     /**
      * Gets the root package for the model element.
      * @see ModelElementFacade#getRootPackage()
      */
     public PackageFacade getRootPackage()
     {
         return this.getSuperFrontEndFinalState().getRootPackage();
     }
 
     /**
      * Gets the dependencies for which this model element is the source.
      * @see ModelElementFacade#getSourceDependencies()
      */
     public Collection<DependencyFacade> getSourceDependencies()
     {
         return this.getSuperFrontEndFinalState().getSourceDependencies();
     }
 
     /**
      * If this model element is the context of an activity graph, this represents that activity
      * graph.
      * @see ModelElementFacade#getStateMachineContext()
      */
     public StateMachineFacade getStateMachineContext()
     {
         return this.getSuperFrontEndFinalState().getStateMachineContext();
     }
 
     /**
      * The collection of ALL stereotype names for this model element.
      * @see ModelElementFacade#getStereotypeNames()
      */
     public Collection<String> getStereotypeNames()
     {
         return this.getSuperFrontEndFinalState().getStereotypeNames();
     }
 
     /**
      * Gets all stereotypes for this model element.
      * @see ModelElementFacade#getStereotypes()
      */
     public Collection<StereotypeFacade> getStereotypes()
     {
         return this.getSuperFrontEndFinalState().getStereotypes();
     }
 
     /**
      * Return the TaggedValues associated with this model element, under all stereotypes.
      * @see ModelElementFacade#getTaggedValues()
      */
     public Collection<TaggedValueFacade> getTaggedValues()
     {
         return this.getSuperFrontEndFinalState().getTaggedValues();
     }
 
     /**
      * Gets the dependencies for which this model element is the target.
      * @see ModelElementFacade#getTargetDependencies()
      */
     public Collection<DependencyFacade> getTargetDependencies()
     {
         return this.getSuperFrontEndFinalState().getTargetDependencies();
     }
 
     /**
      * Get the template parameter for this model element having the parameterName
      * @see ModelElementFacade#getTemplateParameter(String parameterName)
      */
     public Object getTemplateParameter(String parameterName)
     {
         return this.getSuperFrontEndFinalState().getTemplateParameter(parameterName);
     }
 
     /**
      * Get the template parameters for this model element
      * @see ModelElementFacade#getTemplateParameters()
      */
     public Collection<TemplateParameterFacade> getTemplateParameters()
     {
         return this.getSuperFrontEndFinalState().getTemplateParameters();
     }
 
     /**
      * The visibility (i.e. public, private, protected or package) of the model element, will
      * attempt a lookup for these values in the language mappings (if any).
      * @see ModelElementFacade#getVisibility()
      */
     public String getVisibility()
     {
         return this.getSuperFrontEndFinalState().getVisibility();
     }
 
     /**
      * Returns true if the model element has the exact stereotype (meaning no stereotype inheritance
      * is taken into account when searching for the stereotype), false otherwise.
      * @see ModelElementFacade#hasExactStereotype(String stereotypeName)
      */
     public boolean hasExactStereotype(String stereotypeName)
     {
         return this.getSuperFrontEndFinalState().hasExactStereotype(stereotypeName);
     }
 
     /**
      * Does the UML Element contain the named Keyword? Keywords can be separated by space, comma,
      * pipe, semicolon, or << >>
      * @see ModelElementFacade#hasKeyword(String keywordName)
      */
     public boolean hasKeyword(String keywordName)
     {
         return this.getSuperFrontEndFinalState().hasKeyword(keywordName);
     }
 
     /**
      * Returns true if the model element has the specified stereotype.  If the stereotype itself
      * does not match, then a search will be made up the stereotype inheritance hierarchy, and if
      * one of the stereotype's ancestors has a matching name this method will return true, false
      * otherwise.
      * For example, if we have a certain stereotype called <<exception>> and a model element has a
      * stereotype called <<applicationException>> which extends <<exception>>, when calling this
      * method with 'stereotypeName' defined as 'exception' the method would return true since
      * <<applicationException>> inherits from <<exception>>.  If you want to check if the model
      * element has the exact stereotype, then use the method 'hasExactStereotype' instead.
      * @see ModelElementFacade#hasStereotype(String stereotypeName)
      */
     public boolean hasStereotype(String stereotypeName)
     {
         return this.getSuperFrontEndFinalState().hasStereotype(stereotypeName);
     }
 
     /**
      * True if there are target dependencies from this element that are instances of BindingFacade.
      * Deprecated in UML2: Use TemplateBinding parameters instead of dependencies.
      * @see ModelElementFacade#isBindingDependenciesPresent()
      */
     public boolean isBindingDependenciesPresent()
     {
         return this.getSuperFrontEndFinalState().isBindingDependenciesPresent();
     }
 
     /**
      * Indicates if any constraints are present on this model element.
      * @see ModelElementFacade#isConstraintsPresent()
      */
     public boolean isConstraintsPresent()
     {
         return this.getSuperFrontEndFinalState().isConstraintsPresent();
     }
 
     /**
      * Indicates if any documentation is present on this model element.
      * @see ModelElementFacade#isDocumentationPresent()
      */
     public boolean isDocumentationPresent()
     {
         return this.getSuperFrontEndFinalState().isDocumentationPresent();
     }
 
     /**
      * True if this element name is a reserved word in Java, C#, ANSI or ISO C, C++, JavaScript.
      * @see ModelElementFacade#isReservedWord()
      */
     public boolean isReservedWord()
     {
         return this.getSuperFrontEndFinalState().isReservedWord();
     }
 
     /**
      * True is there are template parameters on this model element. For UML2, applies to Class,
      * Operation, Property, and Parameter.
      * @see ModelElementFacade#isTemplateParametersPresent()
      */
     public boolean isTemplateParametersPresent()
     {
         return this.getSuperFrontEndFinalState().isTemplateParametersPresent();
     }
 
     /**
      * True if this element name is a valid identifier name in Java, C#, ANSI or ISO C, C++,
      * JavaScript. Contains no spaces, special characters etc. Constraint always applied on
      * Enumerations and Interfaces, optionally applies on other model elements.
      * @see ModelElementFacade#isValidIdentifierName()
      */
     public boolean isValidIdentifierName()
     {
         return this.getSuperFrontEndFinalState().isValidIdentifierName();
     }
 
     /**
      * Searches for the constraint with the specified 'name' on this model element, and if found
      * translates it using the specified 'translation' from a translation library discovered by the
      * framework.
      * @see ModelElementFacade#translateConstraint(String name, String translation)
      */
     public String translateConstraint(String name, String translation)
     {
         return this.getSuperFrontEndFinalState().translateConstraint(name, translation);
     }
 
     /**
      * Translates all constraints belonging to this model element with the given 'translation'.
      * @see ModelElementFacade#translateConstraints(String translation)
      */
     public String[] translateConstraints(String translation)
     {
         return this.getSuperFrontEndFinalState().translateConstraints(translation);
     }
 
     /**
      * Translates the constraints of the specified 'kind' belonging to this model element.
      * @see ModelElementFacade#translateConstraints(String kind, String translation)
      */
     public String[] translateConstraints(String kind, String translation)
     {
         return this.getSuperFrontEndFinalState().translateConstraints(kind, translation);
     }
 
     /**
      * Events to which is being deferred in this action state.
      * @see StateFacade#getDeferrableEvents()
      */
     public Collection<EventFacade> getDeferrableEvents()
     {
         return this.getSuperFrontEndFinalState().getDeferrableEvents();
     }
 
     /**
      * Models a situation during which some (usually implicit) invariant condition holds. The states
      * of
      * protocol state machines are exposed to the users of their context classifiers. A protocol
      * state
      * represents an exposed stable situation of its context classifier: when an instance of the
      * classifier
      * is not processing any operation, users of this instance can always know its state
      * configuration.
      * @see org.andromda.metafacades.uml.StateVertexFacade#getContainer()
      */
     public StateFacade getContainer()
     {
         return this.getSuperFrontEndFinalState().getContainer();
     }
 
     /**
      * A directed relationship between a source vertex and a target vertex. It may be part of a
      * compound
      * transition, which takes the state machine from one state configuration to another,
      * representing the
      * complete response of the state machine to an occurrence of an event of a particular type.
      * @see org.andromda.metafacades.uml.StateVertexFacade#getIncomings()
      */
     public Collection<TransitionFacade> getIncomings()
     {
         return this.getSuperFrontEndFinalState().getIncomings();
     }
 
     /**
      * A directed relationship between a source vertex and a target vertex. It may be part of a
      * compound
      * transition, which takes the state machine from one state configuration to another,
      * representing the
      * complete response of the state machine to an occurrence of an event of a particular type.
      * @see org.andromda.metafacades.uml.StateVertexFacade#getOutgoings()
      */
     public Collection<TransitionFacade> getOutgoings()
     {
         return this.getSuperFrontEndFinalState().getOutgoings();
     }
 
     /**
      * The partition (if any) to which this vertex belongs.
      * @see org.andromda.metafacades.uml.StateVertexFacade#getPartition()
      */
     public PartitionFacade getPartition()
     {
         return this.getSuperFrontEndFinalState().getPartition();
     }
 
     /**
      * State machines can be used to express the behavior of part of a system. Behavior is modeled
      * as a
      * traversal of a graph of state nodes interconnected by one or more joined transition arcs that
      * are
      * triggered by the dispatching of series of (event) occurrences. During this traversal, the
      * state
      * machine executes a series of activities associated with various elements of the state
      * machine.
      * @see org.andromda.metafacades.uml.StateVertexFacade#getStateMachine()
      */
     public StateMachineFacade getStateMachine()
     {
         return this.getSuperFrontEndFinalState().getStateMachine();
     }
 
     /**
      * @see MetafacadeBase#initialize()
      */
     @Override
     public void initialize()
     {
         this.getSuperFrontEndFinalState().initialize();
     }
 
     /**
      * @return Object getSuperFrontEndFinalState().getValidationOwner()
      * @see MetafacadeBase#getValidationOwner()
      */
     @Override
     public Object getValidationOwner()
     {
         Object owner = this.getSuperFrontEndFinalState().getValidationOwner();
         return owner;
     }
 
     /**
      * @return String getSuperFrontEndFinalState().getValidationName()
      * @see MetafacadeBase#getValidationName()
      */
     @Override
     public String getValidationName()
     {
         String name = this.getSuperFrontEndFinalState().getValidationName();
         return name;
     }
 
     /**
      * <p><b>Constraint:</b> org::andromda::cartridges::jsf::metafacades::JSFFinalState::name must uniquely match usecase</p>
      * <p><b>Error:</b> The name of this final state must not be null and exactly match the name of a use-case. Alternatively it is possible to reference a use-case using an hyperlink (some UML tools support this). In both cases that use-case MUST carry the FrontEndUseCase stereotype. Finally you may also specify an actual hyperlink to an external resource, either in the final state's name, or as a webpage link as supported by some UML tools.</p>
      * <p><b>OCL:</b> context JSFFinalState inv: path->notEmpty()</p>
      * @param validationMessages Collection<ModelValidationMessage>
      * @see MetafacadeBase#validateInvariants(Collection validationMessages)
      */
     @Override
     public void validateInvariants(Collection<ModelValidationMessage> validationMessages)
     {
         this.getSuperFrontEndFinalState().validateInvariants(validationMessages);
         try
         {
             final Object contextElement = this.THIS();
             boolean constraintValid = OCLResultEnsurer.ensure(OCLCollections.notEmpty(OCLIntrospector.invoke(contextElement,"path")));
             if (!constraintValid)
             {
                 validationMessages.add(
                     new ModelValidationMessage(
                         (MetafacadeBase)contextElement ,
                         "org::andromda::cartridges::jsf::metafacades::JSFFinalState::name must uniquely match usecase",
                         "The name of this final state must not be null and exactly match the name of a use-case. Alternatively it is possible to reference a use-case using an hyperlink (some UML tools support this). In both cases that use-case MUST carry the FrontEndUseCase stereotype. Finally you may also specify an actual hyperlink to an external resource, either in the final state's name, or as a webpage link as supported by some UML tools."));
             }
         }
         catch (Throwable th)
         {
             Throwable cause = th.getCause();
             int depth = 0; // Some throwables have infinite recursion
             while (cause != null && depth < 7)
             {
                 th = cause;
                 depth++;
             }
             logger.error("Error validating constraint 'org::andromda::cartridges::jsf::metafacades::JSFFinalState::name must uniquely match usecase' ON "
                 + this.THIS().toString() + ": " + th.getMessage(), th);
         }
     }
 
     /**
      * The property that stores the name of the metafacade.
      */
     private static final String NAME_PROPERTY = "name";
     private static final String FQNAME_PROPERTY = "fullyQualifiedName";
 
     /**
      * @see Object#toString()
      */
     @Override
     public String toString()
     {
         final StringBuilder toString = new StringBuilder(this.getClass().getName());
         toString.append("[");
         try
         {
             toString.append(Introspector.instance().getProperty(this, FQNAME_PROPERTY));
         }
         catch (final Throwable tryAgain)
         {
             try
             {
                 toString.append(Introspector.instance().getProperty(this, NAME_PROPERTY));
             }
             catch (final Throwable ignore)
             {
                 // - just ignore when the metafacade doesn't have a name or fullyQualifiedName property
             }
         }
         toString.append("]");
         return toString.toString();
     }
 }