/**
 */
package org.etsi.mts.tdl;

import org.eclipse.emf.common.util.EList;

/**
 * <!-- begin-user-doc -->
 * A representation of the model object '<em><b>Data Use</b></em>'.
 * <!-- end-user-doc -->
 *
 * <p>
 * The following features are supported:
 * </p>
 * <ul>
 *   <li>{@link org.etsi.mts.tdl.DataUse#getArgument <em>Argument</em>}</li>
 *   <li>{@link org.etsi.mts.tdl.DataUse#getReduction <em>Reduction</em>}</li>
 * </ul>
 *
 * @see org.etsi.mts.tdl.tdlPackage#getDataUse()
 * @model abstract="true"
 * @generated
 */
public interface DataUse extends Element
{
	/**
	 * Returns the value of the '<em><b>Argument</b></em>' containment reference list.
	 * The list contents are of type {@link org.etsi.mts.tdl.ParameterBinding}.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the value of the '<em>Argument</em>' containment reference list.
	 * @see org.etsi.mts.tdl.tdlPackage#getDataUse_Argument()
	 * @model containment="true"
	 * @generated
	 */
	EList<ParameterBinding> getArgument();

	/**
	 * Returns the value of the '<em><b>Reduction</b></em>' containment reference list.
	 * The list contents are of type {@link org.etsi.mts.tdl.MemberReference}.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the value of the '<em>Reduction</em>' containment reference list.
	 * @see org.etsi.mts.tdl.tdlPackage#getDataUse_Reduction()
	 * @model containment="true"
	 * @generated
	 */
	EList<MemberReference> getReduction();

	/**
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @model annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='null'"
	 * @generated
	 */
	DataType resolveDataType();

	/**
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @model kind="operation" required="true"
	 *        annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n                (self.oclIsKindOf(StaticDataUse)\n                    or (self.oclIsKindOf(DataElementUse) and \n                        (self.oclAsType(DataElementUse).dataElement.oclIsUndefined()\n                            or self.oclAsType(DataElementUse).dataElement.oclIsKindOf(DataInstance)\n                            or self.oclAsType(DataElementUse).dataElement.oclIsKindOf(DataType)\n                        )\n                    )\n                )\n                and self.argument-&gt;forAll(a | a.dataUse.isEffectivelyStatic())\n                '"
	 * @generated
	 */
	boolean isEffectivelyStatic();

} // DataUse
