org.kahina.tralesld.data.project

Class TraleProject

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.data.project.KahinaProject

org.kahina.lp.data.project.LogicProgrammingProject

org.kahina.tralesld.data.project.TraleProject

All Implemented Interfaces:

java.io.Serializable, TestSetExtension

public class TraleProject
extends LogicProgrammingProject
implements TestSetExtension

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.lp.data.project.LogicProgrammingProject

breakPoints, completePoints, creepPoints, failPoints, kahina, skipPoints, warnPoints

Fields inherited from class org.kahina.core.data.project.KahinaProject

appID, mainFile, name, openedFiles, perspective

Fields inherited from class org.kahina.core.data.KahinaObject

needsUpdate

Constructor Summary

Constructors

Constructor and Description
TraleProject(java.lang.String name, TraleSLDInstance kahina)

Method Summary

Methods

Modifier and Type	Method and Description
TraleProject	copy()
void	copyDataInto(TraleProject copy)
org.w3c.dom.Element	exportXML(org.w3c.dom.Document dom)
java.io.File	getSignatureFile()
TestSet	getTestSet()
java.util.List<java.io.File>	getTheoryFiles()
static void	importXML(org.w3c.dom.Element topEl, TraleProject project, TraleSLDInstance kahina, KahinaTree stepTree, java.io.File file)
void	setSignatureFile(java.io.File signatureFile)
void	setTestSet(TestSet testSet)
void	setTheoryFiles(java.util.List<java.io.File> theoryFiles)

Methods inherited from class org.kahina.lp.data.project.LogicProgrammingProject

addBreakPoint, addCompletePoint, addCreepPoint, addFailPoint, addSkipPoint, addWarnPoint, copyDataInto, deregister, getBreakPoints, getCompletePoints, getCreepPoints, getFailPoints, getSkipPoints, getWarnPoints, importControlAgentProfile, importXML, register

Methods inherited from class org.kahina.core.data.project.KahinaProject

addOpenedFile, copyDataInto, getMainFile, getName, getOpenedFiles, getPerspective, importXML, setMainFile, setName, setPerspective

Methods inherited from class org.kahina.core.data.KahinaObject

needsUpdate, requireUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

TraleProject

public TraleProject(java.lang.String name,
            TraleSLDInstance kahina)

Method Detail

copy

public TraleProject copy()

Overrides:

copy in class LogicProgrammingProject

copyDataInto

public void copyDataInto(TraleProject copy)

setSignatureFile

public void setSignatureFile(java.io.File signatureFile)

getSignatureFile

public java.io.File getSignatureFile()

setTheoryFiles

public void setTheoryFiles(java.util.List<java.io.File> theoryFiles)

getTheoryFiles

public java.util.List<java.io.File> getTheoryFiles()

getTestSet

public TestSet getTestSet()

Specified by:

getTestSet in interface TestSetExtension

setTestSet

public void setTestSet(TestSet testSet)

Specified by:

setTestSet in interface TestSetExtension

importXML

public static void importXML(org.w3c.dom.Element topEl,
             TraleProject project,
             TraleSLDInstance kahina,
             KahinaTree stepTree,
             java.io.File file)

exportXML

public org.w3c.dom.Element exportXML(org.w3c.dom.Document dom)

Overrides:

exportXML in class LogicProgrammingProject