Module with a bunch of helper predicates for looking through prolog source and stuff.

author

- James Cash

 called_at(+Path:atom, +Clause:term, -Locations:list) is det

Find the callers and locations of the goal Clause, starting from the file Path. Locations will be a list of all the callers and locations that the Clause is called from as LSP-formatted dicts.

 url_path(?FileUrl:atom, ?Path:atom) is det[multifile]

Convert between file:// url and path

 name_callable(?Name:functor, ?Callable:term) is det

True when, if Name = Func/Arity, Callable = Func(_, _, ...) with Arity args.

 relative_ref_location(+Path:atom, +Goal:term, +Position:position(int,int), -Location:dict) is semidet

Given Goal found in Path and position Position (from called_at/3), Location is a dictionary suitable for sending as an LSP response indicating the position in a file of Goal.

 help_at_position(+Path:atom, +Line:integer, +Char:integer, -Help:string) is det

Help is the documentation for the term under the cursor at line Line, character Char in the file Path.

 unlimited(:Nonterminal)// is semidet

Tries to parse Nonterminal an unlimited number of times. If the provided nonterminal ever fails, unlimited fails too. This rule can never actually succeed (i.e. yield true), although it could be considered to succeed "at infinity." Nonterminal is likely to be a DCG rule which performs side effects as it parses.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 defined_at(Arg1, Arg2, Arg3)

 clause_in_file_at_position(Arg1, Arg2, Arg3)

 clause_variable_positions(Arg1, Arg2, Arg3)

 usemod_filespec_position(Arg1, Arg2, Arg3, Arg4)

 seek_to_line(Arg1, Arg2)

 linechar_offset(Arg1, Arg2, Arg3)