//
   // This file was generated by the Eclipse Implementation of JAXB, v3.0.2 
   // See https://eclipse-ee4j.github.io/jaxb-ri 
   // Any modifications to this file will be lost upon recompilation of the source schema. 
   // Generated on: 2022.02.28 at 10:57:04 AM AEDT 
   //
   
   
   package xuml.tools.miuml.metamodel.jaxb;
  
  import java.math.BigInteger;
  import jakarta.xml.bind.annotation.XmlAccessType;
  import jakarta.xml.bind.annotation.XmlAccessorType;
  import jakarta.xml.bind.annotation.XmlAttribute;
  import jakarta.xml.bind.annotation.XmlType;
  
  
  /**
   * <p>Java class for Transition complex type.
   * 
   * <p>The following schema fragment specifies the expected content contained within this class.
   * 
   * <pre>
   * &lt;complexType name="Transition"&gt;
   *   &lt;complexContent&gt;
   *     &lt;extension base="{http://www.miuml.org/metamodel}EventResponse"&gt;
   *       &lt;attribute name="State" use="required" type="{http://www.miuml.org/metamodel}Name" /&gt;
   *       &lt;attribute name="Destination" use="required" type="{http://www.miuml.org/metamodel}Name" /&gt;
   *       &lt;attribute name="EventID" use="required" type="{http://www.miuml.org/metamodel}Nominal" /&gt;
   *     &lt;/extension&gt;
   *   &lt;/complexContent&gt;
   * &lt;/complexType&gt;
   * </pre>
   * 
   * 
   */
  @XmlAccessorType(XmlAccessType.FIELD)
  @XmlType(name = "Transition")
  public class Transition
      extends EventResponse
  {
  
      @XmlAttribute(name = "State", required = true)
      protected String state;
      @XmlAttribute(name = "Destination", required = true)
      protected String destination;
      @XmlAttribute(name = "EventID", required = true)
      protected BigInteger eventID;
  
      /**
       * Gets the value of the state property.
       * 
       * @return
       *     possible object is
       *     {@link String }
       *     
       */
      public String getState() {
          return state;
      }
  
      /**
       * Sets the value of the state property.
       * 
       * @param value
       *     allowed object is
       *     {@link String }
       *     
       */
      public void setState(String value) {
          this.state = value;
      }
  
      /**
       * Gets the value of the destination property.
       * 
       * @return
       *     possible object is
       *     {@link String }
       *     
       */
      public String getDestination() {
          return destination;
      }
  
      /**
       * Sets the value of the destination property.
       * 
       * @param value
       *     allowed object is
       *     {@link String }
       *     
       */
      public void setDestination(String value) {
          this.destination = value;
      }
  
      /**
       * Gets the value of the eventID property.
      * 
      * @return
      *     possible object is
      *     {@link BigInteger }
      *     
      */
     public BigInteger getEventID() {
         return eventID;
     }
 
     /**
      * Sets the value of the eventID property.
      * 
      * @param value
      *     allowed object is
      *     {@link BigInteger }
      *     
      */
     public void setEventID(BigInteger value) {
         this.eventID = value;
     }
 
 }