[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/sweeprolog 73d9b8c871 3/6: TEST: add two test cases
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/sweeprolog 73d9b8c871 3/6: TEST: add two test cases |
Date: |
Mon, 7 Nov 2022 05:59:26 -0500 (EST) |
branch: elpa/sweeprolog
commit 73d9b8c87103a379282760bd3a591f820010c45c
Author: Eshel Yaron <me@eshelyaron.com>
Commit: Eshel Yaron <me@eshelyaron.com>
TEST: add two test cases
---
sweeprolog-tests.el | 65 +++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 65 insertions(+)
diff --git a/sweeprolog-tests.el b/sweeprolog-tests.el
index 6c872629ce..4dbc0de137 100644
--- a/sweeprolog-tests.el
+++ b/sweeprolog-tests.el
@@ -52,6 +52,71 @@
(should (equal (sweeprolog-next-solution) nil))
(should (equal (sweeprolog-cut-query) t)))
+(ert-deftest font-lock ()
+ "Test semantic highlighting of Prolog code."
+ (let ((temp (make-temp-file "sweeprolog-test"
+ nil
+ "pl"
+ ":- module(foo, [foo/1]).
+
+foo(Foo) :- bar.
+")))
+ (find-file-literally temp)
+ (sweeprolog-mode)
+ (should (equal (get-text-property (+ (point-min) 1)
+ 'font-lock-face)
+ '(sweeprolog-neck-default-face
+ sweeprolog-directive-default-face)))
+ (should (equal (get-text-property (+ (point-min) 2)
+ 'font-lock-face)
+ '(sweeprolog-directive-default-face)))
+ (should (equal (get-text-property (+ (point-min) 3)
+ 'font-lock-face)
+ '(sweeprolog-built-in-default-face
+ sweeprolog-directive-default-face)))
+ (should (equal (get-text-property (+ (point-min) 9)
+ 'font-lock-face)
+ '(sweeprolog-directive-default-face)))
+ (should (equal (get-text-property (+ (point-min) 10)
+ 'font-lock-face)
+ '(sweeprolog-identifier-default-face
+ sweeprolog-directive-default-face)))
+ (should (equal (get-text-property (+ (point-min) 13)
+ 'font-lock-face)
+ '(sweeprolog-directive-default-face)))
+ (should (equal (get-text-property (+ (point-min) 16)
+ 'font-lock-face)
+ '(sweeprolog-local-default-face
+ sweeprolog-predicate-indicator-default-face
+ sweeprolog-directive-default-face)))
+ (should (equal (get-text-property (+ (point-min) 23)
+ 'font-lock-face)
+ '(sweeprolog-fullstop-default-face)))
+ (should (equal (get-text-property (+ (point-min) 26)
+ 'font-lock-face)
+ '(sweeprolog-head-exported-default-face
+ sweeprolog-clause-default-face)))
+ (should (equal (get-text-property (+ (point-min) 31)
+ 'font-lock-face)
+ '(sweeprolog-singleton-default-face
+ sweeprolog-clause-default-face)))
+ (should (equal (get-text-property (+ (point-min) 39)
+ 'font-lock-face)
+ '(sweeprolog-undefined-default-face
+ sweeprolog-clause-default-face)))))
+
+(ert-deftest dwim-next-clause ()
+ "Tests inserting a new clause with `sweeprolog-insert-term-dwim'."
+ (with-temp-buffer
+ (sweeprolog-mode)
+ (insert "
+foo :- bar.")
+ (sweeprolog-insert-term-dwim)
+ (should (string= (buffer-string)
+ "
+foo :- bar.
+foo :- _.
+"))))
(ert-deftest dwim-define-predicate ()
"Tests defining a new predicate with `sweeprolog-insert-term-dwim'."
- [nongnu] elpa/sweeprolog updated (4d4bdc8600 -> 8a532f3183), ELPA Syncer, 2022/11/07
- [nongnu] elpa/sweeprolog 8a532f3183 6/6: ADDED: sweeprolog-forward/backward/mark-predicate, ELPA Syncer, 2022/11/07
- [nongnu] elpa/sweeprolog 3ecd2475d2 4/6: FIXED: correctly recognize "public" head terms, ELPA Syncer, 2022/11/07
- [nongnu] elpa/sweeprolog 4866ad53cf 5/6: REFACTOR: Simplify and deduplicate code all around, ELPA Syncer, 2022/11/07
- [nongnu] elpa/sweeprolog e7976af30c 2/6: FIXED: sweeprolog-identifier-at-point could return unbound module, ELPA Syncer, 2022/11/07
- [nongnu] elpa/sweeprolog e9256e3d3b 1/6: Fixed defcustom type for sweeprolog-top-level-display-action, ELPA Syncer, 2022/11/07
- [nongnu] elpa/sweeprolog 73d9b8c871 3/6: TEST: add two test cases,
ELPA Syncer <=