001// license-header java merge-point
002//
003// Attention: generated code (by Metafacade.vsl) - do not modify!
004//
005package org.andromda.cartridges.jsf2.metafacades;
006
007import org.andromda.metafacades.uml.FrontEndFinalState;
008import org.andromda.metafacades.uml.ModelElementFacade;
009
010/**
011 * Represents a final state in a JSF use case.
012 *
013 * Metafacade interface to be used by AndroMDA cartridges.
014 */
015public interface JSFFinalState
016    extends FrontEndFinalState
017{
018    /**
019     * Indicates the metafacade type (used for metafacade mappings).
020     *
021     * @return boolean always <code>true</code>
022     */
023    public boolean isJSFFinalStateMetaType();
024
025    /**
026     * The path to which this final state points.
027     * @return String
028     */
029    public String getPath();
030
031    /**
032     * The controller bean name to which this final state points.
033     * @return String
034     */
035    public String getTargetControllerBeanName();
036
037    /**
038     * The target controller to which this final state points.
039     * @return String
040     */
041    public String getTargetControllerFullyQualifiedName();
042
043    /**
044     * The element to which this final state points.
045     * @return ModelElementFacade
046     */
047    public ModelElementFacade getTargetElement();
048}