hg/stx-goodies-petitparser: islands/tests/FirstFollowNextTests.st@0a5c4929af56 (annotated)

387 e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1	"{ Package: 'stx:goodies/petitparser/islands/tests' }"
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	3	TestCase subclass:#FirstFollowNextTests
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	4	instanceVariableNames:''
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	5	classVariableNames:''
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	6	poolDictionaries:''
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	7	category:'PetitIslands-Tests'
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	8	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	9
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	10	!FirstFollowNextTests methodsFor:'support'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	11
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	12	assert: set allMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	13	self assert: (set allSatisfy: [:e \| e end matches: string])
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	14	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	15
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	16	assert: set allSatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	17	self assert: (set allSatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	18	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	19
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	20	assert: set anyMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	21	self assert: (set anySatisfy: [:e \| e end matches: string])
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	22	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	23
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	24	assert: set anySatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	25	self assert: (set anySatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	26	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	27
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	28	assert: set noneMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	29	self assert: (set noneSatisfy: [:e \| e end matches: string])
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	30	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	31
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	32	assert: set noneSatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	33	self assert: (set noneSatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	34	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	35
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	36	assert: set size: anInteger
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	37	self assert: (set size = anInteger )
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	38	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	39
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	40	first: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	41	^ aParser firstSet
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	42	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	43
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	44	first: aParser terminalPredicate: predicate
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	45	^ aParser firstSetPredicate: predicate
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	46	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	47
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	48	follow: aParser in: rootParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	49	^ rootParser followSets at: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	50
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	51	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	52
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	53	identifier
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	54	^ ((#letter asParser / $# asParser), (#letter asParser / #digit asParser) star) flatten
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	55	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	56
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	57	next: aParser in: rootParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	58	^ rootParser nextSets at: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	59
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	60	! !
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	61
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	62	!FirstFollowNextTests methodsFor:'test first'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	63
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	64	testFirst1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	65	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	66	p := nil asParser / 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	67
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	68	self assert: (self first: p) anyMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	69	self assert: (self first: p) anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	70	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	71
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	72	testFirst2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	73	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	74	p := 'a' asParser optional, 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	75
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	76	self assert: (self first: p) anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	77	self assert: (self first: p) anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	78	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	79
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	80	testFirst3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	81	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	82	p := ('a' asParser optional, 'b' asParser asParser optional), 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	83
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	84	self assert: (self first: p) anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	85	self assert: (self first: p) anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	86	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	87
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	88	testFirst4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	89	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	90	p := ('a' asParser plus) optional, 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	91
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	92	self assert: (self first: p) anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	93	self assert: (self first: p) anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	94	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	95
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	96	testFirstChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	97	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	98	p := nil asParser / '' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	99
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	100	self assert: (self first: p) anySatisfy: [:e \| e matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	101	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	102
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	103	testFirstChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	104	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	105	p := 'a' asParser / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	106
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	107	first := (self first: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	108
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	109	self assert: first anySatisfy: [:e \| e matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	110	self assert: first anySatisfy: [:e \| e matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	111	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	112
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	113	testFirstChoice3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	114	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	115	p := 'a' asParser / nil asParser / 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	116
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	117	first := (self first: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	118
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	119	self assert: first anySatisfy: [:e \| e matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	120	self assert: first anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	121	self assert: first anySatisfy: [:e \| e matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	122	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	123
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	124	testFirstComplex1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	125	\| p first root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	126
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	127	p := 'a' asParser / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	128	root := p, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	129
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	130	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	131
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	132	self assert: first size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	133	self assert: first anySatisfy: [:e \| e matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	134	self assert: first anySatisfy: [:e \| e matches: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	135	self assert: first noneSatisfy: [:e \| e matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	136	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	137
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	138	testFirstComplex2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	139	\| p first root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	140
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	141	p := 'a' asParser / nil asParser / 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	142	root := p, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	143
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	144	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	145
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	146	self assert: first size: 3.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	147	self assert: first anySatisfy: [:e \| e matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	148	self assert: first anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	149	self assert: first anySatisfy: [:e \| e matches: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	150	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	151
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	152	testFirstComplex3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	153	\| p first root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	154
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	155	p := 'a' asParser / nil asParser / 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	156	root := p, 'c' asParser not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	157
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	158	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	159
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	160	self assert: first anySatisfy: [:e \| e matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	161	self assert: first anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	162	self assert: first anySatisfy: [:e \| e matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	163	self assert: first noneSatisfy: [:e \| e end matches: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	164	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	165
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	166	testFirstComplex4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	167	\| p first root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	168
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	169	p := 'a' asParser / nil asParser / 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	170	root := (p, 'c' asParser not) wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	171
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	172	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	173
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	174	self assert: first anySatisfy: [:e \| e matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	175	self assert: first anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	176	self assert: first anySatisfy: [:e \| e matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	177	self assert: first noneSatisfy: [:e \| e end matches: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	178	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	179
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	180	testFirstNegate1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	181	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	182	p := 'a' asParser negate, 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	183
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	184	self assert: (p parse: 'bb') isPetitFailure not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	185	self assert: (p parse: 'cb') isPetitFailure not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	186
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	187	self assert: (self first: p) noneSatisfy: [:each \| each matches: 'a' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	188	self assert: (self first: p) anySatisfy: [:each \| each matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	189	self assert: (self first: p) anySatisfy: [:each \| each matches: 'c' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	190	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	191
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	192	testFirstNot
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	193	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	194	p := 'a' asParser not, 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	195
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	196	self assert: (p parse: 'b') isPetitFailure not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	197
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	198	self assert: (self first: p) noneSatisfy: [:each \| each matches: 'a' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	199	self assert: (self first: p) anySatisfy: [:each \| each matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	200	self assert: (self first: p) anySatisfy: [:each \| each matches: 'c' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	201	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	202
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	203	testFirstOptional
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	204	\| p first result \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	205	p := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	206
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	207	result := (self first: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	208
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	209	self assert: result anySatisfy: [:e \| e matches: '' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	210	self assert: result anySatisfy: [:e \| e matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	211	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	212
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	213	testFirstRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	214	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	215	p := ('a' asParser / nil asParser) plus.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	216
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	217	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	218
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	219	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	220	self assert: first anyMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	221	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	222
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	223	testFirstSequence1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	224	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	225	p := 'a' asParser, 'b' asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	226
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	227	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	228	self assert: first size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	229	self assert: first allMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	230	self assert: first noneMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	231	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	232
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	233	testFirstSequence2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	234	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	235	p := nil asParser, 'a' asParser, 'b' asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	236
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	237	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	238	self assert: first size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	239	self assert: first allMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	240	self assert: first noneMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	241	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	242	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	243
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	244	testFirstSequence3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	245	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	246	p := nil asParser, nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	247
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	248	self assert: (self first: p) anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	249	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	250
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	251	testFirstSequence4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	252	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	253	p := ((nil asParser / 'a' asParser) plus), 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	254
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	255	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	256	self assert: first anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	257	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	258	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	259	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	260
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	261	testFirstSequence5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	262	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	263	p := ((nil asParser / 'a' asParser) star), 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	264
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	265	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	266	self assert: first anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	267	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	268	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	269	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	270
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	271	testFirstTerminal2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	272	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	273	p := 'a' asParser not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	274
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	275	self assert: (self first: p) noneMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	276	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	277
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	278	testFirstTerminal3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	279	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	280	p := 'a' asParser and.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	281
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	282	self assert: (self first: p) anyMatches: 'a'
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	283	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	284
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	285	testFirstTerminal4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	286	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	287	p := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	288
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	289	self assert: (self first: p) anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	290	! !
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	291
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	292	!FirstFollowNextTests methodsFor:'test follow'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	293
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	294	testFollowNot1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	295	\| p followSet terminal \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	296
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	297	terminal := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	298	p := terminal, 'b' asParser not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	299	followSet := self follow: terminal in: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	300
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	301	self assert: followSet anySatisfy: [:e \| e matches: 'c' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	302	self assert: followSet anySatisfy: [:e \| (e matches: 'b') not ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	303	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	304
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	305	testFollowSet1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	306	\| result p root followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	307
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	308
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	309	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	310	root := (p star, 'b' asParser).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	311
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	312	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	313
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	314	self assert: followSet anySatisfy: [:e \| e literal = 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	315	self assert: followSet anySatisfy: [:e \| e literal = 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	316	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	317
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	318	testFollowSet10
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	319	\| island1 followSet p root island2 block \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	320
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	321	island1 := ('class' asParser, self identifier) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	322	island2 := ('extends' asParser, self identifier) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	323	block := '{}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	324
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	325	root := (island1, island2 optional, block) star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	326
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	327	followSet := self follow: block in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	328
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	329	self assert: followSet anySatisfy: [:e \| e end matches: 'class'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	330	self assert: followSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	331	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	332
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	333	testFollowSet11
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	334	\| island1 followSet p root island2 block \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	335
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	336	island1 := ('class' asParser, self identifier) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	337	island2 := ('extends' asParser, self identifier) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	338	block := '{}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	339
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	340	root := (island1, island2 optional, block) plus.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	341
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	342	followSet := self follow: block in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	343
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	344	self assert: followSet anySatisfy: [:e \| e end matches: 'class'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	345	self assert: followSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	346	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	347
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	348	testFollowSet12
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	349	\| parser followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	350
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	351
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	352
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	353	parser := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	354	followSet := self follow: parser in: parser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	355
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	356	self assert: followSet anySatisfy: [:e \| e end matches: '' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	357	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	358
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	359	testFollowSet13
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	360	\| parser followSet a b c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	361
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	362	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	363	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	364	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	365
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	366
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	367	parser := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	368	followSet := self follow: c in: parser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	369	self assert: followSet anySatisfy: [:e \| e end matches: '' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	370
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	371	followSet := self follow: b in: parser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	372	self assert: followSet anySatisfy: [:e \| e end matches: 'c' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	373
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	374	followSet := self follow: a in: parser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	375	self assert: followSet anySatisfy: [:e \| e end matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	376	self assert: followSet anySatisfy: [:e \| e end matches: 'c' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	377	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	378
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	379	testFollowSet14
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	380	\| parser followSet a b c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	381
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	382	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	383	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	384	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	385
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	386
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	387	parser := a plus, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	388
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	389	followSet := self follow: a in: parser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	390	self assert: followSet anySatisfy: [:e \| e end matches: 'a' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	391	self assert: followSet anySatisfy: [:e \| e end matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	392	self assert: followSet anySatisfy: [:e \| e end matches: 'c' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	393	self assert: followSet noneSatisfy: [:e \| e end matches: '' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	394	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	395
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	396	testFollowSet2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	397	\| result p follow root followSets followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	398
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	399	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	400	follow := 'b' asParser, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	401
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	402	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	403
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	404	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	405
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	406	self assert: followSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	407	self assert: followSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	408	self assert: followSet noneSatisfy: [:e \| e matches: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	409	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	410
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	411	testFollowSet3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	412	\| result p follow root followSets followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	413
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	414	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	415	follow := ('b' asParser, 'c' asParser) / ('d' asParser).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	416
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	417
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	418	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	419
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	420	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	421
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	422	self assert: followSet anySatisfy: [:e \| e end matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	423	self assert: followSet anySatisfy: [:e \| e end matches: 'd' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	424	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	425
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	426	testFollowSet4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	427	\| result p follow root followSets followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	428
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	429	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	430	follow := ('b' asParser, 'c' asParser).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	431
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	432
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	433	root := (p star, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	434
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	435	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	436
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	437	self assert: followSet anySatisfy: [:e \| e end matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	438	self assert: followSet anySatisfy: [:e \| e end matches: 'a' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	439	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	440
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	441	testFollowSet5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	442	\| result p root followSets followSet follow1 follow2 \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	443
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	444	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	445	follow1 := ('b' asParser, 'c' asParser) / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	446	follow2 := 'd' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	447
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	448
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	449	root := (p, follow1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	450
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	451	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	452
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	453	self assert: followSet anySatisfy: [:e \| e end matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	454	self assert: followSet anySatisfy: [:e \| e end matches: 'd' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	455	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	456
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	457	testFollowSet6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	458	\| result p root followSets followSet follow follow1 follow2 \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	459
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	460	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	461	follow1 := ('b' asParser, 'c' asParser) / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	462	follow2 := 'd' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	463
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	464	follow := (follow1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	465
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	466	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	467
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	468	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	469
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	470	self assert: followSet anySatisfy: [:e \| e end matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	471	self assert: followSet anySatisfy: [:e \| e end matches: 'd' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	472	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	473
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	474	testFollowSet7
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	475	\| result p root followSets followSet r1 r2 follow1 follow2 \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	476
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	477	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	478	follow1 := ('b' asParser, 'c' asParser) / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	479	follow2 := 'd' asParser / nil asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	480
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	481	r1 := (p, follow1).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	482	r2 := (r1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	483
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	484	root := r2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	485
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	486	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	487
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	488	self assert: followSet anySatisfy: [:e \| e end matches: 'b' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	489	self assert: followSet anySatisfy: [:e \| e end matches: 'd' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	490	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	491
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	492	testFollowSet8
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	493	\| result p root followSets followSet follow \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	494
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	495	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	496	follow := PPInputEnds new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	497
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	498	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	499
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	500	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	501
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	502	self assert: followSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	503	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	504
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	505	testFollowSet9
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	506	\| island1 followSet p root island2 block \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	507
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	508	island1 := ('class' asParser, self identifier) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	509	island2 := (':' asParser, self identifier) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	510	block := '{' asParser, '}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	511
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	512	root := (island1, island2 optional, block) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	513
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	514	followSet := self follow: island1 in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	515
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	516	self assert: followSet anySatisfy: [:e \| e end matches: '{'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	517	self assert: followSet anySatisfy: [:e \| e end matches: ':'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	518	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	519
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	520	testFollowSetChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	521	\| result p root followSets followSet follow \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	522
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	523	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	524	follow := 'b' asParser / 'c' asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	525
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	526	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	527
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	528	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	529
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	530	self assert: followSet anySatisfy: [:e \| (e parse: 'b') isPetitFailure not].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	531	self assert: followSet anySatisfy: [:e \| (e parse: 'c') isPetitFailure not].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	532	self assert: followSet noneSatisfy: [:e \| (e parse: 'a') isPetitFailure not].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	533	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	534
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	535	testFollowSetChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	536	\| result p root followSet follow b c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	537
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	538	follow := 'a' asParser / 'd' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	539	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	540	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	541	p := b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	542
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	543	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	544
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	545	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	546
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	547	self assert: followSet anySatisfy: [:e \| (e parse: 'a') isPetitFailure not].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	548	self assert: followSet anySatisfy: [:e \| (e parse: 'd') isPetitFailure not].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	549
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	550	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	551
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	552	self assert: followSet anySatisfy: [:e \| (e parse: 'a') isPetitFailure not].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	553	self assert: followSet noneSatisfy: [:e \| (e parse: 'c') isPetitFailure not].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	554	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	555
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	556	testFollowSetOptional1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	557	\| result p root followSets followSet follow follow1 follow2 \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	558
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	559	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	560	follow1 := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	561	follow2 := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	562
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	563	root := p, follow1, follow2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	564
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	565	followSet := self follow: p in: root.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	566
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	567	self assert: followSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	568	self assert: followSet anySatisfy: [:e \| e end matches: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	569	self assert: followSet noneSatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	570	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	571
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	572	testFollowSetRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	573	\| p followSet terminal \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	574
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	575	terminal := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	576	p := terminal plus.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	577
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	578	followSet := self follow: terminal in: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	579	self assert: followSet anySatisfy: [:e \| e end matches: 'a' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	580	self assert: followSet anySatisfy: [:e \| e end matches: '' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	581
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	582	followSet := self follow: p in: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	583	self assert: followSet anySatisfy: [:e \| e end matches: '' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	584	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	585
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	586	testFollowSetStar1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	587	\| a b p followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	588
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	589	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	590	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	591	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	592	followSet := self follow: a in: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	593
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	594	self assert: followSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	595	self assert: followSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	596	self assert: followSet noneSatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	597	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	598
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	599	testFollowSetStar3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	600	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	601
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	602	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	603	p := a.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	604	followSet := self follow: a in: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	605
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	606	self assert: followSet noneSatisfy: [:e \| e end matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	607	self assert: followSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	608	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	609
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	610	testFollowSetStar4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	611	\| a b p followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	612
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	613	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	614	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	615	p := a star, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	616	followSet := self follow: a in: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	617
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	618	self assert: followSet size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	619	self assert: followSet anySatisfy: [:e \| e end matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	620	self assert: followSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	621	self assert: followSet noneSatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	622	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	623
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	624	testFollowSetStar5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	625	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	626
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	627	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	628	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	629	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	630	p := a star, (b / n).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	631	followSet := self follow: a in: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	632
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	633
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	634	self assert: followSet anySatisfy: [:e \| e end matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	635	self assert: followSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	636	self assert: followSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	637	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	638
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	639	testFollowSetStar6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	640	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	641
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	642	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	643	p := a star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	644	followSet := self follow: a in: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	645
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	646
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	647	self assert: followSet anySatisfy: [:e \| e end matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	648	self assert: followSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	649	! !
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	650
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	651	!FirstFollowNextTests methodsFor:'test isNullable'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	652
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	653	testIsNullable01
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	654	self assert: 'a' asParser acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	655	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	656
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	657	testIsNullable02
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	658	self assert: 'a' asParser wrapped acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	659	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	660
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	661	testIsNullable03
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	662	self assert: nil asParser acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	663	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	664
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	665	testIsNullable04
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	666	self assert: nil asParser wrapped acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	667	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	668
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	669	testIsNullable05
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	670	self assert: 'a' asParser not acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	671	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	672
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	673	testIsNullable06
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	674	self assert: 'a' asParser and acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	675	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	676
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	677	testIsNullable07
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	678	self assert: 'a' asParser wrapped not acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	679	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	680
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	681	testIsNullable08
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	682	self assert: 'a' asParser wrapped and acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	683	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	684
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	685	testIsNullable09
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	686	self assert: 'a' asParser optional acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	687	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	688
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	689	testIsNullable10
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	690	self assert: 'a' asParser wrapped optional acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	691	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	692
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	693	testIsNullable11
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	694	self assert: 'a' asParser wrapped not optional acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	695	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	696
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	697	testIsNullable12
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	698	self assert: 'a' asParser optional wrapped acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	699	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	700
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	701	testIsNullableChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	702	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	703	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	704	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	705	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	706
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	707	p := a / b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	708
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	709	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	710	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	711
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	712	testIsNullableChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	713	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	714	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	715	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	716	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	717
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	718	p := a / b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	719
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	720	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	721	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	722
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	723	testIsNullableChoice3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	724	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	725	a := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	726	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	727	c := 'c' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	728
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	729	p := a / b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	730
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	731	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	732	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	733
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	734	testIsNullableChoice4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	735	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	736	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	737	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	738	c := 'c' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	739
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	740	p := a / b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	741
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	742	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	743	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	744
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	745	testIsNullableCycle1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	746	\| a p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	747	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	748	p := PPDelegateParser new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	749
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	750	p setParser: a / p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	751	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	752	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	753
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	754	testIsNullableCycle2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	755	\| a p e \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	756	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	757	e := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	758	p := PPDelegateParser new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	759
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	760	p setParser: (a, p) / e.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	761
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	762	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	763	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	764
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	765	testIsNullableCycle3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	766	\| a p e \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	767	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	768	e := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	769	p := PPDelegateParser new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	770
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	771	p setParser: (a, p), e.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	772
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	773	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	774	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	775
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	776	testIsNullableSeq1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	777	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	778	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	779	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	780	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	781
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	782	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	783
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	784	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	785	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	786
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	787	testIsNullableSeq2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	788	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	789	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	790	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	791	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	792
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	793	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	794
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	795	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	796	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	797
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	798	testIsNullableSeq3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	799	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	800	a := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	801	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	802	c := 'c' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	803
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	804	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	805
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	806	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	807	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	808
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	809	testIsNullableSeq4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	810	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	811	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	812	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	813	c := 'c' asParser wrapped optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	814
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	815	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	816
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	817	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	818	! !
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	819
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	820	!FirstFollowNextTests methodsFor:'test next'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	821
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	822	testNext1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	823	\| p nextSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	824	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	825
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	826	nextSet := (self next: p in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	827	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	828	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	829
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	830	testNext2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	831	\| p nextSet a b \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	832	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	833	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	834
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	835	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	836
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	837	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	838	self assert: nextSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	839	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	840
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	841	nextSet := (self next: b in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	842	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	843
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	844	nextSet := (self next: p in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	845	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	846	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	847
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	848	testNext3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	849	\| p nextSet a b \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	850	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	851	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	852
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	853	p := a / b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	854
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	855	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	856	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	857
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	858	nextSet := (self next: b in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	859	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	860
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	861	nextSet := (self next: p in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	862	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	863	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	864
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	865	testNext4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	866	\| p nextSet a b n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	867	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	868	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	869	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	870
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	871	p := a, n, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	872
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	873	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	874	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	875
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	876	nextSet := (self next: n in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	877	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	878
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	879	nextSet := (self next: b in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	880	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	881	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	882
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	883	testNext5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	884	\| p nextSet a b n a1 a2 \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	885	a1 := 'a1' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	886	a2 := 'a2' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	887	a := (a1 asParser, a2 asParser) wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	888	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	889	n := 'n' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	890
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	891	p := a, n, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	892
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	893	nextSet := (self next: a1 in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	894	self assert: nextSet anySatisfy: [:e \| e end matches: 'a2'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	895
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	896	nextSet := (self next: a2 in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	897	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	898	"Might be test to match nb -- not sure, what is better"
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	899	self assert: nextSet anySatisfy: [:e \| e end matches: 'n'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	900
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	901
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	902
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	903	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	904	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	905	"Might be test to match nb -- not sure, what is better"
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	906	self assert: nextSet anySatisfy: [:e \| e end matches: 'n'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	907
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	908	nextSet := (self next: n in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	909	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	910
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	911	nextSet := (self next: b in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	912	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	913	self assert: nextSet noneSatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	914	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	915
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	916	testNext6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	917	\| p nextSet a b n a1 a2 \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	918	a1 := 'a1' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	919	a2 := 'a2' asParser wrapped / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	920	a := (a1 asParser, a2 asParser) wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	921	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	922	n := 'nil' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	923
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	924	p := a, n, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	925
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	926	nextSet := (self next: a1 in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	927	self assert: nextSet anySatisfy: [:e \| e matches: 'a2'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	928	self assert: nextSet anySatisfy: [:e \| e matches: 'nilb'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	929	self assert: nextSet anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	930
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	931	nextSet := (self next: a2 in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	932	self assert: nextSet anySatisfy: [:e \| e matches: 'nilb'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	933	self assert: nextSet anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	934
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	935
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	936	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	937	self assert: nextSet anySatisfy: [:e \| e matches: 'nilb'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	938	self assert: nextSet anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	939
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	940	nextSet := (self next: n in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	941	self assert: nextSet anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	942
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	943	nextSet := (self next: b in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	944	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	945	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	946
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	947	testNext7
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	948	\| p nextSet a b n c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	949	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	950	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	951	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	952	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	953
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	954	p := a, b, a, n, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	955
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	956	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	957
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	958	self assert: nextSet anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	959	self assert: nextSet anySatisfy: [:e \| e matches: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	960
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	961	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	962
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	963	testNext8
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	964	\| p nextSet a b n c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	965	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	966	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	967	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	968	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	969
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	970	p := a, n, a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	971
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	972	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	973	self assert: nextSet anySatisfy: [:e \| e matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	974	self assert: nextSet anySatisfy: [:e \| e matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	975
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	976	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	977
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	978	testNext9
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	979	\| a nextSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	980	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	981
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	982	nextSet := (self next: a in: a).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	983	self assert: nextSet anySatisfy: [:e \| e end matches: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	984
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	985
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	986	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	987
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	988	testNextDelegate1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	989
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	990	\| a nextSet b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	991	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	992	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	993	c := 'c' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	994	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	995
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	996	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	997	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	998	self assert: nextSet anySatisfy: [:e \| e end matches: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	999
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1000
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1001	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1002
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1003	testNextRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1004	\| p nextSet a b n c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1005	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1006
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1007	nextSet := (self next: a in: a).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1008	self assert: nextSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1009	self assert: nextSet anySatisfy: [:e \| e end matches: '']
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1010	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1011
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1012	testNextRepeat2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1013	\| p nextSet a b astar \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1014	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1015	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1016	astar := a star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1017
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1018	p := astar, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1019
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1020	nextSet := (self next: astar in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1021
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1022	self assert: nextSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1023	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1024
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1025
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1026	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1027
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1028	testNextRepeat3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1029	\| p nextSet a b astar \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1030	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1031	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1032
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1033	p := a star, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1034
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1035	nextSet := (self next: a in: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1036
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1037	self assert: nextSet size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1038	self assert: nextSet anySatisfy: [:e \| e end matches: 'b'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1039	self assert: nextSet anySatisfy: [:e \| e end matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1040	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1041
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1042	testNextRepeat4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1043	\| a nextSet b p root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1044	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1045	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1046
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1047	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1048	root := p plus.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1049
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1050	nextSet := (self next: a in: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1051	self assert: nextSet anySatisfy: [:e \| e end matches: 'a'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1052
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1053
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1054	! !
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1055

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Mon, 13 Apr 2015 14:16:24 +0100
changeset 425	0a5c4929af56
parent 389	009c2e13973c
child 454	a9cd5ea7cc36
permissions	-rw-r--r--