Changeset 4247 for trunk/wenv/tests/source.lgt

Timestamp:

05/04/08 05:41:56 (5 months ago)

Author:

pmoura

Message:

Added support for the scope operator, ::/2, to the syntax coloring tests. Minor documentation improvements.

Files:

• trunk/wenv/tests/source.lgt (modified) (6 diffs)

trunk/wenv/tests/source.lgt

@@ -18 +18 @@
     extends(parent)).
 
-    :- info([
+    :- info([
         version is 1.0,
         author is 'Paulo Moura',
-        date is 2003/12/18,
+        date is 2008/5/1,
         comment is 'Sample prototype for testing syntax coloring.']).
     :- threaded.
@@ -27 +27 @@
     :- dynamic.
     :- initialization(some_goal(X, Y)).
-    :- calls(some_other_protocol).
-    :- uses(another_object).
+    :- calls(some_other_protocol).
+    :- uses(another_object).
 
     :- alias(set, member/2, set_member/2).
@@ -164 +164 @@
     direct_calls_of_category_predicates :-
         :Goal.
+
+    if_then_else :-
+        (   If ->
+            Then
+        ;   Else
+        ).
 
     numbers :-
@@ -274 +280 @@
         \+ Goal,
         once(Goal),
-        repeat.
+        repeat,
+        !.
 
     atomic_term_processing :-
@@ -292 +299 @@
         halt.
 
+    number(C) --> "+", number(C).
+    number(C) --> "-", number(X), {C is -X}.
+    number(X) --> [C], {0'0 =< C, C =< 0'9, X is C - 0'0}.
+
 :- end_object.
 
@@ -297 +308 @@
 
 :- object(class,
+    implements(protected::protocol),
+    imports(private::category),
+    instantiates(metaclass),
+    specializes(superclass)).
+
+
+:- end_object.
+
+
+
+:- object(parametric(Parameter, "String", 33.78),
     implements(protocol),
     imports(category),
-    instantiates(metaclass),
-    specializes(superclass)).
-
-
-:- end_object.
-
-
-
-:- object(parametric(_Par1, _Par2),
-    implements(protocol),
-    imports(category),
-    extends(parent(_Par))).
+    extends(parent(Parameter))).