Did you know ... Search Documentation:
Pack prolog_lsp -- prolog/pls_index/documents.pl
PublicShow source
 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)
 get_document_content(Arg1, Arg2)
 set_document_content(Arg1, Arg2)
 with_content(Arg1, Arg2, Arg3)
 clear_document_item(Arg1, Arg2)
 add_document_line(Arg1, Arg2, Arg3)
 clear_document_line(Arg1, Arg2)
 set_document_line_count(Arg1, Arg2)
 get_document_line_count(Arg1, Arg2)