Class SourceFile

  • All Implemented Interfaces:
    java.io.Serializable

    public final class SourceFile
    extends java.lang.Object
    implements java.io.Serializable
    A source file.

    Immutable.

    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.lang.String contents  
      java.lang.String name  
    • Constructor Summary

      Constructors 
      Constructor Description
      SourceFile​(java.lang.String name, java.lang.String contents)  
    • Method Summary

      • Methods inherited from class java.lang.Object

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

      • name

        public final java.lang.String name
      • contents

        public final java.lang.String contents
    • Constructor Detail

      • SourceFile

        public SourceFile​(java.lang.String name,
                          java.lang.String contents)