
 edit.pl -- Editor interface
edit.pl -- Editor interfaceThis module implements the generic editor interface. It consists of two extensible parts with little in between. The first part deals with translating the input into source-location, and the second with starting an editor.
 edit(+Spec)
 edit(+Spec) edit
 edit% swipl [-s] file.pl
 locate(+Spec, -FullSpec, -Location:dict)[multifile]
 locate(+Spec, -FullSpec, -Location:dict)[multifile] locate(+Spec, -Location)[multifile]
 locate(+Spec, -Location)[multifile] edit_command(+Editor, -Command)[multifile]
 edit_command(+Editor, -Command)[multifile]| %e | Path name of the editor | 
| %f | Path name of the file to be edited | 
| %d | Line number of the target | 
 select_location(+Pairs, +UserSpec, -Location) is semidet[multifile]
 select_location(+Pairs, +UserSpec, -Location) is semidet[multifile]