ВУЗ:
Составители:
Рубрика:
- 56 -
2.15. Обработка ошибок и управление возвратами
( ERROR & BREAK CONTROL )
trap(PredicateCall,ExitCode,PredicateToCallOnError) - (i,o,o)
Предикат вызова на выполнение предиката с именем
PredicateCall. В случае его невыполнения (т. е. прерывание по
ошибке системы Турбо-Пролог) выдается код ошибки ExitCode и за-
пускается на выполнение предикат c именем PredicateToCallOnError,
после выполнения которого предикат trap объявляется как fail (как
ложь).
exit Закончить программу.
exit(ExitCode) (integer) - (i)
Завершить программу с кодом ExitCode.
break(on/off) (string) - (i) (o)
Включение/отключение возвратов по бектрекингу.
breakpressed Контроль за нажатием клавиш Ctrl-Break.
errormsg(FileName,ErrorNo,ErrorMsg,ExtraHelpMsg)
(String,Integer,String,String) - (i,i,o,o)
Чтение сообщения об ошибке в форме, реализованной в Тур-
бо-Прологе.
readtermerror(LineWithError,ErrorPosInLine)
(string,integer) - (o,o)
Чтение строки с предикатом, где произошла ошибка, при этом в
ErrorPosInLine передается номер позиции ошибки.
consulterror(LineWithError,ErrorPosInLine,LineNoInFile)
(string,integer,real) - (o,o,o)
Возвращает строку с предикатом, где произошла ошибка, при
этом в ErrorPosInLine передается номер позиции ошибки, а в
LineNoInFile - номер строки в исходном файле.
FileError(ErrNo,FileName) (Integer,String) - (i,i) language C
Задает файл описания ошибок.
Страницы
- « первая
- ‹ предыдущая
- …
- 54
- 55
- 56
- 57
- 58
- …
- следующая ›
- последняя »