Additional improvements for PT-140709005

For missing properties in toplevel nodes, place the error marker at the
end of the document.
This commit is contained in:
Kris De Volder
2017-04-03 14:57:59 -07:00
parent f96495e3ef
commit dcd871631c
4 changed files with 24 additions and 1 deletions

View File

@@ -283,4 +283,11 @@ public class DocumentRegion implements CharSequence {
return false;
}
/**
* Create a document region of lenght 0 at the every end of the document.
*/
public static DocumentRegion endOf(IDocument doc) {
return new DocumentRegion(doc, doc.getLength(), doc.getLength());
}
}