- add_document_item(?URI, ?Range, ?Value) is nondet
- Add a piece of information about a specific range in a specific
document. Items are the basis of all cross-referencing, hover info,
etc.
- get_document_item(?URI, +Position, -Item) is nondet
- get_document_item(?URI, ?Range, ?Item) is nondet
- When called in its first form, get a document item based on its position,
otherwise return a document item by unifying with URI, Range, and Item .
- get_document_line_position(+URI, ?Line, +Position) is det
- get_document_line_position(?URI, ?Line, ?Position) is det
- Given a position with a file, return the line where the position occurs,
or the reverse. Can also be useful for iterating over the starting positions
of lines within a file.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- store_document(Arg1, Arg2, Arg3, Arg4)
- get_document_properties(Arg1, Arg2)
- add_document_property(Arg1, Arg2)
- set_document_property(Arg1, Arg2)
- get_document_property(Arg1, Arg2)
- clear_document_property(Arg1, Arg2)
- clear_document_properties(Arg1)
- get_document_uri(Arg1)
- set_document_uri(Arg1)
- clear_document_uri(Arg1)
- get_document_content(Arg1, Arg2)
- set_document_content(Arg1, Arg2)
- clear_document_content(Arg1)
- with_content(Arg1, Arg2, Arg3)
- clear_document_item(Arg1, Arg2)
- clear_document_items(Arg1)
- add_document_line(Arg1, Arg2, Arg3)
- clear_document_line(Arg1, Arg2)
- clear_document_lines(Arg1)
- set_document_line_count(Arg1, Arg2)
- get_document_line_count(Arg1, Arg2)
- clear_document_line_count(Arg1)