001// license-header java merge-point
002//
003// Attention: generated code (by Metafacade.vsl) - do not modify!
004//
005package org.andromda.metafacades.uml;
006
007import java.util.Collection;
008
009/**
010 * A representation of the model object 'Region'. An orthogonal part of either a composite state or
011 * a state machine. It contains states and transitions.
012 *
013 * Metafacade interface to be used by AndroMDA cartridges.
014 */
015public interface PartitionFacade
016    extends ModelElementFacade
017{
018    /**
019     * Indicates the metafacade type (used for metafacade mappings).
020     *
021     * @return boolean always <code>true</code>
022     */
023    public boolean isPartitionFacadeMetaType();
024
025    /**
026     * State machines can be used to express the behavior of part of a system. Behavior is modeled
027     * as a
028     * traversal of a graph of state nodes interconnected by one or more joined transition arcs that
029     * are
030     * triggered by the dispatching of series of (event) occurrences. During this traversal, the
031     * state
032     * machine executes a series of activities associated with various elements of the state
033     * machine.
034     * @return ActivityGraphFacade
035     */
036    public ActivityGraphFacade getActivityGraph();
037
038    /**
039     * All vertices enveloped by this partition.
040     * @return Collection<StateVertexFacade>
041     */
042    public Collection<StateVertexFacade> getVertices();
043}