From f5365ddb589a330d269e4e32c5ceeb41447fbfe5 Mon Sep 17 00:00:00 2001 From: Adam Radziszewski <adam.radziszewski@pwr.wroc.pl> Date: Wed, 8 Dec 2010 13:16:40 +0100 Subject: [PATCH] tests for llook & rlook --- tests/data/iterations.ccl | 49 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) diff --git a/tests/data/iterations.ccl b/tests/data/iterations.ccl index f17e4ae..90b520b 100644 --- a/tests/data/iterations.ccl +++ b/tests/data/iterations.ccl @@ -9,3 +9,52 @@ llook(0, end, $V, False) False V=nowhere +--- +position=0 +rlook(0,end,$P, + inter(class[$P], {subst}) +) + +True +P=3 +--- +position=3 +rlook(0,end,$P, + inter(class[$P], {subst}) +) + +True +P=0 +--- +position=4 +rlook(0,end,$P, + inter(class[$P], {subst}) +) + +True +P=8 +--- +position=19 +rlook(0,end,$P,inter(class[$P], {subst})) + +False +P=nowhere +--- +position=26 +llook(0,begin,$NomAcc, equal(cas[$NomAcc],{nom,acc})) + +True +NomAcc=-1 +--- +position=12 +llook(0,begin,$NomAcc, equal(cas[$NomAcc],{nom,acc})) + +True +NomAcc=-4 +--- +position=2 +llook(0,begin,$NomAcc, equal(cas[$NomAcc],{nom,acc})) + +False +NomAcc=nowhere +--- -- GitLab