blob: 0da1c0d94f24f2754331e5dd9658a0c35f296a2d [file] [log] [blame]
/**
* <copyright>
*
* Copyright (c) 2010, 2013 E.D.Willink and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* E.D.Willink - initial API and implementation
*
* </copyright>
*
* $Id: DefCS.java,v 1.5 2011/03/11 20:23:52 ewillink Exp $
*/
package org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST;
import org.eclipse.ocl.examples.xtext.base.baseCST.TypedElementCS;
import org.eclipse.ocl.examples.xtext.essentialocl.essentialOCLCST.ExpSpecificationCS;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Def CS</b></em>'.
* <!-- end-user-doc -->
*
* <p>
* The following features are supported:
* <ul>
* <li>{@link org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.DefCS#getClassifierContextDecl <em>Classifier Context Decl</em>}</li>
* <li>{@link org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.DefCS#getSpecification <em>Specification</em>}</li>
* <li>{@link org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.DefCS#isStatic <em>Static</em>}</li>
* </ul>
* </p>
*
* @see org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.CompleteOCLCSTPackage#getDefCS()
* @model abstract="true"
* @generated
*/
public interface DefCS extends TypedElementCS {
/**
* Returns the value of the '<em><b>Classifier Context Decl</b></em>' container reference.
* It is bidirectional and its opposite is '{@link org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.ClassifierContextDeclCS#getDefinitions <em>Definitions</em>}'.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Classifier Context Decl</em>' container reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Classifier Context Decl</em>' container reference.
* @see org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.CompleteOCLCSTPackage#getDefCS_ClassifierContextDecl()
* @see org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.ClassifierContextDeclCS#getDefinitions
* @model opposite="definitions" transient="false" changeable="false"
* @generated
*/
ClassifierContextDeclCS getClassifierContextDecl();
/**
* Returns the value of the '<em><b>Specification</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Specification</em>' containment reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Specification</em>' containment reference.
* @see #setSpecification(ExpSpecificationCS)
* @see org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.CompleteOCLCSTPackage#getDefCS_Specification()
* @model containment="true"
* @generated
*/
ExpSpecificationCS getSpecification();
/**
* Sets the value of the '{@link org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.DefCS#getSpecification <em>Specification</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Specification</em>' containment reference.
* @see #getSpecification()
* @generated
*/
void setSpecification(ExpSpecificationCS value);
/**
* Returns the value of the '<em><b>Static</b></em>' attribute.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Static</em>' attribute isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Static</em>' attribute.
* @see #setStatic(boolean)
* @see org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.CompleteOCLCSTPackage#getDefCS_Static()
* @model
* @generated
*/
boolean isStatic();
/**
* Sets the value of the '{@link org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.DefCS#isStatic <em>Static</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Static</em>' attribute.
* @see #isStatic()
* @generated
*/
void setStatic(boolean value);
} // DefCS