/******************************************************************************* * Copyright (c) 2010 Michal Antkiewicz. * 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 * * Contributors: * Michal Antkiewicz - initial API and implementation ******************************************************************************/ package ca.uwaterloo.gsd.fsml.fsml; import java.util.Map; import org.eclipse.emf.common.util.DiagnosticChain; import org.eclipse.emf.ecore.EObject; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>Concept</b></em>'. * <!-- end-user-doc --> * * * @see ca.uwaterloo.gsd.fsml.fsml.FsmlPackage#getConcept() * @model abstract="true" * @generated */ public interface Concept extends EObject { /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @model * @generated */ boolean inv_mandatoryFeatures(DiagnosticChain diagnostics, Map<Object, Object> context); /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @model * @generated */ boolean inv_featureGroupConstraint(DiagnosticChain diagnostics, Map<Object, Object> context); } // Concept