Changeset 4247
- Timestamp:
- 05/04/08 05:41:56 (3 months ago)
- Location:
- trunk
- Files:
-
- 3 modified
-
RELEASE_NOTES.txt (modified) (1 diff)
-
wenv/pygments/NOTES.txt (modified) (1 diff)
-
wenv/tests/source.lgt (modified) (6 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/RELEASE_NOTES.txt
r4246 r4247 42 42 Added missing support for the syntax coloring of the built-in predicate 43 43 at_end_of_stream/0 and of the scope operator ::/2 to the Kate text editor. 44 Improved syntax coloring of parametric object opening directives. 44 45 45 46 Added missing support for the syntax coloring of the built-in predicate -
trunk/wenv/pygments/NOTES.txt
r4245 r4247 8 8 9 9 This directory contains the "logtalk.py" file that provides syntax 10 coloring support for Pygments :10 coloring support for Pygments (version 0.9 or later): 11 11 12 12 http://pygments.org/ -
trunk/wenv/tests/source.lgt
r4242 r4247 18 18 extends(parent)). 19 19 20 :- info([20 :- info([ 21 21 version is 1.0, 22 22 author is 'Paulo Moura', 23 date is 200 3/12/18,23 date is 2008/5/1, 24 24 comment is 'Sample prototype for testing syntax coloring.']). 25 25 :- threaded. … … 27 27 :- dynamic. 28 28 :- initialization(some_goal(X, Y)). 29 :- calls(some_other_protocol).30 :- uses(another_object).29 :- calls(some_other_protocol). 30 :- uses(another_object). 31 31 32 32 :- alias(set, member/2, set_member/2). … … 164 164 direct_calls_of_category_predicates :- 165 165 :Goal. 166 167 if_then_else :- 168 ( If -> 169 Then 170 ; Else 171 ). 166 172 167 173 numbers :- … … 274 280 \+ Goal, 275 281 once(Goal), 276 repeat. 282 repeat, 283 !. 277 284 278 285 atomic_term_processing :- … … 292 299 halt. 293 300 301 number(C) --> "+", number(C). 302 number(C) --> "-", number(X), {C is -X}. 303 number(X) --> [C], {0'0 =< C, C =< 0'9, X is C - 0'0}. 304 294 305 :- end_object. 295 306 … … 297 308 298 309 :- object(class, 310 implements(protected::protocol), 311 imports(private::category), 312 instantiates(metaclass), 313 specializes(superclass)). 314 315 316 :- end_object. 317 318 319 320 :- object(parametric(Parameter, "String", 33.78), 299 321 implements(protocol), 300 322 imports(category), 301 instantiates(metaclass), 302 specializes(superclass)). 303 304 305 :- end_object. 306 307 308 309 :- object(parametric(_Par1, _Par2), 310 implements(protocol), 311 imports(category), 312 extends(parent(_Par))). 323 extends(parent(Parameter))). 313 324 314 325
