org.aspsimon.termcomp.entity
Class Result

java.lang.Object
  org.aspsimon.termcomp.entity.Result

All Implemented Interfaces:

java.io.Serializable

public class Result
extends java.lang.Object
implements java.io.Serializable

This class is the single result returned by a ToolImplementation for a given problem. As of version 1.0.2 of termcomp, this class now utilises the TerminationProblem entity hierarchy.

Version:

$Revision: 111 $

Author:

Simon Bailey

See Also:

Serialized Form

Constructor Summary

Result()

Method Summary

Category	getCategory()
java.lang.String	getCertificationStdOut()
java.lang.Long	getCertificationTime()
java.lang.Boolean	getCertified()
Competition	getCompetition()
java.lang.String	getComplexResult()
java.sql.Timestamp	getExecutionDate()
FPProblem	getFpProblem() Deprecated. since Version 1.0.2
LPProblem	getLpProblem() Deprecated. since Version 1.0.2
java.lang.Long	getResultId()
static long	getSerialVersionUID()
java.lang.String	getSingleResult()
SRSProblem	getSrsProblem() Deprecated. since Version 1.0.2
java.lang.String	getStdErr()
java.lang.String	getStdOut()
TerminationProblem	getTermprob()
ToolImplementation	getToolImplementation()
TRSProblem	getTrsProblem() Deprecated. since Version 1.0.2
java.lang.Long	getWallClockTime()
boolean	isHtmlOutput()
void	prepersist()
void	setCategory(Category category)
void	setCertificationStdOut(java.lang.String certificationStdOut)
void	setCertificationTime(java.lang.Long certificationTime)
void	setCertified(java.lang.Boolean certified)
void	setCompetition(Competition competition)
void	setComplexResult(java.lang.String complexResult)
void	setExecutionDate(java.sql.Timestamp executionDate)
void	setFpProblem(FPProblem fpProblem) Deprecated. since Version 1.0.2
void	setLpProblem(LPProblem lpProblem) Deprecated. since Version 1.0.2
void	setResultId(java.lang.Long resultId)
void	setSingleResult(java.lang.String singleResult)
void	setSrsProblem(SRSProblem srsProblem) Deprecated. since Version 1.0.2
void	setStdErr(java.lang.String stdErr)
void	setStdOut(java.lang.String stdOut)
void	setTermprob(TerminationProblem termprob)
void	setToolImplementation(ToolImplementation toolImplementation)
void	setTrsProblem(TRSProblem trsProblem) Deprecated. since Version 1.0.2
void	setWallClockTime(java.lang.Long wallClockTime)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Result

public Result()

Method Detail

getSerialVersionUID

public static long getSerialVersionUID()

Returns:

the serialVersionUID

getResultId

public java.lang.Long getResultId()

Returns:

the resultId

getToolImplementation

public ToolImplementation getToolImplementation()

Returns:

the toolImplementation

getTermprob

public TerminationProblem getTermprob()

Returns:

the termprob

getTrsProblem

public TRSProblem getTrsProblem()

Deprecated. since Version 1.0.2

Returns:

the trsProblem

getSrsProblem

public SRSProblem getSrsProblem()

Deprecated. since Version 1.0.2

Returns:

the srsProblem

getFpProblem

public FPProblem getFpProblem()

Deprecated. since Version 1.0.2

Returns:

the fpProblem

getLpProblem

public LPProblem getLpProblem()

Deprecated. since Version 1.0.2

Returns:

the lpProblem

getWallClockTime

public java.lang.Long getWallClockTime()

Returns:

the wallClockTime

getSingleResult

public java.lang.String getSingleResult()

Returns:

the singleResult

getStdOut

public java.lang.String getStdOut()

Returns:

the stdOut

getStdErr

public java.lang.String getStdErr()

Returns:

the stdErr

getCategory

public Category getCategory()

Returns:

the category

getExecutionDate

public java.sql.Timestamp getExecutionDate()

Returns:

the executionDate

getComplexResult

public java.lang.String getComplexResult()

Returns:

the complexResult

getCertified

public java.lang.Boolean getCertified()

Returns:

the certified

getCertificationTime

public java.lang.Long getCertificationTime()

Returns:

the certificationTime

getCertificationStdOut

public java.lang.String getCertificationStdOut()

Returns:

the certificationStdOut

setResultId

public void setResultId(java.lang.Long resultId)

Parameters:

resultId - the resultId to set

setToolImplementation

public void setToolImplementation(ToolImplementation toolImplementation)

Parameters:

toolImplementation - the toolImplementation to set

setTermprob

public void setTermprob(TerminationProblem termprob)

Parameters:

termprob - the termprob to set

setTrsProblem

public void setTrsProblem(TRSProblem trsProblem)

Deprecated. since Version 1.0.2

Parameters:

trsProblem - the trsProblem to set

setSrsProblem

public void setSrsProblem(SRSProblem srsProblem)

Deprecated. since Version 1.0.2

Parameters:

srsProblem - the srsProblem to set

setFpProblem

public void setFpProblem(FPProblem fpProblem)

Deprecated. since Version 1.0.2

Parameters:

fpProblem - the fpProblem to set

setLpProblem

public void setLpProblem(LPProblem lpProblem)

Deprecated. since Version 1.0.2

Parameters:

lpProblem - the lpProblem to set

setWallClockTime

public void setWallClockTime(java.lang.Long wallClockTime)

Parameters:

wallClockTime - the wallClockTime to set

setSingleResult

public void setSingleResult(java.lang.String singleResult)

Parameters:

singleResult - the singleResult to set

setStdOut

public void setStdOut(java.lang.String stdOut)

Parameters:

stdOut - the stdOut to set

setStdErr

public void setStdErr(java.lang.String stdErr)

Parameters:

stdErr - the stdErr to set

setCategory

public void setCategory(Category category)

Parameters:

category - the category to set

setExecutionDate

public void setExecutionDate(java.sql.Timestamp executionDate)

Parameters:

executionDate - the executionDate to set

prepersist

public void prepersist()

getCompetition

public Competition getCompetition()

Returns:

the competition

setCompetition

public void setCompetition(Competition competition)

Parameters:

competition - the competition to set

setComplexResult

public void setComplexResult(java.lang.String complexResult)

Parameters:

complexResult - the complexResult to set

setCertified

public void setCertified(java.lang.Boolean certified)

Parameters:

certified - the certified to set

setCertificationTime

public void setCertificationTime(java.lang.Long certificationTime)

Parameters:

certificationTime - the certificationTime to set

setCertificationStdOut

public void setCertificationStdOut(java.lang.String certificationStdOut)

Parameters:

certificationStdOut - the certificationStdOut to set

isHtmlOutput

public boolean isHtmlOutput()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object