Class Script.File

  • Enclosing class:
    Script

    public static final class Script.File
    extends Script
    Script where the script is stored in a file.
    • Constructor Summary

      Constructors 
      Constructor Description
      File​(java.io.File script)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getName()
      Name of the script.
      java.io.Reader read()
      Returns a new reader that reads the script.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • File

        public File​(java.io.File script)
    • Method Detail

      • getName

        public java.lang.String getName()
        Description copied from class: Script
        Name of the script. This is intended to allow humans to find out which script this is.
        Specified by:
        getName in class Script
      • read

        public java.io.Reader read()
                            throws java.io.IOException
        Description copied from class: Script
        Returns a new reader that reads the script.
        Specified by:
        read in class Script
        Throws:
        java.io.IOException