starlink.AutomataElements
Class Transition

java.lang.Object
  starlink.AutomataElements.Transition

public class Transition
extends java.lang.Object

Java class for anonymous complex type.

The following schema fragment specifies the expected content contained within this class.

 <complexType>
   <complexContent>
     <restriction base="{http://www.w3.org/2001/XMLSchema}anyType">
       <sequence>
         <element name="operation" type="{}networkprimitive"/>
         <element name="Message" type="{http://www.w3.org/2001/XMLSchema}string"/>
         <element name="toState" type="{http://www.w3.org/2001/XMLSchema}string"/>
       </sequence>
     </restriction>
   </complexContent>
 </complexType>
 

Field Summary

protected java.lang.String	message
protected Networkprimitive	operation
protected java.lang.String	toState

Constructor Summary

Transition()

Method Summary

java.lang.String	getMessage() Gets the value of the message property.
Networkprimitive	getOperation() Gets the value of the operation property.
java.lang.String	getToState() Gets the value of the toState property.
void	setMessage(java.lang.String value) Sets the value of the message property.
void	setOperation(Networkprimitive value) Sets the value of the operation property.
void	setToState(java.lang.String value) Sets the value of the toState property.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

operation

protected Networkprimitive operation

message

protected java.lang.String message

toState

protected java.lang.String toState

Constructor Detail

Transition

public Transition()

Method Detail

getOperation

public Networkprimitive getOperation()

Gets the value of the operation property.

Returns:

possible object is Networkprimitive

setOperation

public void setOperation(Networkprimitive value)

Sets the value of the operation property.

Parameters:

value - allowed object is Networkprimitive

getMessage

public java.lang.String getMessage()

Gets the value of the message property.

Returns:

possible object is String

setMessage

public void setMessage(java.lang.String value)

Sets the value of the message property.

Parameters:

value - allowed object is String

getToState

public java.lang.String getToState()

Gets the value of the toState property.

Returns:

possible object is String

setToState

public void setToState(java.lang.String value)

Sets the value of the toState property.

Parameters:

value - allowed object is String