The following MapMethod types are known to
) and to the built-in fall-back mapping:
Pairs is a list of Name
pairs, where Name is a ground term, and
Abbreviations is a code-list. The first non-whitespace
character of RawInput is used for finding the corresponding name
as the answer, by looking it up in the abbreviation lists. If the
character is found, Result is
Answer is set to the Name found; otherwise, Result is
unknown(Line,Warning)is returned. This is to allow the user to extend the debugger command language via
debugger_command_hook/2, see Debug Commands.
The details of this mapping can be obtained from the library('SU_messages') file.
Note that the fall-back version of this mapping is simplified, it only accepts parameterless debugger commands.