edu.rice.cs.drjava.project
Class ProjectFileParser.BookmarkPropertyVisitor

java.lang.Object
  extended by edu.rice.cs.drjava.project.ProjectFileParser.BookmarkPropertyVisitor
All Implemented Interfaces:
SEListVisitor<FileRegion>
Enclosing class:
ProjectFileParser

private static class ProjectFileParser.BookmarkPropertyVisitor
extends Object
implements SEListVisitor<FileRegion>

Traverses the list of expressions found after "bookmark" tag and returns the DocumentRegion described by those properties.


Field Summary
private  Integer endOffset
           
private  String fname
           
private  String pathRoot
           
private  Integer startOffset
           
 
Constructor Summary
ProjectFileParser.BookmarkPropertyVisitor(String pr)
           
 
Method Summary
 FileRegion forCons(Cons c)
           
 FileRegion forEmpty(Empty c)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

fname

private String fname

startOffset

private Integer startOffset

endOffset

private Integer endOffset

pathRoot

private String pathRoot
Constructor Detail

ProjectFileParser.BookmarkPropertyVisitor

public ProjectFileParser.BookmarkPropertyVisitor(String pr)
Method Detail

forCons

public FileRegion forCons(Cons c)
Specified by:
forCons in interface SEListVisitor<FileRegion>

forEmpty

public FileRegion forEmpty(Empty c)
Specified by:
forEmpty in interface SEListVisitor<FileRegion>