org.eclipse.ocl.cst.OperationContextDeclCS Maven / Gradle / Ivy
/**
*
*
* Copyright (c) 2005, 2008 IBM Corporation, Zeligsoft Inc., 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:
* IBM - Initial API and implementation
* Zeligsoft - Bug 243976
*
*
*
* $Id: OperationContextDeclCS.java,v 1.4 2009/12/22 18:42:30 ewillink Exp $
*/
package org.eclipse.ocl.cst;
import org.eclipse.emf.common.util.EList;
/**
*
* A representation of the model object 'Operation Context Decl CS'.
*
*
*
* The following features are supported:
*
* - {@link org.eclipse.ocl.cst.OperationContextDeclCS#getOperationCS Operation CS}
* - {@link org.eclipse.ocl.cst.OperationContextDeclCS#getPrePostOrBodyDecls Pre Post Or Body Decls}
*
*
*
* @see org.eclipse.ocl.cst.CSTPackage#getOperationContextDeclCS()
* @model
* @generated
*/
public interface OperationContextDeclCS
extends ContextDeclCS {
/**
* Returns the value of the 'Operation CS' containment reference.
*
*
* If the meaning of the 'Operation CS' containment reference isn't clear,
* there really should be more of a description here...
*
*
* @return the value of the 'Operation CS' containment reference.
* @see #setOperationCS(OperationCS)
* @see org.eclipse.ocl.cst.CSTPackage#getOperationContextDeclCS_OperationCS()
* @model containment="true"
* @generated
*/
OperationCS getOperationCS();
/**
* Sets the value of the '{@link org.eclipse.ocl.cst.OperationContextDeclCS#getOperationCS Operation CS}' containment reference.
*
*
* @param value the new value of the 'Operation CS' containment reference.
* @see #getOperationCS()
* @generated
*/
void setOperationCS(OperationCS value);
/**
* Returns the value of the 'Pre Post Or Body Decls' containment reference list.
* The list contents are of type {@link org.eclipse.ocl.cst.PrePostOrBodyDeclCS}.
*
*
* If the meaning of the 'Pre Post Or Body Decls' containment reference list isn't clear,
* there really should be more of a description here...
*
*
* @return the value of the 'Pre Post Or Body Decls' containment reference list.
* @see org.eclipse.ocl.cst.CSTPackage#getOperationContextDeclCS_PrePostOrBodyDecls()
* @model containment="true" required="true"
* @generated
*/
EList getPrePostOrBodyDecls();
} // OperationContextDeclCS