edu.cs.ai.kreator.datamodels
Class KreatorScript

java.lang.Object
  java.io.File
      edu.cs.ai.kreator.datamodels.AbstractKreatorFile
          edu.cs.ai.kreator.datamodels.DataFile
              edu.cs.ai.kreator.datamodels.KreatorScript

All Implemented Interfaces:

Latexable, StainedListener, java.io.Serializable, java.lang.Comparable<java.io.File>

public class KreatorScript
extends DataFile
implements Latexable

See Also:

Serialized Form

Field Summary

static java.lang.String

extension The KReator-Script extension.

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

KreatorScript(java.io.File file)
Constructs a KReatorScript with a given project and file

Method Summary

static java.util.List<java.lang.String>	getAllSupportedFileExtensions() Returns all file extensions, which KreatorScripts can have.
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, save

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

extension

public static final java.lang.String extension

The KReator-Script extension.

See Also:

Constant Field Values

Constructor Detail

KreatorScript

public KreatorScript(java.io.File file)
              throws java.io.FileNotFoundException,
                     java.io.IOException

Constructs a KReatorScript with a given project and file

Parameters:

file -

Throws:

java.io.FileNotFoundException

java.io.IOException

Method Detail

getAllSupportedFileExtensions

public static java.util.List<java.lang.String> getAllSupportedFileExtensions()

Returns all file extensions, which KreatorScripts can have.

Returns:

all file extensions, which KreatorScripts can have.

toLatex

public java.lang.String toLatex()

Description copied from interface: Latexable

Returns a Latex grammar conform string to generate variables, rules (conditionals) etc.

Specified by:

toLatex in interface Latexable

Returns:

a Latex grammar conform string.