Lines Matching refs:rules

35 Transformer helps users succinctly specify rules of this sort and easily execute
77 ``makeRule`` is our go-to function for generating rewrite rules. It takes three
205 Reference: ranges, stencils, edits, rules
208 The above examples demonstrate just the basics of rewrite rules. Every element
210 and rules. In this section, we'll briefly review each in turn, with references
212 rewrite rules are actually rewriting.
218 explanation of what the rewrite rules are actually rewriting. We've referred to
329 We can also compose multiple *rules*, rather than just edits within a rule,
330 using ``applyFirst``: it composes a list of rules as an ordered choice, where
333 that case, ``applyFirst`` is simply joining the set of rules into one.
336 more concisely formulate later rules in the list, since their patterns need not
338 of rules that rewrite compound statements, where one rule handles the case of an
340 With ``applyFirst``, these rules can be expressed compactly as:
350 is non-empty -- it follows from the rules position in ``applyFirst``. For more
354 particular header file. To this end, users can modify rules to specify include