de.ls5.jlearn.util.xml.generated
Class TransitionType

java.lang.Object
  de.ls5.jlearn.util.xml.generated.TransitionType

public class TransitionType
extends Object

Java class for transitionType complex type.

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

 <complexType name="transitionType">
   <complexContent>
     <restriction base="{http://www.w3.org/2001/XMLSchema}anyType">
       <sequence>
         <element name="input" type="{http://ls5www.cs.tu-dortmund.de/learnlib/XML}symbolType"/>
         <element name="output" type="{http://ls5www.cs.tu-dortmund.de/learnlib/XML}symbolType" minOccurs="0"/>
         <element name="userObject" type="{http://www.w3.org/2001/XMLSchema}string" minOccurs="0"/>
       </sequence>
       <attribute name="dest" use="required" type="{http://ls5www.cs.tu-dortmund.de/learnlib/XML}stateIdType" />
       <attribute name="source" use="required" type="{http://ls5www.cs.tu-dortmund.de/learnlib/XML}stateIdType" />
     </restriction>
   </complexContent>
 </complexType>
 

Field Summary

protected String	dest
protected String	input
protected String	output
protected String	source
protected String	userObject

Constructor Summary

TransitionType()

Method Summary

String	getDest() Gets the value of the dest property.
String	getInput() Gets the value of the input property.
String	getOutput() Gets the value of the output property.
String	getSource() Gets the value of the source property.
String	getUserObject() Gets the value of the userObject property.
void	setDest(String value) Sets the value of the dest property.
void	setInput(String value) Sets the value of the input property.
void	setOutput(String value) Sets the value of the output property.
void	setSource(String value) Sets the value of the source property.
void	setUserObject(String value) Sets the value of the userObject property.

Methods inherited from class java.lang.Object

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

Field Detail

input

protected String input

output

protected String output

userObject

protected String userObject

dest

protected String dest

source

protected String source

Constructor Detail

TransitionType

public TransitionType()

Method Detail

getInput

public String getInput()

Gets the value of the input property.

Returns:

possible object is String

setInput

public void setInput(String value)

Sets the value of the input property.

Parameters:

value - allowed object is String

getOutput

public String getOutput()

Gets the value of the output property.

Returns:

possible object is String

setOutput

public void setOutput(String value)

Sets the value of the output property.

Parameters:

value - allowed object is String

getUserObject

public String getUserObject()

Gets the value of the userObject property.

Returns:

possible object is String

setUserObject

public void setUserObject(String value)

Sets the value of the userObject property.

Parameters:

value - allowed object is String

getDest

public String getDest()

Gets the value of the dest property.

Returns:

possible object is String

setDest

public void setDest(String value)

Sets the value of the dest property.

Parameters:

value - allowed object is String

getSource

public String getSource()

Gets the value of the source property.

Returns:

possible object is String

setSource

public void setSource(String value)

Sets the value of the source property.

Parameters:

value - allowed object is String