Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 288e046191
Fetching contributors…

Cannot retrieve contributors at this time

file 295 lines (240 sloc) 15.253 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295
use v6;

use Test;

=begin pod

This file was derived from the perl5 CPAN module Perl6::Rules,
version 0.3 (12 Apr 2004), file t/stdrules.t.

It has (hopefully) been, and should continue to be, updated to
be valid perl6.

L<S05/Extensible metasyntax (C<< <...> >>)/"The special named assertions include">

=end pod

plan 184;

if !eval('("a" ~~ /a/)') {
  skip_rest "skipped tests - rules support appears to be missing";
  exit;
}

#force_todo(9,12,13,15,16);

ok("abc1_2" ~~ m/^ <ident> $/, '<ident>');
is($/<ident>, 'abc1_2', 'Captured <ident>');
ok("abc1_2" ~~ m/^ <.ident> $/, '<.ident>');
ok(!defined($/<ident>), 'Uncaptured <.ident>');
ok(!( "7abc1_2" ~~ m/^ <.ident> $/ ), 'not <.ident>');

ok("\t \n\t" ~~ m/^ <.ws> $/, '<.ws>');
ok(!defined($/<ws>), 'Uncaptured <.ws>');
ok(!( "7abc1_2" ~~ m/^ <.ws> $/ ), 'not <.ws>');

ok(" " ~~ m/^ <.sp> $/, '<.sp>');
ok(!defined($/<sp>), 'Uncaptured <.sp>');
ok(!( "7abc1_2" ~~ m/<.sp>/ ), 'not <.sp>');

ok(" \t\t \t" ~~ m/^ (\h+) $/, '\h');
is($/, " \t\t \t", 'captured \h');
ok(!( " \t\n " ~~ m/^ (\h+) $/ ), 'not \h');

ok("\n\n" ~~ m/^ (\v+) $/, '\v');
is($/, "\n\n", 'captured \v');
ok(!( " \t\n " ~~ m/^ (\v+) $/ ), 'not \v');

# alpha

ok("A" ~~ m/^<.alpha>$/, q{Match alpha as subrule});
ok(!( "A" ~~ m/^<!alpha>.$/ ), q{Don't match negated alpha as subrule} );
ok(!( "A" ~~ m/^<-alpha>$/ ), q{Don't match inverted alpha as subrule} );
ok(!( "\x07" ~~ m/^<.alpha>$/ ), q{Don't match unrelated alpha as subrule} );
ok("\x07" ~~ m/^<!alpha>.$/, q{Match unrelated negated alpha as subrule});
ok("\x07" ~~ m/^<-alpha>$/, q{Match unrelated inverted alpha as subrule});
 
ok("A" ~~ m/^<+alpha>$/, q{Match alpha as charset});
ok("A" ~~ m/^<+[A]+alpha>$/, q{Match compound alpha as charset});
ok(!( "A" ~~ m/^<-alpha>$/ ), q{Don't match inverted alpha as charset} );
ok(!( "A" ~~ m/^<+[A]-alpha>$/ ), q{Don't match compound inverted alpha as charset} );
ok(!( "\x07" ~~ m/^<+alpha>$/ ), q{Don't match unrelated alpha as charset} );
ok("\x07" ~~ m/^<-alpha>$/, q{Match inverted alpha as charset});
ok("\x07A" ~~ m/<+alpha>/, q{Match unanchored alpha as charset});

# space

ok("\x[9]" ~~ m/^<.space>$/, q{Match space as subrule});
ok(!( "\x[9]" ~~ m/^<!space>.$/ ), q{Don't match negated space as subrule} );
ok(!( "\x[9]" ~~ m/^<-space>$/ ), q{Don't match inverted space as subrule} );
ok(!( "(" ~~ m/^<.space>$/ ), q{Don't match unrelated space as subrule} );
ok("(" ~~ m/^<!space>.$/, q{Match unrelated negated space as subrule});
ok("(" ~~ m/^<-space>$/, q{Match unrelated inverted space as subrule});

ok("\x[9]" ~~ m/^<+space>$/, q{Match space as charset});
ok("\x[9]" ~~ m/^<+[A]+space>$/, q{Match compound space as charset});
ok(!( "\x[9]" ~~ m/^<-space>$/ ), q{Don't match externally inverted space as charset} );
ok(!( "\x[9]" ~~ m/^<+[A]-space>$/ ), q{Don't match compound inverted space as charset} );
ok(!( "\x[9]" ~~ m/^<-space>$/ ), q{Don't match internally inverted space as charset} );
ok(!( "(" ~~ m/^<+space>$/ ), q{Don't match unrelated space as charset} );
ok("(" ~~ m/^<-space>$/, q{Match inverted space as charset});
ok("(\x[9]" ~~ m/<+space>/, q{Match unanchored space as charset});

# digit

ok("0" ~~ m/^<.digit>$/, q{Match digit as subrule});
ok(!( "0" ~~ m/^<!digit>.$/ ), q{Don't match negated digit as subrule} );
ok(!( "0" ~~ m/^<-digit>$/ ), q{Don't match inverted digit as subrule} );
ok(!( "\x[C]" ~~ m/^<.digit>$/ ), q{Don't match unrelated digit as subrule} );
ok("\x[C]" ~~ m/^<!digit>.$/, q{Match unrelated negated digit as subrule});
ok("\x[C]" ~~ m/^<-digit>$/, q{Match unrelated inverted digit as subrule});

ok("0" ~~ m/^<+digit>$/, q{Match digit as charset});
ok("0" ~~ m/^<+[A]+digit>$/, q{Match compound digit as charset});
ok(!( "0" ~~ m/^<-digit>$/ ), q{Don't match externally inverted digit as charset} );
ok(!( "0" ~~ m/^<+[A]-digit>$/ ), q{Don't match compound inverted digit as charset} );
ok(!( "0" ~~ m/^<-digit>$/ ), q{Don't match internally inverted digit as charset} );
ok(!( "\x[C]" ~~ m/^<+digit>$/ ), q{Don't match unrelated digit as charset} );
ok("\x[C]" ~~ m/^<-digit>$/, q{Match inverted digit as charset});
ok("\x[C]0" ~~ m/<+digit>/, q{Match unanchored digit as charset});

# alnum

ok("n" ~~ m/^<.alnum>$/, q{Match alnum as subrule});
ok(!( "n" ~~ m/^<!alnum>.$/ ), q{Don't match negated alnum as subrule} );
ok(!( "n" ~~ m/^<-alnum>$/ ), q{Don't match inverted alnum as subrule} );
ok(!( '{' ~~ m/^<.alnum>$/ ), q{Don't match unrelated alnum as subrule} );
ok('{' ~~ m/^<!alnum>.$/, q{Match unrelated negated alnum as subrule});
ok('{' ~~ m/^<-alnum>$/, q{Match unrelated inverted alnum as subrule});

ok("n" ~~ m/^<+alnum>$/, q{Match alnum as charset});
ok("n" ~~ m/^<+[A]+alnum>$/, q{Match compound alnum as charset});
ok(!( "n" ~~ m/^<-alnum>$/ ), q{Don't match externally inverted alnum as charset} );
ok(!( "n" ~~ m/^<+[A]-alnum>$/ ), q{Don't match compound inverted alnum as charset} );

ok(!( "n" ~~ m/^<-alnum>$/ ), q{Don't match internally inverted alnum as charset} );
ok(!( '{' ~~ m/^<+alnum>$/ ), q{Don't match unrelated alnum as charset} );
ok('{' ~~ m/^<-alnum>$/, q{Match inverted alnum as charset});
ok('{n' ~~ m/<+alnum>/, q{Match unanchored alnum as charset});

# ascii

# Unspecced
# ok("+" ~~ m/^<.ascii>$/, q{Match ascii as subrule});
# ok(!( "+" ~~ m/^<!ascii>.$/ ), q{Don't match negated ascii as subrule} );
# ok(!( "+" ~~ m/^<-ascii>$/ ), q{Don't match inverted ascii as subrule} );
#
# ok("+" ~~ m/^<+ascii>$/, q{Match ascii as charset});
# ok("+" ~~ m/^<+[A]+ascii>$/, q{Match compound ascii as charset});
# ok(!( "+" ~~ m/^<-ascii>$/ ), q{Don't match externally inverted ascii as charset} );
# ok(!( "+" ~~ m/^<+[A]-ascii>$/ ), q{Don't match compound inverted ascii as charset} );
# ok(!( "+" ~~ m/^<-ascii>$/ ), q{Don't match inverted ascii as charset} );
# ok("+" ~~ m/<+ascii>/, q{Match unanchored ascii as charset});

# blank

ok("\x[9]" ~~ m/^<.blank>$/, q{Match blank as subrule});
ok(!( "\x[9]" ~~ m/^<!blank>.$/ ), q{Don't match negated blank as subrule} );
ok(!( "\x[9]" ~~ m/^<-blank>$/ ), q{Don't match inverted blank as subrule} );
ok(!( "&" ~~ m/^<.blank>$/ ), q{Don't match unrelated blank as subrule} );
ok("&" ~~ m/^<!blank>.$/, q{Match unrelated negated blank as subrule});
ok("&" ~~ m/^<-blank>$/, q{Match unrelated inverted blank as subrule});

ok("\x[9]" ~~ m/^<+blank>$/, q{Match blank as charset});
ok("\x[9]" ~~ m/^<+[A]+blank>$/, q{Match compound blank as charset});
ok(!( "\x[9]" ~~ m/^<-blank>$/ ), q{Don't match externally inverted blank as charset} );
ok(!( "\x[9]" ~~ m/^<+[A]-blank>$/ ), q{Don't match compound inverted blank as charset} );
ok(!( "\x[9]" ~~ m/^<-blank>$/ ), q{Don't match internally inverted blank as charset} );
ok(!( "&" ~~ m/^<+blank>$/ ), q{Don't match unrelated blank as charset} );
ok("&" ~~ m/^<-blank>$/, q{Match inverted blank as charset});
ok("&\x[9]" ~~ m/<+blank>/, q{Match unanchored blank as charset} );

# cntrl

ok("\x[7F]" ~~ m/^<.cntrl>$/, q{Match cntrl as subrule});
ok(!( "\x[7F]" ~~ m/^<!cntrl>.$/ ), q{Don't match negated cntrl as subrule} );
ok(!( "\x[7F]" ~~ m/^<-cntrl>$/ ), q{Don't match inverted cntrl as subrule} );
ok(!( "=" ~~ m/^<.cntrl>$/ ), q{Don't match unrelated cntrl as subrule} );
ok("=" ~~ m/^<!cntrl>.$/, q{Match unrelated negated cntrl as subrule});
ok("=" ~~ m/^<-cntrl>$/, q{Match unrelated inverted cntrl as subrule});

ok("\x[7F]" ~~ m/^<+cntrl>$/, q{Match cntrl as charset} );
ok("\x[7F]" ~~ m/^<+[A]+cntrl>$/, q{Match compound cntrl as charset});
ok(!( "\x[7F]" ~~ m/^<-cntrl>$/ ), q{Don't match externally inverted cntrl as charset} );
ok(!( "\x[7F]" ~~ m/^<+[A]-cntrl>$/ ), q{Don't match compound inverted cntrl as charset} );
ok(!( "\x[7F]" ~~ m/^<-cntrl>$/ ), q{Don't match internally inverted cntrl as charset} );
ok(!( "=" ~~ m/^<+cntrl>$/ ), q{Don't match unrelated cntrl as charset} );
ok("=" ~~ m/^<-cntrl>$/, q{Match inverted cntrl as charset});
ok("=\x[7F]" ~~ m/<+cntrl>/, q{Match unanchored cntrl as charset} );

# graph

ok("V" ~~ m/^<.graph>$/, q{Match graph as subrule});
ok(!( "V" ~~ m/^<!graph>.$/ ), q{Don't match negated graph as subrule} );
ok(!( "V" ~~ m/^<-graph>$/ ), q{Don't match inverted graph as subrule} );
ok(!( "\x[7F]" ~~ m/^<.graph>$/ ), q{Don't match unrelated graph as subrule} );
ok("\x[7F]" ~~ m/^<!graph>.$/, q{Match unrelated negated graph as subrule});
ok("\x[7F]" ~~ m/^<-graph>$/, q{Match unrelated inverted graph as subrule});

ok("V" ~~ m/^<+graph>$/, q{Match graph as charset} );
ok("V" ~~ m/^<+[A]+graph>$/, q{Match compound graph as charset});
ok(!( "V" ~~ m/^<-graph>$/ ), q{Don't match externally inverted graph as charset} );
ok(!( "V" ~~ m/^<+[A]-graph>$/ ), q{Don't match compound inverted graph as charset} );
ok(!( "V" ~~ m/^<-graph>$/ ), q{Don't match internally inverted graph as charset} );
ok(!( "\x[7F]" ~~ m/^<+graph>$/ ), q{Don't match unrelated graph as charset} );
ok("\x[7F]" ~~ m/^<-graph>$/, q{Match inverted graph as charset});
ok("\x[7F]V" ~~ m/<+graph>/, q{Match unanchored graph as charset} );

# lower

ok("a" ~~ m/^<.lower>$/, q{Match lower as subrule});
ok(!( "a" ~~ m/^<!lower>.$/ ), q{Don't match negated lower as subrule} );
ok(!( "a" ~~ m/^<-lower>$/ ), q{Don't match inverted lower as subrule} );
ok(!( "\x[1E]" ~~ m/^<.lower>$/ ), q{Don't match unrelated lower as subrule} );
ok("\x[1E]" ~~ m/^<!lower>.$/, q{Match unrelated negated lower as subrule});
ok("\x[1E]" ~~ m/^<-lower>$/, q{Match unrelated inverted lower as subrule});

ok("a" ~~ m/^<+lower>$/, q{Match lower as charset} );
ok("a" ~~ m/^<+[A]+lower>$/, q{Match compound lower as charset});
ok(!( "a" ~~ m/^<-lower>$/ ), q{Don't match externally inverted lower as charset} );
ok(!( "a" ~~ m/^<+[A]-lower>$/ ), q{Don't match compound inverted lower as charset} );
ok(!( "a" ~~ m/^<-lower>$/ ), q{Don't match internally inverted lower as charset} );
ok(!( "\x[1E]" ~~ m/^<+lower>$/ ), q{Don't match unrelated lower as charset} );
ok("\x[1E]" ~~ m/^<-lower>$/, q{Match inverted lower as charset});
ok("\x[1E]a" ~~ m/<+lower>/, q{Match unanchored lower as charset} );

# print

ok("M" ~~ m/^<.print>$/, q{Match print as subrule});
ok(!( "M" ~~ m/^<!print>.$/ ), q{Don't match negated print as subrule} );
ok(!( "M" ~~ m/^<-print>$/ ), q{Don't match inverted print as subrule} );
ok(!( "\x[7F]" ~~ m/^<.print>$/ ), q{Don't match unrelated print as subrule} );
ok("\x[7F]" ~~ m/^<!print>.$/, q{Match unrelated negated print as subrule});
ok("\x[7F]" ~~ m/^<-print>$/, q{Match unrelated inverted print as subrule});

ok("M" ~~ m/^<+print>$/, q{Match print as charset} );
ok("M" ~~ m/^<+[A]+print>$/, q{Match compound print as charset});
ok(!( "M" ~~ m/^<-print>$/ ), q{Don't match externally inverted print as charset} );
ok(!( "M" ~~ m/^<+[A]-print>$/ ), q{Don't match compound inverted print as charset} );
ok(!( "M" ~~ m/^<-print>$/ ), q{Don't match internally inverted print as charset} );
ok(!( "\x[7F]" ~~ m/^<+print>$/ ), q{Don't match unrelated print as charset} );
ok("\x[7F]" ~~ m/^<-print>$/, q{Match inverted print as charset});
ok("\x[7F]M" ~~ m/<+print>/, q{Match unanchored print as charset} );

# punct

ok("[" ~~ m/^<.punct>$/, q{Match punct as subrule});
ok(!( "[" ~~ m/^<!punct>.$/ ), q{Don't match negated punct as subrule} );
ok(!( "[" ~~ m/^<-punct>$/ ), q{Don't match inverted punct as subrule} );
ok(!( "F" ~~ m/^<.punct>$/ ), q{Don't match unrelated punct as subrule} );
ok("F" ~~ m/^<!punct>.$/, q{Match unrelated negated punct as subrule});
ok("F" ~~ m/^<-punct>$/, q{Match unrelated inverted punct as subrule});

ok("[" ~~ m/^<+punct>$/, q{Match punct as charset} );
ok("[" ~~ m/^<+[A]+punct>$/, q{Match compound punct as charset});
ok(!( "[" ~~ m/^<-punct>$/ ), q{Don't match externally inverted punct as charset} );
ok(!( "[" ~~ m/^<+[A]-punct>$/ ), q{Don't match compound inverted punct as charset} );
ok(!( "[" ~~ m/^<-punct>$/ ), q{Don't match internally inverted punct as charset} );
ok(!( "F" ~~ m/^<+punct>$/ ), q{Don't match unrelated punct as charset} );
ok("F" ~~ m/^<-punct>$/, q{Match inverted punct as charset});
ok("F[" ~~ m/<+punct>/, q{Match unanchored punct as charset} );

# upper

ok("A" ~~ m/^<.upper>$/, q{Match upper as subrule});
ok(!( "A" ~~ m/^<!upper>.$/ ), q{Don't match negated upper as subrule} );
ok(!( "A" ~~ m/^<-upper>$/ ), q{Don't match inverted upper as subrule} );
ok(!( "\x[5F]" ~~ m/^<.upper>$/ ), q{Don't match unrelated upper as subrule} );
ok("\x[5F]" ~~ m/^<!upper>.$/, q{Match unrelated negated upper as subrule});
ok("\x[5F]" ~~ m/^<-upper>$/, q{Match unrelated inverted upper as subrule});

ok("A" ~~ m/^<+upper>$/, q{Match upper as charset} );
ok("A" ~~ m/^<+[A]+upper>$/, q{Match compound upper as charset});

ok(!( "A" ~~ m/^<-upper>$/ ), q{Don't match externally inverted upper as charset} );
ok(!( "A" ~~ m/^<+[A]-upper>$/ ), q{Don't match compound inverted upper as charset} );
ok(!( "A" ~~ m/^<-upper>$/ ), q{Don't match internally inverted upper as charset} );
ok(!( "\x[5F]" ~~ m/^<+upper>$/ ), q{Don't match unrelated upper as charset} );
ok("\x[5F]" ~~ m/^<-upper>$/, q{Match inverted upper as charset});
ok("\x[5F]A" ~~ m/<+upper>/, q{Match unanchored upper as charset} );

# word
# unspecced
# ok("b" ~~ m/^<.word>$/, q{Match word as subrule});
# ok(!( "b" ~~ m/^<!word>.$/ ), q{Don't match negated word as subrule} );
# ok(!( "b" ~~ m/^<-word>$/ ), q{Don't match inverted word as subrule} );
# ok(!( '{' ~~ m/^<.word>$/ ), q{Don't match unrelated word as subrule} );
# ok('{' ~~ m/^<!word>.$/, q{Match unrelated negated word as subrule} );
# ok('{' ~~ m/^<-word>$/, q{Match unrelated inverted word as subrule});
#
# ok("b" ~~ m/^<+word>$/, q{Match word as charset} );
# ok("b" ~~ m/^<+[A]+word>$/, q{Match compound word as charset});
# ok(!( "b" ~~ m/^<-word>$/ ), q{Don't match externally inverted word as charset} );
# ok(!( "b" ~~ m/^<+[A]-word>$/ ), q{Don't match compound inverted word as charset} );
# ok(!( "b" ~~ m/^<-word>$/ ), q{Don't match internally inverted word as charset} );
# ok(!( '{' ~~ m/^<+word>$/ ), q{Don't match unrelated word as charset} );
# ok('{' ~~ m/^<-word>$/, q{Match inverted word as charset});
# ok('{b' ~~ m/<+word>/, q{Match unanchored word as charset} );

# xdigit

ok("0" ~~ m/^<.xdigit>$/, q{Match xdigit as subrule});
ok(!( "0" ~~ m/^<!xdigit>.$/ ), q{Don't match negated xdigit as subrule} );
ok(!( "0" ~~ m/^<-xdigit>$/ ), q{Don't match inverted xdigit as subrule} );
ok(!( "}" ~~ m/^<.xdigit>$/ ), q{Don't match unrelated xdigit as subrule} );
ok("}" ~~ m/^<!xdigit>.$/, q{Match unrelated negated xdigit as subrule});
ok("}" ~~ m/^<-xdigit>$/, q{Match unrelated inverted xdigit as subrule});

ok("0" ~~ m/^<+xdigit>$/, q{Match xdigit as charset} );
ok("0" ~~ m/^<+[A]+xdigit>$/, q{Match compound xdigit as charset});
ok(!( "0" ~~ m/^<-xdigit>$/ ), q{Don't match externally inverted xdigit as charset} );
ok(!( "0" ~~ m/^<+[A]-xdigit>$/ ), q{Don't match compound inverted xdigit as charset} );
ok(!( "0" ~~ m/^<-xdigit>$/ ), q{Don't match internally inverted xdigit as charset} );
ok(!( "}" ~~ m/^<+xdigit>$/ ), q{Don't match unrelated xdigit as charset} );
ok("}" ~~ m/^<-xdigit>$/, q{Match inverted xdigit as charset});
ok("}0" ~~ m/<+xdigit>/, q{Match unanchored xdigit as charset} );
Something went wrong with that request. Please try again.