php.java.script.servlet
Class ScriptFile

java.lang.Object
  extended by java.io.File
      extended by php.java.script.servlet.ScriptFile
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<java.io.File>

public final class ScriptFile
extends java.io.File

This class tags a special PHP script file which can be used to create a PHP ScriptFile reader.

See Also:
EngineFactory.getPhpScript(String), EngineFactory.getPhpScript(String, java.io.Reader), EngineFactory.createPhpScriptFileReader(ScriptFile), Serialized Form

Field Summary
 
Fields inherited from class java.io.File
pathSeparator, pathSeparatorChar, separator, separatorChar
 
Method Summary
 
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
getClass, notify, notifyAll, wait, wait, wait