org.aspsimon.termcomp.entity
Class FPProgram

java.lang.Object
  org.aspsimon.termcomp.entity.TerminationProblem
      org.aspsimon.termcomp.entity.FPProgram

All Implemented Interfaces:

java.io.Serializable, TPInterface

public class FPProgram
extends TerminationProblem

This class represents a Functional Programming problem for use in the competition. It replaces the FPProblem class and integrates into the TerminationProblem hierarchy which should make life a lot easier. Functional Programs in the TPDB are in Haskell.

Since:

Version 1.0.2

Version:

$Revision: 113 $

Author:

Simon Bailey

See Also:

Serialized Form

Constructor Summary

FPProgram()

Method Summary

java.lang.String	getProgram() Get the full text of the Haskell program.
java.lang.String	getType() Get the type of Termination Problem we are working with.
void	setProgram(java.lang.String program) Set the Haskell program for this Functional Programming problem.

Methods inherited from class org.aspsimon.termcomp.entity.TerminationProblem

getApprovedBy, getOriginalFileName, getSubmittedBy, getSubmittedDate, getTPId, isApproved, isRejected, isSecret, prepersist, setApproved, setApprovedBy, setOriginalFileName, setRejected, setSecret, setSubmittedBy, setSubmittedDate, setTPId

Methods inherited from class java.lang.Object

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

Constructor Detail

FPProgram

public FPProgram()

Method Detail

getProgram

public java.lang.String getProgram()

Get the full text of the Haskell program. It has to be annotated as a @Lob in order for the database to not truncate it.

Returns:

The full source content of the original problem.

setProgram

public void setProgram(java.lang.String program)

Set the Haskell program for this Functional Programming problem.

Parameters:

program - The source code of the Haskell program.

getType

public java.lang.String getType()

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

Returns:

"FP"