Uses of Interface
edu.rice.cs.drjava.model.FileRegion

Packages that use FileRegion

edu.rice.cs.drjava.model	The model package is responsible for the majority of the logic and state in DrJava.
edu.rice.cs.drjava.project

Uses of FileRegion in edu.rice.cs.drjava.model

Classes in edu.rice.cs.drjava.model that implement FileRegion

class

DummyDocumentRegion The concrete class for "dummy document" regions produced by ProjectFileParser.

Methods in edu.rice.cs.drjava.model that return types with arguments of type FileRegion

ArrayList<FileRegion>

ConcreteRegionManager.getFileRegions()

Uses of FileRegion in edu.rice.cs.drjava.project

Fields in edu.rice.cs.drjava.project with type parameters of type FileRegion

private List<FileRegion>

ProjectProfile._bookmarks

Methods in edu.rice.cs.drjava.project that return FileRegion

FileRegion	ProjectFileParser.BookmarkPropertyVisitor.forCons(Cons c)
FileRegion	ProjectFileParser.BookmarkPropertyVisitor.forEmpty(Empty c)
FileRegion[]	ProjectProfile.getBookmarks()
FileRegion[]	ProjectFileIR.getBookmarks()
(package private) FileRegion	ProjectFileParser.parseBookmark(SExp s, String pathRoot) Parses out the labeled node (a non-empty list) into a bookmark.

Methods in edu.rice.cs.drjava.project that return types with arguments of type FileRegion

List<FileRegion>	ProjectFileParser.BookmarkListVisitor.forCons(Cons c)
List<FileRegion>	ProjectFileParser.BookmarkListVisitor.forEmpty(Empty e)
protected List<FileRegion>	XMLProjectFileParser.readBookmarks()

Methods in edu.rice.cs.drjava.project with parameters of type FileRegion

private String

ProjectProfile.encodeBookmarkRelative(FileRegion bm, String prefix) This encodes a bookmark relative to _projectRoot.

Method parameters in edu.rice.cs.drjava.project with type arguments of type FileRegion

void	ProjectProfile.setBookmarks(List<? extends FileRegion> bms)
void	ProjectFileIR.setBookmarks(List<? extends FileRegion> bms)