/** * <copyright> * </copyright> * */ package gr.upatras.ece.wcl.radl; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>rul Java param Int</b></em>'. * <!-- end-user-doc --> * * <p> * The following features are supported: * <ul> * <li>{@link gr.upatras.ece.wcl.radl.rulJava_paramInt#getIntValue <em>Int Value</em>}</li> * </ul> * </p> * * @see gr.upatras.ece.wcl.radl.RadlPackage#getrulJava_paramInt() * @model * @generated */ public interface rulJava_paramInt extends rulJava_param { /** * Returns the value of the '<em><b>Int Value</b></em>' attribute. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Int Value</em>' attribute isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Int Value</em>' attribute. * @see #setIntValue(int) * @see gr.upatras.ece.wcl.radl.RadlPackage#getrulJava_paramInt_IntValue() * @model * @generated */ int getIntValue(); /** * Sets the value of the '{@link gr.upatras.ece.wcl.radl.rulJava_paramInt#getIntValue <em>Int Value</em>}' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Int Value</em>' attribute. * @see #getIntValue() * @generated */ void setIntValue(int value); } // rulJava_paramInt