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

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

/**
 * <!-- begin-user-doc -->
 * A representation of the model object '<em><b>Extension</b></em>'.
 * <!-- end-user-doc -->
 *
 * <p>
 * The following features are supported:
 * </p>
 * <ul>
 *   <li>{@link org.etsi.mts.tdl.Extension#getExtending <em>Extending</em>}</li>
 * </ul>
 *
 * @see org.etsi.mts.tdl.tdlPackage#getExtension()
 * @model
 * @generated
 */
public interface Extension extends Element
{
	/**
	 * Returns the value of the '<em><b>Extending</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the value of the '<em>Extending</em>' reference.
	 * @see #setExtending(PackageableElement)
	 * @see org.etsi.mts.tdl.tdlPackage#getExtension_Extending()
	 * @model required="true"
	 * @generated
	 */
	PackageableElement getExtending();

	/**
	 * Sets the value of the '{@link org.etsi.mts.tdl.Extension#getExtending <em>Extending</em>}' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @param value the new value of the '<em>Extending</em>' reference.
	 * @see #getExtending()
	 * @generated
	 */
	void setExtending(PackageableElement value);

	/**
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @model annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n                if (self.extending.oclIsKindOf(AnnotationType)) then\n                    OrderedSet { self.extending.oclAsType(AnnotationType).extension }\n                else\n                    if (self.extending.oclIsKindOf(ComponentType)) then\n                        OrderedSet { self.extending.oclAsType(ComponentType).extension }\n                    else\n                        if (self.extending.oclIsKindOf(GateType)) then\n                            OrderedSet { self.extending.oclAsType(GateType).extension }\n                        else\n                            if (self.extending.oclIsKindOf(StructuredDataType)) then\n                                self.extending.oclAsType(StructuredDataType).extension\n                            else\n                                if (self.extending.oclIsKindOf(SimpleDataType)) then\n                                    OrderedSet { self.extending.oclAsType(SimpleDataType).extension }\n                                else\n                                    OrderedSet { }\n                                endif\n                            endif\n                        endif\n                    endif\n                endif\n                '"
	 *        annotation="http://www.eclipse.org/OCL/Collection nullFree='false'"
	 * @generated
	 */
	EList<Extension> transitiveExtending();

	/**
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @model annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n                if (self.extending = e) then\n                    true\n                else\n                    if (self-&gt;closure(transitiveExtending())-&gt;includes(e)) then\n                        true\n                    else\n                        false\n                    endif \n                endif\n                '"
	 * @generated
	 */
	Boolean isExtending(PackageableElement e);

} // Extension
