Class PlainJavaWorkspaceRoot

    • Constructor Detail

    • Method Detail

      • getProject

        public AProject getProject​(java.lang.String name)
        Description copied from interface: AWorkspaceRoot
        Returns the project with the given name in this workspace. It may not exist.
        Specified by:
        getProject in interface AWorkspaceRoot
        Parameters:
        name - a project's name
      • getFileForLocation

        public AFile getFileForLocation​(java.nio.file.Path location)
        Description copied from interface: AWorkspaceRoot
        Returns the file with the given name in a project inside this workspace.
        Specified by:
        getFileForLocation in interface AWorkspaceRoot
        Parameters:
        location - a file location; should reference a resource in one of the projects of this workspace
        Returns:
        the resource corresponding to the file, or null if no such file exists in this workspace
      • remove

        public void remove​(java.nio.file.Path path)