| /** | |
| * Copyright (c) 2020 CEA LIST. | |
| * | |
| * All rights reserved. This program and the accompanying materials | |
| * are made available under the terms of the Eclipse Public License v1.0 | |
| * which accompanies this distribution, and is available at | |
| * http://www.eclipse.org/legal/epl-v10.html\n\nContributors: | |
| * Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr | |
| * - Initial API and Implementation | |
| */ | |
| package org.eclipse.efm.ecore.formalml.statemachine; | |
| import org.eclipse.efm.ecore.formalml.common.NamedElement; | |
| import org.eclipse.emf.common.util.EList; | |
| /** | |
| * <!-- begin-user-doc --> | |
| * A representation of the model object '<em><b>Region</b></em>'. | |
| * <!-- end-user-doc --> | |
| * | |
| * <p> | |
| * The following features are supported: | |
| * </p> | |
| * <ul> | |
| * <li>{@link org.eclipse.efm.ecore.formalml.statemachine.Region#getVertex <em>Vertex</em>}</li> | |
| * </ul> | |
| * | |
| * @see org.eclipse.efm.ecore.formalml.statemachine.StatemachinePackage#getRegion() | |
| * @model | |
| * @generated | |
| */ | |
| public interface Region extends NamedElement { | |
| /** | |
| * Returns the value of the '<em><b>Vertex</b></em>' containment reference list. | |
| * The list contents are of type {@link org.eclipse.efm.ecore.formalml.statemachine.Vertex}. | |
| * <!-- begin-user-doc --> | |
| * <!-- end-user-doc --> | |
| * @return the value of the '<em>Vertex</em>' containment reference list. | |
| * @see org.eclipse.efm.ecore.formalml.statemachine.StatemachinePackage#getRegion_Vertex() | |
| * @model containment="true" | |
| * @generated | |
| */ | |
| EList<Vertex> getVertex(); | |
| } // Region |