/** * Copyright (c) 2012-2016 Marsha Chechik, Alessio Di Sandro, Michalis Famelis, * Rick Salay. * 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: * Alessio Di Sandro - Implementation. */ package edu.toronto.cs.se.modelepedia.petrinet; import org.eclipse.emf.ecore.EObject; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>Arc</b></em>'. * <!-- end-user-doc --> * * <p> * The following features are supported: * <ul> * <li>{@link edu.toronto.cs.se.modelepedia.petrinet.Arc#getWeight <em>Weight</em>}</li> * <li>{@link edu.toronto.cs.se.modelepedia.petrinet.Arc#getSrc <em>Src</em>}</li> * <li>{@link edu.toronto.cs.se.modelepedia.petrinet.Arc#getTgt <em>Tgt</em>}</li> * </ul> * </p> * * @see edu.toronto.cs.se.modelepedia.petrinet.PetriNetPackage#getArc() * @model annotation="http://www.eclipse.org/emf/2002/Ecore constraints='nodeTypes'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot nodeTypes='src.oclIsKindOf(Place) and tgt.oclIsKindOf(Transition) or src.oclIsKindOf(Transition) and tgt.oclIsKindOf(Place)'" * @generated */ public interface Arc extends EObject { /** * Returns the value of the '<em><b>Weight</b></em>' attribute. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Weight</em>' attribute isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Weight</em>' attribute. * @see #setWeight(int) * @see edu.toronto.cs.se.modelepedia.petrinet.PetriNetPackage#getArc_Weight() * @model required="true" * @generated */ int getWeight(); /** * Sets the value of the '{@link edu.toronto.cs.se.modelepedia.petrinet.Arc#getWeight <em>Weight</em>}' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Weight</em>' attribute. * @see #getWeight() * @generated */ void setWeight(int value); /** * Returns the value of the '<em><b>Src</b></em>' reference. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Src</em>' reference isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Src</em>' reference. * @see #setSrc(Node) * @see edu.toronto.cs.se.modelepedia.petrinet.PetriNetPackage#getArc_Src() * @model required="true" * @generated */ Node getSrc(); /** * Sets the value of the '{@link edu.toronto.cs.se.modelepedia.petrinet.Arc#getSrc <em>Src</em>}' reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Src</em>' reference. * @see #getSrc() * @generated */ void setSrc(Node value); /** * Returns the value of the '<em><b>Tgt</b></em>' reference. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Tgt</em>' reference isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Tgt</em>' reference. * @see #setTgt(Node) * @see edu.toronto.cs.se.modelepedia.petrinet.PetriNetPackage#getArc_Tgt() * @model required="true" * @generated */ Node getTgt(); /** * Sets the value of the '{@link edu.toronto.cs.se.modelepedia.petrinet.Arc#getTgt <em>Tgt</em>}' reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Tgt</em>' reference. * @see #getTgt() * @generated */ void setTgt(Node value); } // Arc