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)