blob: f29fbc69b5f920d57fdea61427825b7e4a94a8fd [file] [log] [blame]
/**
* Copyright (c) 2019 CEA LIST.
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* Nicolas FAUVERGUE (CEA LIST) nicolas.fauvergue@cea.fr - Initial API and implementation
*/
package org.eclipse.papyrus.sysml16.requirements;
import org.eclipse.emf.common.util.EList;
import org.eclipse.uml2.uml.NamedElement;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Satisfy</b></em>'.
* <!-- end-user-doc -->
*
* <!-- begin-model-doc -->
* A Satisfy relationship is a dependency between a requirement and a model element that fulfills the requirement. As with other dependencies, the arrow direction points from the satisfying (client) model element to the (supplier) requirement that is satisfied.
* <!-- end-model-doc -->
*
*
* @see org.eclipse.papyrus.sysml16.requirements.RequirementsPackage#getSatisfy()
* @model
* @generated
*/
public interface Satisfy extends Trace {
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model refRequired="true" refOrdered="false" resultMany="true" resultOrdered="false"
* @generated
*/
void getSatisfies(NamedElement ref, EList<Requirement> result);
} // Satisfy