Add an optimisation to allow proxy constant subroutines to be copied
[p5sagit/p5-mst-13.2.git] / regcomp.sym
1 # Format:
2 # NAME \t TYPE, arg-description [num-args] [longjump-len] \t DESCRIPTION
3
4 # Empty rows and #-comment rows are ignored.
5
6 # Exit points
7 END             END,    no      End of program.
8 SUCCEED         END,    no      Return from a subroutine, basically.
9
10 # Anchors:
11 BOL             BOL,    no      Match "" at beginning of line.
12 MBOL            BOL,    no      Same, assuming multiline.
13 SBOL            BOL,    no      Same, assuming singleline.
14 EOS             EOL,    no      Match "" at end of string.
15 EOL             EOL,    no      Match "" at end of line.
16 MEOL            EOL,    no      Same, assuming multiline.
17 SEOL            EOL,    no      Same, assuming singleline.
18 BOUND           BOUND,  no      Match "" at any word boundary
19 BOUNDL          BOUND,  no      Match "" at any word boundary
20 NBOUND          NBOUND, no      Match "" at any word non-boundary
21 NBOUNDL         NBOUND, no      Match "" at any word non-boundary
22 GPOS            GPOS,   no      Matches where last m//g left off.
23
24 # [Special] alternatives
25 REG_ANY         REG_ANY,    no  Match any one character (except newline).
26 SANY            REG_ANY,    no  Match any one character.
27 CANY            REG_ANY,    no  Match any one byte.
28 ANYOF           ANYOF,  sv      Match character in (or not in) this class.
29 ALNUM           ALNUM,  no      Match any alphanumeric character
30 ALNUML          ALNUM,  no      Match any alphanumeric char in locale
31 NALNUM          NALNUM, no      Match any non-alphanumeric character
32 NALNUML         NALNUM, no      Match any non-alphanumeric char in locale
33 SPACE           SPACE,  no      Match any whitespace character
34 SPACEL          SPACE,  no      Match any whitespace char in locale
35 NSPACE          NSPACE, no      Match any non-whitespace character
36 NSPACEL         NSPACE, no      Match any non-whitespace char in locale
37 DIGIT           DIGIT,  no      Match any numeric character
38 DIGITL          DIGIT,  no      Match any numeric character in locale
39 NDIGIT          NDIGIT, no      Match any non-numeric character
40 NDIGITL         NDIGIT, no      Match any non-numeric character in locale
41 CLUMP           CLUMP,  no      Match any combining character sequence
42
43 # BRANCH        The set of branches constituting a single choice are hooked
44 #               together with their "next" pointers, since precedence prevents
45 #               anything being concatenated to any individual branch.  The
46 #               "next" pointer of the last BRANCH in a choice points to the
47 #               thing following the whole choice.  This is also where the
48 #               final "next" pointer of each individual branch points; each
49 #               branch starts with the operand node of a BRANCH node.
50 #
51 BRANCH          BRANCH, node    Match this alternative, or the next...
52
53 # BACK          Normal "next" pointers all implicitly point forward; BACK
54 #               exists to make loop structures possible.
55 # not used
56 BACK            BACK,   no      Match "", "next" ptr points backward.
57
58 # Literals
59 EXACT           EXACT,  sv      Match this string (preceded by length).
60 EXACTF          EXACT,  sv      Match this string, folded (prec. by length).
61 EXACTFL         EXACT,  sv      Match this string, folded in locale (w/len).
62
63 # Trie Related (behave the same as A|LIST|OF|WORDS would)
64 TRIE            TRIE,   trie 1  Match one or more of many EXACT strings
65 TRIEF           TRIE,   trie 1  Match one or more of many EXACTF strings
66 TRIEFL          TRIE,   trie 1  Match one or more of many EXACTFL strings
67
68 # Do nothing
69 NOTHING         NOTHING,no      Match empty string.
70 # A variant of above which delimits a group, thus stops optimizations
71 TAIL            NOTHING,no      Match empty string. Can jump here from outside.
72
73 # STAR,PLUS     '?', and complex '*' and '+', are implemented as circular
74 #               BRANCH structures using BACK.  Simple cases (one character
75 #               per match) are implemented with STAR and PLUS for speed
76 #               and to minimize recursive plunges.
77 #
78 STAR            STAR,   node    Match this (simple) thing 0 or more times.
79 PLUS            PLUS,   node    Match this (simple) thing 1 or more times.
80
81 CURLY           CURLY,  sv 2    Match this simple thing {n,m} times.
82 CURLYN          CURLY,  no 2    Match next-after-this simple thing 
83 #                               {n,m} times, set parenths.
84 CURLYM          CURLY,  no 2    Match this medium-complex thing {n,m} times.
85 CURLYX          CURLY,  sv 2    Match this complex thing {n,m} times.
86
87 # This terminator creates a loop structure for CURLYX
88 WHILEM          WHILEM, no      Do curly processing and see if rest matches.
89
90 # OPEN,CLOSE,GROUPP     ...are numbered at compile time.
91 OPEN            OPEN,   num 1   Mark this point in input as start of #n.
92 CLOSE           CLOSE,  num 1   Analogous to OPEN.
93
94 REF             REF,    num 1   Match some already matched string
95 REFF            REF,    num 1   Match already matched string, folded
96 REFFL           REF,    num 1   Match already matched string, folded in loc.
97
98 # grouping assertions
99 IFMATCH         BRANCHJ,off 1 2 Succeeds if the following matches.
100 UNLESSM         BRANCHJ,off 1 2 Fails if the following matches.
101 SUSPEND         BRANCHJ,off 1 1 "Independent" sub-RE.
102 IFTHEN          BRANCHJ,off 1 1 Switch, should be preceeded by switcher .
103 GROUPP          GROUPP, num 1   Whether the group matched.
104
105 # Support for long RE
106 LONGJMP         LONGJMP,off 1 1 Jump far away.
107 BRANCHJ         BRANCHJ,off 1 1 BRANCH with long offset.
108
109 # The heavy worker
110 EVAL            EVAL,   evl 1   Execute some Perl code.
111
112 # Modifiers
113 MINMOD          MINMOD, no      Next operator is not greedy.
114 LOGICAL         LOGICAL,no      Next opcode should set the flag only.
115
116 # This is not used yet
117 RENUM           BRANCHJ,off 1 1 Group with independently numbered parens.
118
119 # This is not really a node, but an optimized away piece of a "long" node.
120 # To simplify debugging output, we mark it as if it were a node
121 OPTIMIZED       NOTHING,off     Placeholder for dump.