analyzer/tests/PPRewriterTest.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Wed, 19 Nov 2014 10:52:37 +0000
changeset 420 b2f2f15cef26
parent 402 1d7503124bc8
child 425 0a5c4929af56
permissions -rw-r--r--
Moved benchmarks to a separate package
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
"{ Package: 'stx:goodies/petitparser/analyzer/tests' }"
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     2
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
PPAbstractParserTest subclass:#PPRewriterTest
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
	instanceVariableNames:'rewriter'
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
	classVariableNames:''
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
	poolDictionaries:''
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     7
	category:'PetitAnalyzer-Tests'
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     9
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    10
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    11
!PPRewriterTest methodsFor:'running'!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
setUp
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    14
	rewriter := PPRewriter new
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    15
! !
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    17
!PPRewriterTest methodsFor:'testing'!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    18
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    19
testDuplicationRemoval
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    20
	| duplicate before between after result |
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    21
	duplicate := PPPattern any.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    22
	before := PPListPattern any.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    23
	between := PPListPattern any.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    24
	after := PPListPattern any.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    25
	rewriter replace: before / duplicate / between / duplicate / after with: before / duplicate / between / after.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    26
	result := rewriter execute: $a asParser / $a asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    27
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    28
	self assert: result children size equals: 1.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    29
	self assert: result children first literal equals: $a.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    30
	result := rewriter execute: $b asParser / $a asParser / $a asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    31
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    32
	self assert: result children size equals: 2.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    33
	self assert: result children first literal equals: $b.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    34
	self assert: result children last literal equals: $a.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    35
	result := rewriter execute: $a asParser / $b asParser / $a asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    36
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    37
	self assert: result children size equals: 2.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    38
	self assert: result children first literal equals: $a.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    39
	self assert: result children last literal equals: $b.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    40
	result := rewriter execute: $a asParser / $a asParser / $b asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    41
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    42
	self assert: result children size equals: 2.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    43
	self assert: result children first literal equals: $a.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    44
	self assert: result children last literal equals: $b
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    45
!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    46
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    47
testPatternRemoval
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    48
	| pattern result |
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    49
	pattern := PPPattern class: PPLiteralObjectParser.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    50
	rewriter replace: pattern / pattern with: pattern.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    51
	result := rewriter execute: $a asParser / $a asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    52
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    53
	self assert: result class equals: PPLiteralObjectParser.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    54
	self assert: result literal equals: $a.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    55
	result := rewriter execute: $a asParser / $a asParser / $a asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    56
	self deny: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    57
	self assert: result class equals: PPChoiceParser.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    58
	self assert: result children size equals: 3
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    59
!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    60
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    61
testPatternReplacement
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    62
	| pattern result |
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    63
	pattern := PPPattern class: PPLiteralObjectParser.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    64
	rewriter replace: pattern with: pattern , pattern.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    65
	result := rewriter execute: $a asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    66
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    67
	self assert: result class equals: PPSequenceParser.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    68
	self assert: result children first literal equals: $a.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    69
	self assert: result children last literal equals: $a.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    70
	result := rewriter execute: #any asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    71
	self deny: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    72
	self assert: result class equals: PPPredicateObjectParser
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    73
!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    74
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    75
testReplaceLiteral
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    76
	| result |
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    77
	rewriter replace: $a asParser with: $b asParser.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    78
	result := rewriter execute: $a asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    79
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    80
	self assert: result literal equals: $b.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    81
	result := rewriter execute: $c asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    82
	self deny: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    83
	self assert: result literal equals: $c.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    84
	result := rewriter execute: $a asParser , $b asParser , $c asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    85
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    86
	self assert: result children size equals: 3.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    87
	self assert: result children first literal equals: $b.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    88
	self assert: result children last literal equals: $c
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    89
!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    90
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    91
testSwapTwoPattern
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    92
	| first second result |
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    93
	first := PPPattern any.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    94
	second := PPPattern any.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    95
	rewriter replace: first , second with: second , first.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    96
	result := rewriter execute: $a asParser , $b asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    97
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    98
	self assert: result children first literal equals: $b.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
    99
	self assert: result children last literal equals: $a.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   100
	result := rewriter execute: $a asParser / $b asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   101
	self deny: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   102
	self assert: result children first literal equals: $a.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   103
	self assert: result children last literal equals: $b
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   104
!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   105
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   106
testWrapLiteral
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   107
	| result |
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   108
	rewriter replace: $a asParser withValueFrom: [ :parser | parser token ].
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   109
	result := rewriter execute: $a asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   110
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   111
	self assert: result class equals: PPTokenParser.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   112
	self assert: result children first literal equals: $a.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   113
	result := rewriter execute: $c asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   114
	self deny: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   115
	self assert: result literal equals: $c.
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   116
	result := rewriter execute: $a asParser , $b asParser.
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   117
	self assert: rewriter hasChanged.
402
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   118
	self assert: result children first class equals: PPTokenParser.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   119
	self assert: result children first children first literal equals: $a.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   120
	self assert: result children last class equals: PPLiteralObjectParser.
1d7503124bc8 Reverted back change from `assert: x equals: y` to assert: (x = u).
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 382
diff changeset
   121
	self assert: result children last literal equals: $b
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   122
! !
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   123
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   124
!PPRewriterTest class methodsFor:'documentation'!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   125
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   126
version
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   127
    ^ '$Header: /cvs/stx/stx/goodies/petitparser/analyzer/tests/PPRewriterTest.st,v 1.1 2014-03-04 15:43:01 cg Exp $'
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   128
!
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   129
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   130
version_CVS
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   131
    ^ '$Header: /cvs/stx/stx/goodies/petitparser/analyzer/tests/PPRewriterTest.st,v 1.1 2014-03-04 15:43:01 cg Exp $'
382
1825151d6455 Added target `mcz` to export .mcz package out of Smalltalk/X package.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 209
diff changeset
   132
!
1825151d6455 Added target `mcz` to export .mcz package out of Smalltalk/X package.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 209
diff changeset
   133
1825151d6455 Added target `mcz` to export .mcz package out of Smalltalk/X package.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 209
diff changeset
   134
version_HG
1825151d6455 Added target `mcz` to export .mcz package out of Smalltalk/X package.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 209
diff changeset
   135
1825151d6455 Added target `mcz` to export .mcz package out of Smalltalk/X package.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 209
diff changeset
   136
    ^ '$Changeset: <not expanded> $'
209
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   137
! !
27b919ed87da initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   138