Changeset 4493 for trunk/library/characterp.lgt
- Timestamp:
- 10/07/08 04:19:46 (3 months ago)
- Files:
-
- 1 modified
-
trunk/library/characterp.lgt (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/library/characterp.lgt
r4492 r4493 7 7 date is 2008/10/7, 8 8 comment is 'Character protocol.']). 9 10 :- public(is_ascii/1). 11 :- mode(is_ascii(+char), zero_or_one). 12 :- info(is_ascii/1, [ 13 comment is 'True if the argument is an ASCII character.', 14 argnames is ['Char']]). 9 15 10 16 :- public(is_alphanumeric/1). … … 68 74 argnames is ['Char']]). 69 75 76 :- public(is_white_space/1). 77 :- mode(is_white_space(+char), zero_or_one). 78 :- info(is_white_space/1, [ 79 comment is 'True if the argument is a white space character (a space or a tab) inside a line of characters.', 80 argnames is ['Char']]). 81 70 82 :- public(is_layout/1). 71 83 :- mode(is_layout(+char), zero_or_one). … … 83 95 :- mode(is_punctation(+char), zero_or_one). 84 96 :- info(is_punctation/1, [ 85 comment is 'True if the argument is a punctation character.',97 comment is 'True if the argument is a sentence punctation character.', 86 98 argnames is ['Char']]). 99 100 :- public(is_period/1). 101 :- mode(is_period(+char), zero_or_one). 102 :- info(is_period/1, [ 103 comment is 'True if the argument is a character that ends a sentence.', 104 argnames is ['Char']]). 105 106 :- public(parenthesis/2). 107 :- mode(parenthesis(?char, ?char), zero_or_more). 108 :- mode(parenthesis(+char, ?char), zero_or_one). 109 :- mode(parenthesis(?char, +char), zero_or_one). 110 :- info(parenthesis/2, [ 111 comment is 'Recognises and converts between open and close parenthesis.', 112 argnames is ['Char1', 'Char2']]). 87 113 88 114 :- public(lower_upper/2). … … 91 117 :- mode(lower_upper(?char, +char), zero_or_one). 92 118 :- info(lower_upper/2, [ 93 comment is ' Converts between lower and upper case letters.',119 comment is 'Recognises and converts between lower and upper case letters.', 94 120 argnames is ['Char1', 'Char2']]). 95 121
