org.aspsimon.termcomp.entity
Class SRSProblem

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

All Implemented Interfaces:

TPInterface

Deprecated. since Version 1.0.2

public class SRSProblem
extends java.lang.Object
implements TPInterface

Replaced by TRS.

Nested Class Summary

static class

SRSProblem.Strategy Deprecated.

Constructor Summary

SRSProblem()
Deprecated.

Method Summary

java.util.List<TPAnyList>	getAnyList() Deprecated.
User	getApprovedBy() Deprecated. Get the User with database administrative rights who approved this termination problem.
java.lang.String	getOriginalFileName() Deprecated. Get the original filename of this Termination Problem where it is stored under /opt/competition/tpdb/.
java.lang.String	getRules() Deprecated.
java.lang.Long	getSrsId() Deprecated.
SRSProblem.Strategy	getStrategy() Deprecated.
User	getSubmittedBy() Deprecated. Get the User who submitted this termination problem.
java.sql.Timestamp	getSubmittedDate() Deprecated. Set the date and time this termination problem was originally submitted to the TPDB.
java.lang.Long	getTPId() Deprecated. Get the unique identifier for this Termination Problem.
java.lang.String	getType() Deprecated. Get the type of Termination Problem we are working with.
boolean	isApproved() Deprecated. Determine whether this termination problem is approved for public consumption.
boolean	isRejected() Deprecated. Determines whether this termination problem passed the review process or not.
boolean	isRelative() Deprecated.
boolean	isSecret() Deprecated. Return the secret status of this problem.
void	prepersist() Deprecated.
void	setAnyList(java.util.List<TPAnyList> anyList) Deprecated.
void	setApproved(boolean approved) Deprecated. Set the approval status of this problem.
void	setApprovedBy(User approvedBy) Deprecated. Set the User with administrative rights who approved this problem.
void	setOriginalFileName(java.lang.String originalFileName) Deprecated. Set the original filename of this Termination Problem
void	setRejected(boolean rejected) Deprecated. Set the rejected status of this problem.
void	setRelative(boolean relative) Deprecated.
void	setRules(java.lang.String rules) Deprecated.
void	setSecret(boolean secret) Deprecated. Set the secret status of this problem.
void	setSrsId(java.lang.Long srsId) Deprecated.
void	setStrategy(SRSProblem.Strategy strategy) Deprecated.
void	setSubmittedBy(User submittedBy) Deprecated. Set the User who submitted this problem.
void	setSubmittedDate(java.sql.Timestamp submittedDate) Deprecated. Set the date this problem was submitted to the TPDB.
java.lang.String	toLongString() Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Detail

SRSProblem

public SRSProblem()

Deprecated.

Method Detail

getSrsId

public java.lang.Long getSrsId()

Deprecated.

Returns:

the trsId

getOriginalFileName

public java.lang.String getOriginalFileName()

Deprecated.

Description copied from interface: TPInterface

Get the original filename of this Termination Problem where it is stored under /opt/competition/tpdb/.

Specified by:

getOriginalFileName in interface TPInterface

Returns:

the originalFileName

getRules

public java.lang.String getRules()

Deprecated.

Returns:

the rules

getStrategy

public SRSProblem.Strategy getStrategy()

Deprecated.

Returns:

the strategy

isRelative

public boolean isRelative()

Deprecated.

Returns:

the relative

isApproved

public boolean isApproved()

Deprecated.

Description copied from interface: TPInterface

Determine whether this termination problem is approved for public consumption. Currently ignored.

Specified by:

isApproved in interface TPInterface

Returns:

the approved

isRejected

public boolean isRejected()

Deprecated.

Description copied from interface: TPInterface

Determines whether this termination problem passed the review process or not. Currently ignored.

Specified by:

isRejected in interface TPInterface

Returns:

the rejected

isSecret

public boolean isSecret()

Deprecated.

Description copied from interface: TPInterface

Return the secret status of this problem.

Specified by:

isSecret in interface TPInterface

Returns:

the secret

getAnyList

public java.util.List<TPAnyList> getAnyList()

Deprecated.

Returns:

the anyList

getSubmittedBy

public User getSubmittedBy()

Deprecated.

Description copied from interface: TPInterface

Get the User who submitted this termination problem.

Specified by:

getSubmittedBy in interface TPInterface

Returns:

the submittedBy

getApprovedBy

public User getApprovedBy()

Deprecated.

Description copied from interface: TPInterface

Get the User with database administrative rights who approved this termination problem. Currently unused.

Specified by:

getApprovedBy in interface TPInterface

Returns:

the approvedBy

getSubmittedDate

public java.sql.Timestamp getSubmittedDate()

Deprecated.

Description copied from interface: TPInterface

Set the date and time this termination problem was originally submitted to the TPDB.

Specified by:

getSubmittedDate in interface TPInterface

Returns:

the submittedDate

setSrsId

public void setSrsId(java.lang.Long srsId)

Deprecated.

Parameters:

srsId - the trsId to set

setOriginalFileName

public void setOriginalFileName(java.lang.String originalFileName)

Deprecated.

Description copied from interface: TPInterface

Set the original filename of this Termination Problem

Specified by:

setOriginalFileName in interface TPInterface

Parameters:

originalFileName - the originalFileName to set

setRules

public void setRules(java.lang.String rules)

Deprecated.

Parameters:

rules - the rules to set

setStrategy

public void setStrategy(SRSProblem.Strategy strategy)

Deprecated.

Parameters:

strategy - the strategy to set

setRelative

public void setRelative(boolean relative)

Deprecated.

Parameters:

relative - the relative to set

setApproved

public void setApproved(boolean approved)

Deprecated.

Description copied from interface: TPInterface

Set the approval status of this problem. Currently unused.

Specified by:

setApproved in interface TPInterface

Parameters:

approved - the approved to set

setRejected

public void setRejected(boolean rejected)

Deprecated.

Description copied from interface: TPInterface

Set the rejected status of this problem. Currently unused.

Specified by:

setRejected in interface TPInterface

Parameters:

rejected - the rejected to set

setSecret

public void setSecret(boolean secret)

Deprecated.

Description copied from interface: TPInterface

Set the secret status of this problem.

Specified by:

setSecret in interface TPInterface

Parameters:

secret - the secret to set

setAnyList

public void setAnyList(java.util.List<TPAnyList> anyList)

Deprecated.

Parameters:

anyList - the anyList to set

setSubmittedBy

public void setSubmittedBy(User submittedBy)

Deprecated.

Description copied from interface: TPInterface

Set the User who submitted this problem.

Specified by:

setSubmittedBy in interface TPInterface

Parameters:

submittedBy - the submittedBy to set

setApprovedBy

public void setApprovedBy(User approvedBy)

Deprecated.

Description copied from interface: TPInterface

Set the User with administrative rights who approved this problem.

Specified by:

setApprovedBy in interface TPInterface

Parameters:

approvedBy - the approvedBy to set

setSubmittedDate

public void setSubmittedDate(java.sql.Timestamp submittedDate)

Deprecated.

Description copied from interface: TPInterface

Set the date this problem was submitted to the TPDB.

Specified by:

setSubmittedDate in interface TPInterface

Parameters:

submittedDate - the submittedDate to set

prepersist

public void prepersist()

Deprecated.

toLongString

public java.lang.String toLongString()

Deprecated.

getTPId

public java.lang.Long getTPId()

Deprecated.

Description copied from interface: TPInterface

Get the unique identifier for this Termination Problem. As Hibernate maintains a single sequence for all managed database objects, this is guaranteed to be globally unique as long as the object was created through a hibernate session.

Specified by:

getTPId in interface TPInterface

Returns:

A DB-generated identifier for internally referencing this Termination Problem.

getType

public java.lang.String getType()

Deprecated.

Description copied from interface: TPInterface

Get the type of Termination Problem we are working with. Can currently be one of the following:

TRS

Term Rewriting System TRSProblem

SRS

String Rewriting System SRSProblem

FP

Functional Program FPProblem

LP

Logic Program LPProblem

Specified by:

getType in interface TPInterface

Returns:

A string contained in the list above.