001// license-header java merge-point
002//
003// Attention: generated code (by Metafacade.vsl) - do not modify!
004//
005package org.andromda.cartridges.jsf.metafacades;
006
007import org.andromda.metafacades.uml.FrontEndFinalState;
008
009/**
010 * Represents a final state in a JSF use case.
011 *
012 * Metafacade interface to be used by AndroMDA cartridges.
013 */
014public interface JSFFinalState
015    extends FrontEndFinalState
016{
017    /**
018     * Indicates the metafacade type (used for metafacade mappings).
019     *
020     * @return boolean always <code>true</code>
021     */
022    public boolean isJSFFinalStateMetaType();
023
024    /**
025     * The path to which this final state points.
026     * @return String
027     */
028    public String getPath();
029}