Skip to content

Commit

Permalink
[#180] Add position info accessor
Browse files Browse the repository at this point in the history
  • Loading branch information
andylowry committed Aug 15, 2018
1 parent 030c4ed commit 6e2cd8e
Showing 1 changed file with 4 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -170,6 +170,10 @@ public List<String> getCrumbs() {
return crumbs;
}

public PositionInfo getPositionInfo() {
return pos;
}

@Override
public String toString() {
String posString = pos != null ? pos.toString(true) + " " : "";
Expand Down

0 comments on commit 6e2cd8e

Please sign in to comment.