| /******************************************************************************* |
| * Copyright (c) 2015, 2018 Willink Transformations and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v2.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v20.html |
| * |
| * Contributors: |
| * E.D.Willink - initial API and implementation |
| *******************************************************************************/ |
| /** |
| */ |
| package org.eclipse.qvtd.pivot.qvtschedule; |
| |
| import java.util.List; |
| |
| import org.eclipse.jdt.annotation.NonNull; |
| import org.eclipse.jdt.annotation.Nullable; |
| import org.eclipse.ocl.pivot.CompleteClass; |
| import org.eclipse.ocl.pivot.Type; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * A representation of the model object '<em><b>Class Datum</b></em>'. |
| * <!-- end-user-doc --> |
| * |
| * <!-- begin-model-doc --> |
| * A ClassDatum identifies a Class-typed object produced by one or more regions and consumed by one or more usually other regions. The object is passed by reference, possibly within a Connection. |
| * <!-- end-model-doc --> |
| * |
| * <p> |
| * The following features are supported: |
| * </p> |
| * <ul> |
| * <li>{@link org.eclipse.qvtd.pivot.qvtschedule.ClassDatum#getCompleteClasses <em>Complete Classes</em>}</li> |
| * <li>{@link org.eclipse.qvtd.pivot.qvtschedule.ClassDatum#getOwnedPropertyDatums <em>Owned Property Datums</em>}</li> |
| * <li>{@link org.eclipse.qvtd.pivot.qvtschedule.ClassDatum#getOwningScheduleModel <em>Owning Schedule Model</em>}</li> |
| * <li>{@link org.eclipse.qvtd.pivot.qvtschedule.ClassDatum#getReferredClass <em>Referred Class</em>}</li> |
| * <li>{@link org.eclipse.qvtd.pivot.qvtschedule.ClassDatum#getSuperClassDatums <em>Super Class Datums</em>}</li> |
| * </ul> |
| * |
| * @see org.eclipse.qvtd.pivot.qvtschedule.QVTschedulePackage#getClassDatum() |
| * @model |
| * @generated |
| */ |
| public interface ClassDatum extends AbstractDatum { |
| /** |
| * Returns the value of the '<em><b>Complete Classes</b></em>' reference list. |
| * The list contents are of type {@link org.eclipse.ocl.pivot.CompleteClass}. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of the '<em>Complete Classes</em>' reference list isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @return the value of the '<em>Complete Classes</em>' reference list. |
| * @see org.eclipse.qvtd.pivot.qvtschedule.QVTschedulePackage#getClassDatum_CompleteClasses() |
| * @model required="true" transient="true" derived="true" |
| * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2017/QVTschedule!ClassDatum!completeClasses'" |
| * @generated |
| */ |
| List<CompleteClass> getCompleteClasses(); |
| |
| /** |
| * Returns the value of the '<em><b>Owned Property Datums</b></em>' containment reference list. |
| * The list contents are of type {@link org.eclipse.qvtd.pivot.qvtschedule.PropertyDatum}. |
| * It is bidirectional and its opposite is '{@link org.eclipse.qvtd.pivot.qvtschedule.PropertyDatum#getOwningClassDatum <em>Owning Class Datum</em>}'. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of the '<em>Owned Property Datums</em>' containment reference list isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @return the value of the '<em>Owned Property Datums</em>' containment reference list. |
| * @see org.eclipse.qvtd.pivot.qvtschedule.QVTschedulePackage#getClassDatum_OwnedPropertyDatums() |
| * @see org.eclipse.qvtd.pivot.qvtschedule.PropertyDatum#getOwningClassDatum |
| * @model opposite="owningClassDatum" containment="true" |
| * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2017/QVTschedule!ClassDatum!ownedPropertyDatums'" |
| * @generated |
| */ |
| List<PropertyDatum> getOwnedPropertyDatums(); |
| |
| /** |
| * Returns the value of the '<em><b>Owning Schedule Model</b></em>' container reference. |
| * It is bidirectional and its opposite is '{@link org.eclipse.qvtd.pivot.qvtschedule.ScheduleModel#getOwnedClassDatums <em>Owned Class Datums</em>}'. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of the '<em>Owning Schedule Model</em>' container reference isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * The overall ScheduleModel in which this ClassDatum is contained. |
| * <!-- end-model-doc --> |
| * @return the value of the '<em>Owning Schedule Model</em>' container reference. |
| * @see #setOwningScheduleModel(ScheduleModel) |
| * @see org.eclipse.qvtd.pivot.qvtschedule.QVTschedulePackage#getClassDatum_OwningScheduleModel() |
| * @see org.eclipse.qvtd.pivot.qvtschedule.ScheduleModel#getOwnedClassDatums |
| * @model opposite="ownedClassDatums" required="true" transient="false" |
| * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2017/QVTschedule!ClassDatum!owningScheduleModel'" |
| * @generated |
| */ |
| ScheduleModel getOwningScheduleModel(); |
| |
| /** |
| * Sets the value of the '{@link org.eclipse.qvtd.pivot.qvtschedule.ClassDatum#getOwningScheduleModel <em>Owning Schedule Model</em>}' container reference. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @param value the new value of the '<em>Owning Schedule Model</em>' container reference. |
| * @see #getOwningScheduleModel() |
| * @generated |
| */ |
| void setOwningScheduleModel(ScheduleModel value); |
| |
| /** |
| * Returns the value of the '<em><b>Referred Class</b></em>' reference. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of the '<em>Referred Class</em>' reference isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @return the value of the '<em>Referred Class</em>' reference. |
| * @see #setReferredClass(org.eclipse.ocl.pivot.Class) |
| * @see org.eclipse.qvtd.pivot.qvtschedule.QVTschedulePackage#getClassDatum_ReferredClass() |
| * @model required="true" |
| * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2017/QVTschedule!ClassDatum!referredClass'" |
| * @generated |
| */ |
| org.eclipse.ocl.pivot.Class getReferredClass(); |
| |
| /** |
| * Sets the value of the '{@link org.eclipse.qvtd.pivot.qvtschedule.ClassDatum#getReferredClass <em>Referred Class</em>}' reference. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @param value the new value of the '<em>Referred Class</em>' reference. |
| * @see #getReferredClass() |
| * @generated |
| */ |
| void setReferredClass(org.eclipse.ocl.pivot.Class value); |
| |
| /** |
| * Returns the value of the '<em><b>Super Class Datums</b></em>' reference list. |
| * The list contents are of type {@link org.eclipse.qvtd.pivot.qvtschedule.ClassDatum}. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of the '<em>Super Class Datums</em>' reference list isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @return the value of the '<em>Super Class Datums</em>' reference list. |
| * @see org.eclipse.qvtd.pivot.qvtschedule.QVTschedulePackage#getClassDatum_SuperClassDatums() |
| * @model transient="true" |
| * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2017/QVTschedule!ClassDatum!superClassDatums'" |
| * @generated |
| */ |
| List<ClassDatum> getSuperClassDatums(); |
| |
| @Nullable List<@NonNull CompleteClass> basicGetCompleteClasses(); |
| @NonNull Type getCollectionElementType(); |
| org.eclipse.ocl.pivot.@NonNull Class getPrimaryClass(); |
| |
| /** |
| * Return true if the type is not a DataType/AnyType/InvalidType/VoidType. |
| */ |
| boolean isCheckable(); |
| |
| boolean isCollectionType(); |
| |
| boolean isDataType(); |
| } // ClassDatum |