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

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

FileRegion[]	ProjectProfile.getBookmarks()
FileRegion[]	ProjectFileIR.getBookmarks()

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

protected List<FileRegion>

XMLProjectFileParser.readBookmarks()

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)