/** * <copyright> * Copyright (c) 2013 Willink Transformations, University of York, 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 * Adolfo Sanchez-Barbudo (University of York) - Bug397429 * </copyright> */ package org.eclipse.qvto.examples.pivot.imperativeocl; import org.eclipse.ocl.pivot.OCLExpression; import org.eclipse.ocl.pivot.Type; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>Typedef</b></em>'. * <!-- end-user-doc --> * * <p> * The following features are supported: * </p> * <ul> * <li>{@link org.eclipse.qvto.examples.pivot.imperativeocl.Typedef#getBase <em>Base</em>}</li> * <li>{@link org.eclipse.qvto.examples.pivot.imperativeocl.Typedef#getCondition <em>Condition</em>}</li> * </ul> * * @see org.eclipse.qvto.examples.pivot.imperativeocl.ImperativeOCLPackage#getTypedef() * @model * @generated */ public interface Typedef extends org.eclipse.ocl.pivot.Class { /** * Returns the value of the '<em><b>Base</b></em>' reference. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Base</em>' reference isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Base</em>' reference. * @see #setBase(Type) * @see org.eclipse.qvto.examples.pivot.imperativeocl.ImperativeOCLPackage#getTypedef_Base() * @model required="true" * @generated */ Type getBase(); /** * Sets the value of the '{@link org.eclipse.qvto.examples.pivot.imperativeocl.Typedef#getBase <em>Base</em>}' reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Base</em>' reference. * @see #getBase() * @generated */ void setBase(Type value); /** * Returns the value of the '<em><b>Condition</b></em>' containment reference. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Condition</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>Condition</em>' containment reference. * @see #setCondition(OCLExpression) * @see org.eclipse.qvto.examples.pivot.imperativeocl.ImperativeOCLPackage#getTypedef_Condition() * @model containment="true" * @generated */ OCLExpression getCondition(); /** * Sets the value of the '{@link org.eclipse.qvto.examples.pivot.imperativeocl.Typedef#getCondition <em>Condition</em>}' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Condition</em>' containment reference. * @see #getCondition() * @generated */ void setCondition(OCLExpression value); } // Typedef