php.java.script.servlet
Class ScriptFile

java.lang.Object
  java.io.File
      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