equal
deleted
inserted
replaced
41 ^ node |
41 ^ node |
42 ! |
42 ! |
43 |
43 |
44 visitTrimNode: node |
44 visitTrimNode: node |
45 self visitChildren: node. |
45 self visitChildren: node. |
46 |
46 |
47 (node child isKindOf: PPCTokenNode) ifTrue: [ |
47 (node child isKindOf: PPCTokenNode) ifTrue: [ |
48 self change. |
48 self change. |
49 ^ PPCTrimmingTokenNode new |
49 ^ PPCTrimmingTokenNode new |
50 name: node name; |
50 name: node name; |
51 child: node child child; |
51 child: node child child; |
52 tokenClass: node child tokenClass; |
52 tokenClass: node child tokenClass; |
53 whitespace: node trimmer; |
53 whitespace: node trimmer; |
|
54 parser: node parser; |
54 yourself |
55 yourself |
55 ]. |
56 ]. |
56 |
57 |
57 (node child isKindOf: PPCTokenConsumeNode) ifTrue: [ |
58 (node child isKindOf: PPCTokenConsumeNode) ifTrue: [ |
58 self change. |
59 self change. |
|
60 self halt: 'JK: this can happen???'. |
59 ^ PPCTrimmingTokenNode new |
61 ^ PPCTrimmingTokenNode new |
60 name: node name; |
62 name: node name; |
61 child: node child; |
63 child: node child; |
62 tokenClass: node child child tokenClass; |
64 tokenClass: node child child tokenClass; |
63 whitespace: node trimmer; |
65 whitespace: node trimmer; |