hg/stx-goodies-petitparser: compiler/tests/PPCNodeFirstFollowNextTests.st@9f4558b3be66 (annotated)

421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1	"{ Package: 'stx:goodies/petitparser/compiler/tests' }"
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	2
422 116d2b2af905 To fold Jan Vrany <jan.vrany@fit.cvut.cz> parents: 421 diff changeset	3	"{ NameSpace: Smalltalk }"
116d2b2af905 To fold Jan Vrany <jan.vrany@fit.cvut.cz> parents: 421 diff changeset	4
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	5	TestCase subclass:#PPCNodeFirstFollowNextTests
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	6	instanceVariableNames:'tree first node followSet configuration'
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	7	classVariableNames:''
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	8	poolDictionaries:''
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	9	category:'PetitCompiler-Tests-Nodes'
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	10	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	11
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	12	!PPCNodeFirstFollowNextTests methodsFor:'setup'!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	13
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	14	setUp
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	15	configuration := PPCConfiguration default.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	16	configuration arguments generate: false.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	17	"The First/Follow is not allowed after this phase:"
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	18	configuration arguments specialize: false.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	19	! !
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	20
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	21	!PPCNodeFirstFollowNextTests methodsFor:'support'!
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	22
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	23	assert: set anyMatchesType: whatever
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	24	self assert: (set anySatisfy: [:e \| e isKindOf: whatever ])
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	25	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	26
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	27	assert: set anySatisfy: whateverBlock
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	28	self assert: (set anySatisfy: [:e \| [whateverBlock value: e] on: Error do: [ false ] ])
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	29	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	30
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	31	assert: set noneMatchesType: whatever
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	32	self assert: (set noneSatisfy: [:e \| e isKindOf: whatever ])
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	33	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	34
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	35	assert: set noneSatisfy: whateverBlock
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	36	self assert: (set noneSatisfy: [:e \| [whateverBlock value: e] on: Error do: [ false ] ])
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	37	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	38
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	39	assert: set size: anInteger
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	40	self assert: (set size = anInteger )
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	41	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	42
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	43	first: aNode
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	44	^ aNode firstSet
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	45	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	46
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	47	first: aNode suchThat: aBlock
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	48	^ (aNode firstSetsSuchThat: aBlock) at: aNode
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	49	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	50
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	51	followOf: name in: rootNode
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	52	node := (rootNode allNodes select: [ :n \| n name = name ] )anyOne.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	53	^ rootNode followSets at: node
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	54	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	55
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	56	followOf: name in: rootNode suchThat: aBlock
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	57	node := (rootNode allNodes select: [ :n \| n name = name ] )anyOne.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	58	^ (rootNode followSetsSuchThat: aBlock) at: node
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	59	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	60
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	61	followOfNodeIn: rootNode
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	62	^ self followOf: 'node' in: rootNode
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	63	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	64
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	65	treeFrom: parser
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	66	^ parser compileWithConfiguration: configuration
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	67	! !
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	68
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	69	!PPCNodeFirstFollowNextTests methodsFor:'testing - first'!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	70
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	71	testFirst1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	72	tree := self treeFrom: nil asParser / 'a' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	73
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	74	self assert: (self first: tree) anyMatchesType: PPCNilNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	75	self assert: (self first: tree) anyMatchesType: PPCAbstractLiteralNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	76	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	77
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	78	testFirst2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	79	tree := self treeFrom: 'a' asParser optional, 'b' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	80
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	81	self assert: (self first: tree) anySatisfy: [ :e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	82	self assert: (self first: tree) anySatisfy: [ :e \| e literal = 'b' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	83	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	84
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	85	testFirst3
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	86	tree := ('a' asParser optional, 'b' asParser asParser optional), 'c' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	87
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	88	self assert: (self first: tree) anySatisfy: [ :e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	89	self assert: (self first: tree) anySatisfy: [ :e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	90	self assert: (self first: tree) anySatisfy: [ :e \| e literal = 'c' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	91	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	92
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	93	testFirstChoice1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	94	tree := self treeFrom: nil asParser / '' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	95
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	96	self assert: (self first: tree) anySatisfy: [:e \| e literal = ''].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	97	self assert: (self first: tree) anyMatchesType: PPCNilNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	98	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	99
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	100	testFirstChoice2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	101	tree := self treeFrom: 'a' asParser / nil asParser / 'b' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	102
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	103	first := (self first: tree).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	104
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	105	self assert: first anySatisfy: [:e \| e literal = 'a'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	106	self assert: first anySatisfy: [:e \| e literal = 'b'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	107	self assert: first anyMatchesType: PPCNilNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	108	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	109
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	110	testFirstComplex1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	111	tree := self treeFrom: ('a' asParser / nil asParser), 'c' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	112
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	113	first := (self first: tree).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	114
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	115	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	116	self assert: first anySatisfy: [:e \| e literal = 'a'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	117	self assert: first anySatisfy: [:e \| e literal = 'c'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	118	self assert: first noneMatchesType: PPCNilNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	119	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	120
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	121	testFirstComplex2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	122	tree := self treeFrom: ('a' asParser / nil asParser / 'b' asParser), 'c' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	123
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	124
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	125	first := (self first: tree).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	126
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	127	self assert: first size: 3.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	128	self assert: first anySatisfy: [:e \| e literal = 'a'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	129	self assert: first anySatisfy: [:e \| e literal = 'b'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	130	self assert: first anySatisfy: [:e \| e literal = 'c'].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	131	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	132
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	133	testFirstComplex3
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	134	tree := self treeFrom: ('a' asParser / nil asParser / 'b' asParser), 'c' asParser not.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	135
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	136	first := (self first: tree).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	137
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	138	self assert: first anySatisfy: [:e \| e literal = 'a'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	139	self assert: first anySatisfy: [:e \| e literal = 'b'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	140	self assert: first anySatisfy: [:e \| (e isKindOf: PPCNotNode) and: [e child literal = 'c']].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	141	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	142
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	143	testFirstComplex4
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	144	tree := self treeFrom: (('a' asParser / nil asParser / 'b' asParser), 'c' asParser not) wrapped.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	145
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	146	first := (self first: tree).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	147
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	148	self assert: first anySatisfy: [:e \| e literal = 'a'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	149	self assert: first anySatisfy: [:e \| e literal = 'b'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	150	self assert: first anySatisfy: [:e \| (e isKindOf: PPCNotNode) and: [ e child literal = 'c' ]].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	151	self assert: first noneMatchesType: PPCNilNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	152	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	153
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	154	testFirstNegate1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	155	configuration arguments specialize: true.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	156	tree := self treeFrom: ('a' asParser negate, 'b' asParser).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	157
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	158	first := self first: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	159
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	160	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	161	self assert: first anyMatchesType: PPCNotNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	162	self assert: first anyOne child literal = 'a'.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	163	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	164
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	165	testFirstNot
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	166	tree := self treeFrom: ('a' asParser not star, 'b' asParser).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	167
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	168	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	169
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	170	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	171	self assert: first anyMatchesType: PPCNotNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	172	self assert: first anyMatchesType: PPCLiteralNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	173	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	174
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	175	testFirstNot2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	176	configuration arguments specialize: true.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	177	tree := self treeFrom: (#letter asParser not star, #letter asParser).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	178
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	179	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	180
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	181	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	182	self assert: first anyMatchesType: PPCNotNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	183	self assert: first anyMatchesType: PPCPredicateNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	184	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	185
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	186	testFirstNot4
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	187	tree := self treeFrom: (#letter asParser negate plus, #letter asParser).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	188
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	189	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	190
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	191	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	192	self assert: (first anyOne predicate value: $a) not.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	193	self assert: (first anyOne predicate value: $1).
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	194	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	195
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	196	testFirstNot5
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	197	tree := self treeFrom: (#letter asParser negate star, #letter asParser).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	198
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	199	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	200
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	201	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	202	self assert: first anySatisfy: [ :e \| (e predicate value: $a) not ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	203	self assert: first anySatisfy: [ :e \| (e predicate value: $1) ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	204
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	205
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	206	self assert: first anySatisfy: [ :e \| (e predicate value: $a) ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	207	self assert: first anySatisfy: [ :e \| (e predicate value: $1) not ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	208	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	209
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	210	testFirstOptional
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	211	tree := 'a' asParser optional asCompilerTree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	212
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	213	first := (self first: tree).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	214
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	215	self assert: first anyMatchesType: PPCNilNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	216	self assert: first anyMatchesType: PPCLiteralNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	217	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	218
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	219	testFirstOptional2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	220	tree := ('a' asParser optional, 'b' asParser) asCompilerTree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	221
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	222	first := (self first: tree).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	223
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	224	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	225	self assert: first anySatisfy: [ :e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	226	self assert: first anySatisfy: [ :e \| e literal = 'b' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	227	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	228
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	229	testFirstRepeat1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	230	tree := ('a' asParser / nil asParser) plus asCompilerTree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	231
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	232	first := self first: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	233
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	234	self assert: first anySatisfy: [:e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	235	self assert: first anyMatchesType: PPCNilNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	236	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	237
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	238	testFirstRepeat2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	239	tree := ('a' asParser star, 'b' asParser) asCompilerTree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	240
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	241	first := self first: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	242
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	243	self assert: first anySatisfy: [:e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	244	self assert: first anySatisfy: [:e \| e literal = 'b' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	245	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	246
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	247	testFirstRepeat3
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	248	tree := ('a' asParser negate plus, 'b' asParser) asCompilerTree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	249
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	250	first := self first: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	251
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	252	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	253	self assert: first anyMatchesType: PPCNotNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	254	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	255
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	256	testFirstRepeat4
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	257	tree := ('a' asParser negate star, 'b' asParser) asCompilerTree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	258
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	259	first := self first: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	260
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	261	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	262	self assert: first anySatisfy: [:e \| (e isKindOf: PPCNotNode) and: [e child literal = 'a']].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	263	self assert: first anySatisfy: [ :e \| e literal = 'b' ]
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	264	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	265
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	266	testFirstSequence1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	267	tree := self treeFrom: 'a' asParser, 'b' asParser .
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	268
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	269	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	270
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	271	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	272	self assert: first anySatisfy: [ :e \| e literal = 'a' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	273	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	274
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	275	testFirstSequence2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	276	tree := nil asParser, 'a' asParser, 'b' asParser .
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	277
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	278	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	279
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	280	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	281	self assert: first anySatisfy: [ :e \| e literal = 'a' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	282	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	283
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	284	testFirstSequence3
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	285	tree := self treeFrom: nil asParser, nil asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	286
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	287	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	288
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	289	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	290	self assert: first anyMatchesType: PPCNilNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	291	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	292
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	293	testFirstSequence4
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	294	tree := self treeFrom: ((nil asParser / 'a' asParser) plus), 'b' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	295
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	296	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	297
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	298	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	299	self assert: first anySatisfy: [ :e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	300	self assert: first anySatisfy: [ :e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	301	self assert: first noneMatchesType: PPCNilNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	302	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	303
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	304	testFirstSequence5
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	305	tree := self treeFrom: ((nil asParser / 'a' asParser) star), 'b' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	306
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	307	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	308
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	309	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	310	self assert: first anySatisfy: [ :e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	311	self assert: first anySatisfy: [ :e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	312	self assert: first noneMatchesType: PPCNilNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	313	!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	314
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	315	testFirstSequence6
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	316	configuration arguments specialize: true.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	317	tree := self treeFrom: #space asParser star, 'a' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	318
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	319	tree firstFollowCache: nil.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	320	self should: [ self first: tree. ] raise: Exception.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	321	!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	322
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	323	testFirstSequence7
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	324	tree := self treeFrom: #space asParser star, 'a' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	325
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	326	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	327
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	328	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	329	self assert: first anySatisfy: [ :e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	330	self assert: first anyMatchesType: PPCPredicateNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	331	!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	332
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	333	testFirstStarMessagePredicate
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	334	tree := self treeFrom: #space asParser star.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	335
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	336	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	337
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	338	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	339	self assert: first anyMatchesType: PPCPredicateNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	340	self assert: first anyMatchesType: PPCSentinelNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	341	!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	342
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	343	testFirstStarMessagePredicate2
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	344	configuration arguments specialize: true.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	345	tree := self treeFrom: #space asParser star.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	346
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	347	self should: [ self first: tree ] raise: Exception.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	348
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	349
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	350	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	351
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	352	testFirstTerminal
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	353	configuration arguments specialize: true.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	354	tree := self treeFrom: 'a' asParser not.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	355
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	356	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	357
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	358	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	359	self assert: (self first: tree) anyMatchesType: PPCNotLiteralNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	360	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	361
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	362	testFirstTerminal2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	363	tree := self treeFrom: 'a' asParser and.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	364
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	365	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	366
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	367	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	368	self assert: first anySatisfy: [: e \| e literal = 'a' ]
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	369	!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	370
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	371	testFirstTrim
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	372	tree := self treeFrom: 'a' asParser trim.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	373
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	374	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	375
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	376	self assert: first size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	377	self assert: first anyMatchesType: PPCLiteralNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	378	self assert: first anyMatchesType: PPCMessagePredicateNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	379	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	380
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	381	testFirstTrimmingToken
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	382	tree := self treeFrom: 'a' asParser token trim.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	383
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	384	first := self first: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	385
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	386	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	387	self assert: (self first: tree) anyMatchesType: PPCLiteralNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	388	! !
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	389
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	390	!PPCNodeFirstFollowNextTests methodsFor:'testing - first production'!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	391
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	392	testFirstProduction1
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	393	tree := self treeFrom: ('a' asParser name: 'a'; yourself), 'b' asParser .
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	394
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	395	first := tree firstSetWithProductions.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	396
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	397	self assert: first size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	398	self assert: first anySatisfy: [ :e \| e literal = 'a' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	399	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	400
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	401	testFirstProduction2
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	402	tree := self treeFrom: ('a' asParser name: nil; yourself), 'b' asParser .
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	403
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	404	first := tree firstSetWithProductions.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	405
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	406	self assert: first isEmpty.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	407	!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	408
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	409	testFirstProduction3
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	410	\| foo bar \|
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	411	foo := 'foo' asParser name: 'foo'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	412	bar := 'bar' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	413
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	414	tree := self treeFrom: (foo, bar) / foo.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	415
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	416	first := tree firstSetWithProductions.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	417
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	418	self assert: first size = 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	419	self assert: first anyOne name = 'foo'.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	420	! !
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	421
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	422	!PPCNodeFirstFollowNextTests methodsFor:'testing - follow'!
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	423
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	424	testFollowSet1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	425	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	426	tree := self treeFrom: (node star, 'b' asParser).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	427
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	428	followSet := self followOfNodeIn: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	429
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	430	self assert: followSet size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	431	self assert: followSet anySatisfy: [:e \| e literal = 'a'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	432	self assert: followSet anySatisfy: [:e \| e literal = 'b'].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	433	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	434
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	435	testFollowSet10
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	436	\| a b c \|
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	437
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	438	a := 'a' asParser name: 'a'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	439	b := 'b' asParser optional name: 'b'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	440	c := 'c' asParser name: 'c'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	441
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	442
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	443
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	444	tree := self treeFrom: a plus, b, c.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	445
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	446	followSet := self followOf: 'a' in: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	447
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	448	self assert: followSet size: 3.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	449	self assert: followSet anySatisfy: [:e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	450	self assert: followSet anySatisfy: [:e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	451	self assert: followSet anySatisfy: [:e \| e literal = 'c' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	452	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	453
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	454	testFollowSet2
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	455	\| follow \|
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	456	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	457	follow := 'b' asParser, 'c' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	458
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	459	tree := self treeFrom: (node, follow).
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	460
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	461	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	462
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	463	self assert: followSet size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	464	self assert: followSet anySatisfy: [:e \| e literal = 'b'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	465	self assert: followSet noneSatisfy: [:e \| e literal = 'c'].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	466	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	467
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	468	testFollowSet3
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	469	\| follow \|
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	470
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	471	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	472	follow := ('b' asParser, 'c' asParser) / ('d' asParser).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	473
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	474
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	475	tree := self treeFrom: (node, follow).
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	476
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	477	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	478
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	479	self assert: followSet size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	480	self assert: followSet anySatisfy: [:e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	481	self assert: followSet anySatisfy: [:e \| e literal = 'd' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	482	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	483
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	484	testFollowSet4
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	485	\| follow \|
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	486
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	487	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	488	follow := ('b' asParser, 'c' asParser).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	489
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	490
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	491	tree := self treeFrom: (node star, follow).
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	492
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	493	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	494
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	495	self assert: followSet anySatisfy: [:e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	496	self assert: followSet anySatisfy: [:e \| e literal = 'a' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	497	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	498
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	499	testFollowSet5
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	500	\| follow1 follow2 \|
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	501
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	502	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	503	follow1 := ('b' asParser, 'c' asParser) / nil asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	504	follow2 := 'd' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	505
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	506
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	507	tree := self treeFrom: (node, follow1, follow2).
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	508
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	509	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	510
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	511	self assert: followSet anySatisfy: [:e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	512	self assert: followSet anySatisfy: [:e \| e literal = 'd' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	513	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	514
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	515	testFollowSet6
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	516	\| follow follow1 follow2 \|
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	517
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	518	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	519	follow1 := ('b' asParser, 'c' asParser) / nil asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	520	follow2 := 'd' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	521
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	522	follow := (follow1, follow2).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	523
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	524	tree := self treeFrom: (node, follow).
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	525
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	526	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	527
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	528	self assert: followSet anySatisfy: [:e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	529	self assert: followSet anySatisfy: [:e \| e literal = 'd' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	530	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	531
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	532	testFollowSet7
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	533	\| r1 r2 follow1 follow2 \|
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	534
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	535	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	536	follow1 := ('b' asParser, 'c' asParser) / nil asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	537	follow2 := 'd' asParser / nil asParser .
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	538
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	539	r1 := (node, follow1).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	540	r2 := (r1, follow2).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	541
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	542	tree := self treeFrom: r2.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	543
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	544	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	545
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	546	self assert: followSet anySatisfy: [:e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	547	self assert: followSet anySatisfy: [:e \| e literal = 'd' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	548	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	549
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	550	testFollowSet8
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	551	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	552	tree := self treeFrom: node.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	553
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	554	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	555
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	556	self assert: followSet anyMatchesType: PPCNilNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	557	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	558
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	559	testFollowSet9
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	560	\| a b c \|
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	561
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	562	a := 'a' asParser name: 'a'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	563	b := 'b' asParser optional name: 'b'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	564	c := 'c' asParser name: 'c'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	565
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	566
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	567	tree := self treeFrom: a, b, c.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	568	followSet := self followOf: 'c' in: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	569	self assert: followSet anyMatchesType: PPCNilNode.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	570
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	571	followSet := self followOf: 'b' in: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	572	self assert: followSet anySatisfy: [:e \| e literal = 'c' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	573
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	574	followSet := self followOf: 'a' in: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	575	self assert: followSet anySatisfy: [:e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	576	self assert: followSet anySatisfy: [:e \| e literal = 'c' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	577	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	578
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	579	testFollowSetChoice1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	580	\| follow \|
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	581
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	582	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	583	follow := 'b' asParser / 'c' asParser .
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	584
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	585	tree := self treeFrom: node, follow.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	586
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	587	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	588
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	589	self assert: followSet size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	590	self assert: followSet anySatisfy: [:e \| e literal = 'b' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	591	self assert: followSet anySatisfy: [:e \| e literal = 'c' ].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	592	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	593
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	594	testFollowSetOptional1
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	595	\| follow1 follow2 \|
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	596
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	597	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	598	follow1 := 'b' asParser optional.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	599	follow2 := 'c' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	600
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	601	tree := self treeFrom: node, follow1, follow2.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	602
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	603	followSet := self followOfNodeIn: tree.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	604
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	605	self assert: followSet size: 2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	606	self assert: followSet anySatisfy: [:e \| e literal = 'b'].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	607	self assert: followSet anySatisfy: [:e \| e literal = 'c'].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	608	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	609
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	610	testFollowSetRepeat1
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	611
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	612	node := 'a' asParser name: 'node'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	613	tree := self treeFrom: node plus.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	614
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	615	followSet := self followOfNodeIn: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	616
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	617	self assert: followSet anySatisfy: [:e \| e literal = 'a' ].
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	618	self assert: followSet anyMatchesType: PPCNilNode
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	619	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	620
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	621	testFollowSetRepeat2
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	622
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	623	node := 'a' asParser.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	624	tree := self treeFrom: (node plus name: 'node'; yourself).
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	625
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	626	followSet := self followOfNodeIn: tree.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	627
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	628	self assert: followSet size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	629	self assert: followSet anyMatchesType: PPCNilNode
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	630	!
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	631
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	632	testFollowTrimmingToken
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	633	\| token1 token2 \|
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	634	configuration arguments specialize: false.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	635	token1 := #letter asParser plus trimmingToken name: 'token1'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	636	token2 := #letter asParser plus trimmingToken name: 'token2'; yourself.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	637
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	638
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	639	tree := self treeFrom: token1, token2.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	640	followSet := self followOf: 'token1'
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	641	in: tree
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	642	suchThat: [:e \| e isFirstSetTerminal or: [e isKindOf: PPCTrimmingTokenNode ]].
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	643
452 9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	644	self assert: followSet size: 1.
9f4558b3be66 Updated to PetitCompiler-JanKurs.111, PetitCompiler-Tests-JanKurs.51, PetitCompiler-Benchmarks-JanKurs.7, added PetitCompiler-Extras-Tests-JanKurs.4 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 422 diff changeset	645	self assert: followSet anyMatchesType: PPCTrimmingTokenNode.
421 7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	646	! !
7e08b31e0dae Merged JK's version from Monticello Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	647

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Sun, 10 May 2015 06:28:36 +0100
changeset 452	9f4558b3be66
parent 422	116d2b2af905
child 464	f6d77fee9811
permissions	-rw-r--r--