Class ProjectElement.File

java.lang.Object
org.praxislive.project.ProjectElement
org.praxislive.project.ProjectElement.File
Enclosing class:
ProjectElement

public static final class ProjectElement.File extends ProjectElement
A file element wrapping a file to be included.
  • Method Details

    • file

      public URI file()
      Address of the file as an absolute URI.
      Returns:
      file address
    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object