org.aspsimon.termcomp.entity.xtc
Class Problem

java.lang.Object
  org.aspsimon.termcomp.entity.xtc.Problem

public class Problem
extends java.lang.Object

This is the root element representing a termination problem. Versioning Information: Version 0.31: adds the capability to have multiple originalfilename tags; removed the strategy=NONE. Version 0.3: adds the /problem/metainformation/originalfilename tag. Version 0.2: first official release Schema fragment(s) for this class:

 <xs:element xmlns:ns="http://dev.aspsimon.org/termcomp" xmlns:xs="http://www.w3.org/2001/XMLSchema" name="problem">
   <xs:complexType>
     <xs:sequence>
       <xs:element ref="ns:trs"/>
       <xs:element ref="ns:strategy"/>
       <xs:element ref="ns:startterm" minOccurs="0"/>
       <xs:element ref="ns:status" minOccurs="0"/>
       <xs:element ref="ns:metainformation" minOccurs="0"/>
     </xs:sequence>
     <xs:attribute use="required" name="type">
       <xs:simpleType>
         <!-- Reference to inner class Type -->
       </xs:simpleType>
     </xs:attribute>
   </xs:complexType>
 </xs:element>
 

Nested Class Summary

static class

Problem.Type Schema fragment(s) for this class:

Constructor Summary

Problem()

Method Summary

Metainformation	getMetainformation() Get the 'metainformation' element value.
Startterm	getStartterm() Get the 'startterm' element value.
Status	getStatus() Get the 'status' element value.
Strategy	getStrategy() Get the 'strategy' element value.
Trs	getTrs() Get the 'trs' element value.
Problem.Type	getType() Get the 'type' attribute value.
void	setMetainformation(Metainformation metainformation) Set the 'metainformation' element value.
void	setStartterm(Startterm startterm) Set the 'startterm' element value.
void	setStatus(Status status) Set the 'status' element value.
void	setStrategy(Strategy strategy) Set the 'strategy' element value.
void	setTrs(Trs trs) Set the 'trs' element value.
void	setType(Problem.Type type) Set the 'type' attribute value.

Methods inherited from class java.lang.Object

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

Constructor Detail

Problem

public Problem()

Method Detail

getTrs

public Trs getTrs()

Get the 'trs' element value.

Returns:

value

setTrs

public void setTrs(Trs trs)

Set the 'trs' element value.

Parameters:

trs -

getStrategy

public Strategy getStrategy()

Get the 'strategy' element value.

Returns:

value

setStrategy

public void setStrategy(Strategy strategy)

Set the 'strategy' element value.

Parameters:

strategy -

getStartterm

public Startterm getStartterm()

Get the 'startterm' element value.

Returns:

value

setStartterm

public void setStartterm(Startterm startterm)

Set the 'startterm' element value.

Parameters:

startterm -

getStatus

public Status getStatus()

Get the 'status' element value.

Returns:

value

setStatus

public void setStatus(Status status)

Set the 'status' element value.

Parameters:

status -

getMetainformation

public Metainformation getMetainformation()

Get the 'metainformation' element value.

Returns:

value

setMetainformation

public void setMetainformation(Metainformation metainformation)

Set the 'metainformation' element value.

Parameters:

metainformation -

getType

public Problem.Type getType()

Get the 'type' attribute value.

Returns:

value

setType

public void setType(Problem.Type type)

Set the 'type' attribute value.

Parameters:

type -