/**
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* Copyright (C) 2007 Matthias Braeuer (braeuer.matthias@web.de). *
* All rights reserved. *
* *
* This work was done as a project at the Chair for Software Technology, *
* Dresden University Of Technology, Germany (http://st.inf.tu-dresden.de). *
* It is understood that any modification not identified as such is not *
* covered by the preceding statement. *
* *
* This work is free software; you can redistribute it and/or modify it *
* under the terms of the GNU Library General Public License as published *
* by the Free Software Foundation; either version 2 of the License, or *
* (at your option) any later version. *
* *
* This work is distributed in the hope that it will be useful, but WITHOUT *
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or *
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public *
* License for more details. *
* *
* You should have received a copy of the GNU Library General Public License *
* along with this library; if not, you can view it online at *
* http://www.fsf.org/licensing/licenses/gpl.html. *
* *
* To submit a bug report, send a comment, or get the latest news on this *
* project, please visit the website: http://dresden-ocl.sourceforge.net. *
* For more information on OCL and related projects visit the OCL Portal: *
* http://st.inf.tu-dresden.de/ocl *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
*
* $Id$
*/
package org.dresdenocl.essentialocl.types;
import java.util.List;
import org.dresdenocl.essentialocl.expressions.CollectionKind;
import org.dresdenocl.pivotmodel.Type;
import org.dresdenocl.pivotmodel.TypeParameter;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Collection Type</b></em>'.
* <!-- end-user-doc -->
*
* <p>
* The following features are supported:
* <ul>
* <li>{@link org.dresdenocl.essentialocl.types.CollectionType#getElementType <em>Element Type</em>}</li>
* <li>{@link org.dresdenocl.essentialocl.types.CollectionType#getOclLibrary <em>Ocl Library</em>}</li>
* <li>{@link org.dresdenocl.essentialocl.types.CollectionType#getKind <em>Kind</em>}</li>
* </ul>
* </p>
*
* @generated
*/
public interface CollectionType extends Type {
/**
* Returns the value of the '<em><b>Element Type</b></em>' reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Element Type</em>' reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Element Type</em>' reference.
* @see #setElementType(Type)
* @generated
*/
Type getElementType();
/**
* Sets the value of the '{@link org.dresdenocl.essentialocl.types.CollectionType#getElementType <em>Element Type</em>}' reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Element Type</em>' reference.
* @see #getElementType()
* @generated
*/
void setElementType(Type value);
/**
* Returns the value of the '<em><b>Ocl Library</b></em>' reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Ocl Library</em>' reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* <p>
* The reference to the {@link OclLibrary} facade class is necessary
* for determining type conformance and common super types. This
* implementation uses a dependency injection approach. Whenever
* a <code>CollectionType</code> is created, the reference to the
* <code>OclLibrary</code> should be set. Note that the old toolkit
* used a Singleton approach which is not repeated here to maintain
* clear interfaces.
* </p>
* <!-- end-model-doc -->
* @return the value of the '<em>Ocl Library</em>' reference.
* @see #setOclLibrary(OclLibrary)
* @generated
*/
OclLibrary getOclLibrary();
/**
* Sets the value of the '{@link org.dresdenocl.essentialocl.types.CollectionType#getOclLibrary <em>Ocl Library</em>}' reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Ocl Library</em>' reference.
* @see #getOclLibrary()
* @generated
*/
void setOclLibrary(OclLibrary value);
/**
* Returns the value of the '<em><b>Kind</b></em>' attribute.
* The literals are from the enumeration {@link org.dresdenocl.essentialocl.expressions.CollectionKind}.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Kind</em>' attribute isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* <p>
* Identifies the kind of this <code>CollectionType</code>. This is necessary
* to clearly differentiate an instance of <code>CollectionType</code> from
* instances of its subclasses. This is required when determining type conformance
* of one collection type with another (see the documentation of {@link #conformsTo}).
* Unfortunately, there is no equivalent in Java for the OCL <code>oclIsTypeOf</code>
* operation. The <code>instanceof</code> operator cannot be used since it would
* return <code>true</code> for subclasses as well.
* </p>
* <!-- end-model-doc -->
* @return the value of the '<em>Kind</em>' attribute.
* @see org.dresdenocl.essentialocl.expressions.CollectionKind
* @see #setKind(CollectionKind)
* @generated
*/
CollectionKind getKind();
/**
* Sets the value of the '{@link org.dresdenocl.essentialocl.types.CollectionType#getKind <em>Kind</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Kind</em>' attribute.
* @see org.dresdenocl.essentialocl.expressions.CollectionKind
* @see #getKind()
* @generated
*/
void setKind(CollectionKind value);
/**
* Overridden to specialize the co-variant return type to <code>CollectionType</code>.
*
* @see org.dresdenocl.pivotmodel.GenericElement#bindTypeParameter(java.util.List, java.util.List)
*/
CollectionType bindTypeParameter(List<TypeParameter> parameters,
List<? extends Type> types);
} // CollectionType