/*
 * This file has been developed at the University of Munich, Chair for Programming & Software Engineering.
 * 
 * This file is licensed under the Eclipse Public License (EPL) 1.0
 * 
 */
package eu.mdd4soa.smm.behaviour;

import eu.mdd4soa.smm.data.Expression;

/**
 * <!-- begin-user-doc --> A representation of the model object '
 * <em><b>Loop</b></em>'. <!-- end-user-doc -->
 * 
 * <p>
 * The following features are supported:
 * <ul>
 * <li>{@link eu.mdd4soa.smm.behaviour.Loop#getLeaveCondition <em>Leave
 * Condition</em>}</li>
 * </ul>
 * </p>
 * 
 * @see eu.mdd4soa.smm.behaviour.ISMBehaviourPackage#getLoop()
 * @model
 * @generated
 */
public interface Loop extends PathBasedPartition {
	/**
	 * Returns the value of the '<em><b>Leave Condition</b></em>' containment
	 * reference. <!-- begin-user-doc -->
	 * <p>
	 * If the meaning of the '<em>Leave 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>Leave Condition</em>' containment
	 *         reference.
	 * @see #setLeaveCondition(Expression)
	 * @see eu.mdd4soa.smm.behaviour.ISMBehaviourPackage#getLoop_LeaveCondition()
	 * @model containment="true"
	 * @generated
	 */
	Expression getLeaveCondition();

	/**
	 * Sets the value of the '
	 * {@link eu.mdd4soa.smm.behaviour.Loop#getLeaveCondition
	 * <em>Leave Condition</em>}' containment reference. <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * 
	 * @param value the new value of the '<em>Leave Condition</em>' containment
	 *        reference.
	 * @see #getLeaveCondition()
	 * @generated
	 */
	void setLeaveCondition(Expression value);

} // Loop
