← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to tools/sgen/source/README.md

  • Committer: Sébastien Hinderer
  • Date: 2015-08-10 12:22:12 UTC
  • mto: (4116.2.93)
  • mto: This revision was merged to the branch mainline in revision 4121.
  • Revision ID: git-v1:848f85e256516330c06f5fd8dc782b854ed9aa03
Remove a bunch of trailing whitespaces and blank lines at end of files.

Show diffs side-by-side

added added

removed removed

Lines of Context:
tools/sgen/source/README.md
10
10
 
11
11
**Internal dependency order (partial; ie. not total, some can be interchanged)**:
12
12
 
13
 
globals.ml ast\_tostring.ml detect_patch.ml  
14
 
meta\_variable.ml snapshot.ml user\_input.ml  
15
 
position\_generator.ml disj\_generator.ml  
16
 
rule\_body.ml rule\_header.ml context\_rule.ml script\_rule.ml  
17
 
file\_transform.ml sgen\_interactive.ml sgen\_config.ml sgen.ml  
 
13
globals.ml ast\_tostring.ml detect_patch.ml
 
14
meta\_variable.ml snapshot.ml user\_input.ml
 
15
position\_generator.ml disj\_generator.ml
 
16
rule\_body.ml rule\_header.ml context\_rule.ml script\_rule.ml
 
17
file\_transform.ml sgen\_interactive.ml sgen\_config.ml sgen.ml
18
18
main.ml
19
19
 
20
20
 
45
45
 
46
46
     - use snapshot type to keep state during the traversal (snapshot.ml).
47
47
 
48
 
     - generate metapositions at structurally suitable places in the rule, used for *org* and *report* printing modes (position\_generator.ml).  
 
48
     - generate metapositions at structurally suitable places in the rule, used for *org* and *report* printing modes (position\_generator.ml).
49
49
       If the original rule was a plus rule (ie. no \*/-, only +), the positions dictate where the new \*'s are placed. Otherwise, the original \*/- dictate where the new \*'s are placed.
50
50
 
51
51
     - special disjunction cases that arise in converting a *patch* rule to a *context* rule are handled as well (disj\_generator.ml).