From 20f639fe7b9239ddb73a14e69eeb813c32dc01be Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 21 Feb 2016 11:32:08 +0000 Subject: [PATCH] simple, small test for error_handling --- regression/errors.md | 0 regression/errors.yap | 47 +++++++++++++++++++++++++++++++++++++++++++ regression/mu1.yap | 1 + regression/mu2.yap | 1 + 4 files changed, 49 insertions(+) create mode 100644 regression/errors.md create mode 100644 regression/errors.yap create mode 100644 regression/mu1.yap create mode 100644 regression/mu2.yap diff --git a/regression/errors.md b/regression/errors.md new file mode 100644 index 000000000..e69de29bb diff --git a/regression/errors.yap b/regression/errors.yap new file mode 100644 index 000000000..8cf5998ce --- /dev/null +++ b/regression/errors.yap @@ -0,0 +1,47 @@ +/** + * @file regression/errors.yap + * author Vitor Santos Costa + * + * @defgroup ErrorHandlerTesting Test Error Handler + * @ingroup Regression System Tests + * + * Just check if the error handler is up to scratch.. + */ + +:- style_check(all). + +:- discontiguous main/0. + +:- initialization(main). + +:- initialization( open('errors.md', write, _Out, [alias(user_error)]), now ). + +:- format(user_error, ' Report on error handling~n~n', []). + +%% + discontiguous +:- format(user_error, ' + warning: style check discontiguous~n~n~*c~n', [4,0'~,4,0'~]). + +a(1). +a(2,2). +a(1). + +%% + multifile +:- format(user_error, '~*c~n~n + warning: style check multifile~n~*c~n', [4,0'~,4,0'~]). + +:- load_files(mu1,[silent(true)]). + +:- load_files(mu2,[silent(true)]). + +%% + singleton +:- format(user_error, '~*c~n~n + warning: style check singleton~n~*c~n', [4,0'~,4,0'~]). + +a(X). % X +a(_X). % no msg +a :- b(X) ; c(X). %no msg + + +:- format(user_error, '~*c~n', [4,0'~]). + + +%% end of tests, +main. \ No newline at end of file diff --git a/regression/mu1.yap b/regression/mu1.yap new file mode 100644 index 000000000..2e60096b9 --- /dev/null +++ b/regression/mu1.yap @@ -0,0 +1 @@ +a(1). diff --git a/regression/mu2.yap b/regression/mu2.yap new file mode 100644 index 000000000..dc3cd18fc --- /dev/null +++ b/regression/mu2.yap @@ -0,0 +1 @@ +a(2).