|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.io.File edu.cs.ai.kreator.datamodels.AbstractKreatorFile edu.cs.ai.kreator.datamodels.DataFile edu.cs.ai.kreator.datamodels.KnowledgebaseFile
public class KnowledgebaseFile
Field Summary | |
---|---|
protected Knowledgebase |
model
Stores the model of this knowledgebase. |
Fields inherited from class edu.cs.ai.kreator.datamodels.AbstractKreatorFile |
---|
fileContent, LOG |
Fields inherited from class java.io.File |
---|
pathSeparator, pathSeparatorChar, separator, separatorChar |
Constructor Summary | |
---|---|
KnowledgebaseFile(java.io.File file)
Default Constructor. creates a Knowledgebase as a DataFile with the given file |
Method Summary | |
---|---|
static java.util.List<java.lang.String> |
getAllSupportedFileExtensions()
Returns all file extensions, which KnowledgebaseFiles can have. |
Knowledgebase |
getModel()
Get the model of this file, ie a knowledgebase. |
protected void |
initKnowledgebase()
This method intializes the locally stored model described by this file. |
void |
save()
Saves the fileContent to the file system if the view was changed |
java.lang.String |
toLatex()
Returns a Latex grammar conform string to generate variables, rules (conditionals) etc. |
Methods inherited from class edu.cs.ai.kreator.datamodels.DataFile |
---|
load |
Methods inherited from class edu.cs.ai.kreator.datamodels.AbstractKreatorFile |
---|
addKReatorFileListener, fireModelChanged, getFileContent, removeKReatorFileListener, setFileContent, stainedStatusChanged, viewsAreStained |
Methods inherited from class java.io.File |
---|
canExecute, canRead, canWrite, compareTo, createNewFile, createTempFile, createTempFile, delete, deleteOnExit, equals, exists, getAbsoluteFile, getAbsolutePath, getCanonicalFile, getCanonicalPath, getFreeSpace, getName, getParent, getParentFile, getPath, getTotalSpace, getUsableSpace, hashCode, isAbsolute, isDirectory, isFile, isHidden, lastModified, length, list, list, listFiles, listFiles, listFiles, listRoots, mkdir, mkdirs, renameTo, setExecutable, setExecutable, setLastModified, setReadable, setReadable, setReadOnly, setWritable, setWritable, toString, toURI, toURL |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected Knowledgebase model
Constructor Detail |
---|
public KnowledgebaseFile(java.io.File file) throws java.io.FileNotFoundException, java.io.IOException
DataFile
with the given file
file
-
java.io.FileNotFoundException
java.io.IOException
Method Detail |
---|
public static java.util.List<java.lang.String> getAllSupportedFileExtensions()
public Knowledgebase getModel() throws java.io.IOException, ParsingException
java.io.IOException
ParsingException
protected void initKnowledgebase() throws java.io.IOException, ParsingException
java.io.IOException
ParsingException
public void save() throws java.io.IOException
DataFile
save
in class DataFile
java.io.IOException
- if the file could not write on the file system.public java.lang.String toLatex()
Latexable
toLatex
in interface Latexable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |