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

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

public class AutomatonType
extends Object

Java class for automatonType complex type.

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

 <complexType name="automatonType">
   <complexContent>
     <restriction base="{http://www.w3.org/2001/XMLSchema}anyType">
       <sequence>
         <element name="state" type="{http://ls5www.cs.tu-dortmund.de/learnlib/XML}stateType" maxOccurs="unbounded" minOccurs="0"/>
         <element name="transition" type="{http://ls5www.cs.tu-dortmund.de/learnlib/XML}transitionType" maxOccurs="unbounded" minOccurs="0"/>
         <element name="userObject" type="{http://www.w3.org/2001/XMLSchema}string" minOccurs="0"/>
         <element name="documentation" type="{http://www.w3.org/2001/XMLSchema}string" minOccurs="0"/>
         <element name="tag" type="{http://www.w3.org/2001/XMLSchema}string" maxOccurs="unbounded" minOccurs="0"/>
       </sequence>
       <attribute name="prefixClosed" type="{http://www.w3.org/2001/XMLSchema}boolean" />
       <attribute name="minimal" type="{http://www.w3.org/2001/XMLSchema}boolean" />
       <attribute name="annotated" type="{http://www.w3.org/2001/XMLSchema}boolean" />
       <attribute name="info" type="{http://www.w3.org/2001/XMLSchema}string" />
       <attribute name="helper" use="required" type="{http://www.w3.org/2001/XMLSchema}string" />
       <attribute name="version" use="required" type="{http://www.w3.org/2001/XMLSchema}string" />
     </restriction>
   </complexContent>
 </complexType>
 

Field Summary

protected Boolean	annotated
protected String	documentation
protected String	helper
protected String	info
protected Boolean	minimal
protected Boolean	prefixClosed
protected List<StateType>	state
protected List<String>	tag
protected List<TransitionType>	transition
protected String	userObject
protected String	version

Constructor Summary

AutomatonType()

Method Summary

String	getDocumentation() Gets the value of the documentation property.
String	getHelper() Gets the value of the helper property.
String	getInfo() Gets the value of the info property.
List<StateType>	getState() Gets the value of the state property.
List<String>	getTag() Gets the value of the tag property.
List<TransitionType>	getTransition() Gets the value of the transition property.
String	getUserObject() Gets the value of the userObject property.
String	getVersion() Gets the value of the version property.
Boolean	isAnnotated() Gets the value of the annotated property.
Boolean	isMinimal() Gets the value of the minimal property.
Boolean	isPrefixClosed() Gets the value of the prefixClosed property.
void	setAnnotated(Boolean value) Sets the value of the annotated property.
void	setDocumentation(String value) Sets the value of the documentation property.
void	setHelper(String value) Sets the value of the helper property.
void	setInfo(String value) Sets the value of the info property.
void	setMinimal(Boolean value) Sets the value of the minimal property.
void	setPrefixClosed(Boolean value) Sets the value of the prefixClosed property.
void	setUserObject(String value) Sets the value of the userObject property.
void	setVersion(String value) Sets the value of the version property.

Methods inherited from class java.lang.Object

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

Field Detail

state

protected List<StateType> state

transition

protected List<TransitionType> transition

userObject

protected String userObject

documentation

protected String documentation

tag

protected List<String> tag

prefixClosed

protected Boolean prefixClosed

minimal

protected Boolean minimal

annotated

protected Boolean annotated

info

protected String info

helper

protected String helper

version

protected String version

Constructor Detail

AutomatonType

public AutomatonType()

Method Detail

getState

public List<StateType> getState()

Gets the value of the state property.

This accessor method returns a reference to the live list, not a snapshot. Therefore any modification you make to the returned list will be present inside the JAXB object. This is why there is not a set method for the state property.

For example, to add a new item, do as follows:

    getState().add(newItem);
 

Objects of the following type(s) are allowed in the list StateType

getTransition

public List<TransitionType> getTransition()

Gets the value of the transition property.

This accessor method returns a reference to the live list, not a snapshot. Therefore any modification you make to the returned list will be present inside the JAXB object. This is why there is not a set method for the transition property.

For example, to add a new item, do as follows:

    getTransition().add(newItem);
 

Objects of the following type(s) are allowed in the list TransitionType

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

getDocumentation

public String getDocumentation()

Gets the value of the documentation property.

Returns:

possible object is String

setDocumentation

public void setDocumentation(String value)

Sets the value of the documentation property.

Parameters:

value - allowed object is String

getTag

public List<String> getTag()

Gets the value of the tag property.

This accessor method returns a reference to the live list, not a snapshot. Therefore any modification you make to the returned list will be present inside the JAXB object. This is why there is not a set method for the tag property.

For example, to add a new item, do as follows:

    getTag().add(newItem);
 

Objects of the following type(s) are allowed in the list String

isPrefixClosed

public Boolean isPrefixClosed()

Gets the value of the prefixClosed property.

Returns:

possible object is Boolean

setPrefixClosed

public void setPrefixClosed(Boolean value)

Sets the value of the prefixClosed property.

Parameters:

value - allowed object is Boolean

isMinimal

public Boolean isMinimal()

Gets the value of the minimal property.

Returns:

possible object is Boolean

setMinimal

public void setMinimal(Boolean value)

Sets the value of the minimal property.

Parameters:

value - allowed object is Boolean

isAnnotated

public Boolean isAnnotated()

Gets the value of the annotated property.

Returns:

possible object is Boolean

setAnnotated

public void setAnnotated(Boolean value)

Sets the value of the annotated property.

Parameters:

value - allowed object is Boolean

getInfo

public String getInfo()

Gets the value of the info property.

Returns:

possible object is String

setInfo

public void setInfo(String value)

Sets the value of the info property.

Parameters:

value - allowed object is String

getHelper

public String getHelper()

Gets the value of the helper property.

Returns:

possible object is String

setHelper

public void setHelper(String value)

Sets the value of the helper property.

Parameters:

value - allowed object is String

getVersion

public String getVersion()

Gets the value of the version property.

Returns:

possible object is String

setVersion

public void setVersion(String value)

Sets the value of the version property.

Parameters:

value - allowed object is String