blob: 666ede4f84d53088174f1be2665e9f42d2ce316e [file] [log] [blame]
/**
* Copyright (c) 2018 CEA LIST.
*
* 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:
* Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr
* - Initial API and Implementation
*/
package org.eclipse.efm.ecore.formalml.expression;
import org.eclipse.efm.ecore.formalml.common.NamedElement;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Value Element Specification</b></em>'.
* <!-- end-user-doc -->
*
* <p>
* The following features are supported:
* </p>
* <ul>
* <li>{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getKind <em>Kind</em>}</li>
* <li>{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getExpected <em>Expected</em>}</li>
* <li>{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getParent <em>Parent</em>}</li>
* <li>{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getElement <em>Element</em>}</li>
* <li>{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getArg <em>Arg</em>}</li>
* </ul>
*
* @see org.eclipse.efm.ecore.formalml.expression.ExpressionPackage#getValueElementSpecification()
* @model
* @generated
*/
public interface ValueElementSpecification extends Expression {
/**
* Returns the value of the '<em><b>Kind</b></em>' attribute.
* The default value is <code>"field"</code>.
* The literals are from the enumeration {@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecificationKind}.
* <!-- 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 -->
* @return the value of the '<em>Kind</em>' attribute.
* @see org.eclipse.efm.ecore.formalml.expression.ValueElementSpecificationKind
* @see #setKind(ValueElementSpecificationKind)
* @see org.eclipse.efm.ecore.formalml.expression.ExpressionPackage#getValueElementSpecification_Kind()
* @model default="field" required="true"
* @generated
*/
ValueElementSpecificationKind getKind();
/**
* Sets the value of the '{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getKind <em>Kind</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Kind</em>' attribute.
* @see org.eclipse.efm.ecore.formalml.expression.ValueElementSpecificationKind
* @see #getKind()
* @generated
*/
void setKind(ValueElementSpecificationKind value);
/**
* Returns the value of the '<em><b>Expected</b></em>' attribute.
* The default value is <code>"any"</code>.
* The literals are from the enumeration {@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecificationScheme}.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Expected</em>' attribute isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Expected</em>' attribute.
* @see org.eclipse.efm.ecore.formalml.expression.ValueElementSpecificationScheme
* @see #setExpected(ValueElementSpecificationScheme)
* @see org.eclipse.efm.ecore.formalml.expression.ExpressionPackage#getValueElementSpecification_Expected()
* @model default="any" required="true"
* @generated
*/
ValueElementSpecificationScheme getExpected();
/**
* Sets the value of the '{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getExpected <em>Expected</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Expected</em>' attribute.
* @see org.eclipse.efm.ecore.formalml.expression.ValueElementSpecificationScheme
* @see #getExpected()
* @generated
*/
void setExpected(ValueElementSpecificationScheme value);
/**
* Returns the value of the '<em><b>Parent</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Parent</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>Parent</em>' containment reference.
* @see #setParent(Expression)
* @see org.eclipse.efm.ecore.formalml.expression.ExpressionPackage#getValueElementSpecification_Parent()
* @model containment="true"
* @generated
*/
Expression getParent();
/**
* Sets the value of the '{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getParent <em>Parent</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Parent</em>' containment reference.
* @see #getParent()
* @generated
*/
void setParent(Expression value);
/**
* Returns the value of the '<em><b>Element</b></em>' reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Element</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</em>' reference.
* @see #setElement(NamedElement)
* @see org.eclipse.efm.ecore.formalml.expression.ExpressionPackage#getValueElementSpecification_Element()
* @model
* @generated
*/
NamedElement getElement();
/**
* Sets the value of the '{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getElement <em>Element</em>}' reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Element</em>' reference.
* @see #getElement()
* @generated
*/
void setElement(NamedElement value);
/**
* Returns the value of the '<em><b>Arg</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Arg</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>Arg</em>' containment reference.
* @see #setArg(Expression)
* @see org.eclipse.efm.ecore.formalml.expression.ExpressionPackage#getValueElementSpecification_Arg()
* @model containment="true"
* @generated
*/
Expression getArg();
/**
* Sets the value of the '{@link org.eclipse.efm.ecore.formalml.expression.ValueElementSpecification#getArg <em>Arg</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Arg</em>' containment reference.
* @see #getArg()
* @generated
*/
void setArg(Expression value);
} // ValueElementSpecification