hg/stx-goodies-petitparser: islands/tests/FirstFollowNextTests.st@e2b2ccaa4de6 (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 comment:''
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
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	13	!FirstFollowNextTests methodsFor:'support'!
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	assert: set allMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	16	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	17	!
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	assert: set allSatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	20	self assert: (set allSatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	21	!
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	assert: set anyMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	24	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	25	!
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	assert: set anySatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	28	self assert: (set anySatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	29	!
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	assert: set noneMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	32	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	33	!
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	assert: set noneSatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	36	self assert: (set noneSatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	37	!
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	assert: set size: anInteger
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	40	self assert: (set size = anInteger )
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	41	!
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	first: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	44	^ aParser firstSet
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	45	!
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	first: aParser terminalPredicate: predicate
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	48	^ aParser firstSetPredicate: predicate
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	49	!
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	follow: aParser in: rootParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	52	^ rootParser followSets at: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	53
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	54	!
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	identifier
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	57	^ ((#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	58	!
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	next: aParser in: rootParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	61	^ rootParser nextSets at: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	62
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
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	65	!FirstFollowNextTests methodsFor:'test first'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	66
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	67	testFirst1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	68	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	69	p := nil asParser / 'a' asParser.
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	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	72	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	73	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	74
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	75	testFirst2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	76	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	77	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	78
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	79	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	80	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	81	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	82
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	83	testFirst3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	84	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	85	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	86
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	87	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	88	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	89	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	90
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	91	testFirst4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	92	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	93	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	94
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	95	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	96	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	97	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	98
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	99	testFirstChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	100	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	101	p := nil asParser / '' asParser.
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	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	104	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	105
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	106	testFirstChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	107	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	108	p := 'a' asParser / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	109
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	110	first := (self first: p).
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	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	113	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	114	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	115
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	116	testFirstChoice3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	117	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	118	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	119
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	120	first := (self first: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	121
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	122	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	123	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	124	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	125	!
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	testFirstComplex1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	128	\| p first root \|
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	p := 'a' asParser / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	131	root := p, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	132
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	133	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	134
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	135	self assert: first size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	136	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	137	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	138	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	139	!
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	testFirstComplex2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	142	\| p first root \|
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	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	145	root := p, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	146
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	147	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	148
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	149	self assert: first size: 3.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	150	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	151	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	152	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	153	!
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	testFirstComplex3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	156	\| p first root \|
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	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	159	root := p, 'c' asParser not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	160
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	161	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	162
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	163	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	164	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	165	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	166	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	167	!
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	testFirstComplex4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	170	\| p first root \|
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	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	173	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	174
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	175	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	176
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	177	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	178	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	179	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	180	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	181	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	182
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	183	testFirstNegate1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	184	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	185	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	186
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	187	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	188	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	189
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	190	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	191	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	192	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	193	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	194
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	195	testFirstNot
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	196	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	197	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	198
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	199	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	200
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	201	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	202	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	203	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	204	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	205
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	206	testFirstOptional
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	207	\| p first result \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	208	p := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	209
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	210	result := (self first: p).
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	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	213	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	214	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	215
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	216	testFirstRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	217	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	218	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	219
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	220	first := self first: p.
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	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	223	self assert: first anyMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	224	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	225
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	226	testFirstSequence1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	227	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	228	p := 'a' asParser, 'b' asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	229
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	230	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	231	self assert: first size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	232	self assert: first allMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	233	self assert: first noneMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	234	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	235
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	236	testFirstSequence2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	237	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	238	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	239
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	240	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	241	self assert: first size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	242	self assert: first allMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	243	self assert: first noneMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	244	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	245	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	246
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	247	testFirstSequence3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	248	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	249	p := nil asParser, nil asParser.
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	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	252	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	253
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	254	testFirstSequence4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	255	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	256	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	257
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	258	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	259	self assert: first anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	260	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	261	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	262	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	263
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	264	testFirstSequence5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	265	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	266	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	267
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	268	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	269	self assert: first anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	270	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	271	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	272	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	273
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	274	testFirstTerminal2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	275	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	276	p := 'a' asParser not.
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	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	279	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	280
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	281	testFirstTerminal3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	282	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	283	p := 'a' asParser and.
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	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	286	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	287
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	288	testFirstTerminal4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	289	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	290	p := nil asParser.
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	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	293	! !
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	294
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	295	!FirstFollowNextTests methodsFor:'test follow'!
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	testFollowNot1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	298	\| p followSet terminal \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	299
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	300	terminal := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	301	p := terminal, 'b' asParser not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	302	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	303
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	304	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	305	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	306	!
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	testFollowSet1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	309	\| result p root followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	310
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	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	313	root := (p star, 'b' asParser).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	314
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	315	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	316
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	317	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	318	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	319	!
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	testFollowSet10
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	322	\| 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	323
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	324	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	325	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	326	block := '{}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	327
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	328	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	329
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	330	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	331
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	332	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	333	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	334	!
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	testFollowSet11
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	337	\| 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	338
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	339	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	340	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	341	block := '{}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	342
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	343	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	344
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	345	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	346
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	347	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	348	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	349	!
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	testFollowSet12
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	352	\| parser followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	353
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	354
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	parser := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	357	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	358
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	359	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	360	!
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	testFollowSet13
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	363	\| parser followSet a b c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	364
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	365	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	366	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	367	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	368
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	369
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	370	parser := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	371	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	372	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	373
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	374	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	375	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	376
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	377	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	378	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	379	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	380	!
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	testFollowSet14
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	383	\| parser followSet a b c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	384
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	385	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	386	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	387	c := 'c' asParser.
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
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	390	parser := a plus, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	391
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	392	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	393	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	394	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	395	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	396	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	397	!
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	testFollowSet2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	400	\| 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	401
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	402	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	403	follow := 'b' asParser, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	404
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	405	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	406
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	407	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	408
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	409	self assert: followSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	410	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	411	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	412	!
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	testFollowSet3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	415	\| 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	416
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	417	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	418	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	419
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	420
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	421	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	422
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	423	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	424
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	425	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	426	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	427	!
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	testFollowSet4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	430	\| 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	431
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	432	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	433	follow := ('b' asParser, 'c' asParser).
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
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	436	root := (p star, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	437
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	438	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	439
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	440	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	441	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	442	!
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	testFollowSet5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	445	\| 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	446
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	447	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	448	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	449	follow2 := 'd' asParser.
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
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	452	root := (p, follow1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	453
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	454	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	455
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	456	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	457	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	458	!
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	testFollowSet6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	461	\| 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	462
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	463	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	464	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	465	follow2 := 'd' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	466
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	467	follow := (follow1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	468
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	469	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	470
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	471	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	472
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	473	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	474	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	475	!
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	testFollowSet7
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	478	\| 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	479
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	480	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	481	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	482	follow2 := 'd' asParser / nil asParser .
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	r1 := (p, follow1).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	485	r2 := (r1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	486
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	487	root := r2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	488
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	489	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	490
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	491	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	492	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	493	!
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	testFollowSet8
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	496	\| 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	497
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	498	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	499	follow := PPInputEnds new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	500
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	501	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	502
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	503	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	504
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	505	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	506	!
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	testFollowSet9
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	509	\| 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	510
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	511	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	512	island2 := (':' asParser, self identifier) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	513	block := '{' asParser, '}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	514
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	515	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	516
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	517	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	518
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	519	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	520	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	521	!
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	testFollowSetChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	524	\| 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	525
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	526	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	527	follow := 'b' asParser / 'c' asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	528
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	529	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	530
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	531	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	532
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	533	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	534	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	535	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	536	!
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	testFollowSetChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	539	\| 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	540
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	541	follow := 'a' asParser / 'd' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	542	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	543	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	544	p := b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	545
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	546	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	547
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	548	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	549
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	550	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	551	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	552
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	553	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	554
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	555	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	556	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	557	!
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	testFollowSetOptional1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	560	\| 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	561
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	562	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	563	follow1 := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	564	follow2 := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	565
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	566	root := p, follow1, follow2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	567
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	568	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	569
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	570	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	571	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	572	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	573	!
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	testFollowSetRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	576	\| p followSet terminal \|
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	terminal := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	579	p := terminal plus.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	580
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	581	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	582	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	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	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	586	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	587	!
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	testFollowSetStar1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	590	\| a b p followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	591
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	592	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	593	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	594	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	595	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	596
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	597	self assert: followSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	598	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	599	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	600	!
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	testFollowSetStar3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	603	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	604
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	605	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	606	p := a.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	607	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	608
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	609	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	610	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	611	!
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	testFollowSetStar4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	614	\| a b p followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	615
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	616	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	617	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	618	p := a star, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	619	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	620
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	621	self assert: followSet size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	622	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	623	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	624	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	625	!
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	testFollowSetStar5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	628	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	629
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	630	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	631	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	632	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	633	p := a star, (b / n).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	634	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	635
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	636
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	637	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	638	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	639	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	640	!
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	testFollowSetStar6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	643	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	644
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	645	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	646	p := a star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	647	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	648
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	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	651	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	652	! !
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	653
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	654	!FirstFollowNextTests methodsFor:'test isNullable'!
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	testIsNullable01
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	657	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	658	!
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	testIsNullable02
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	661	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	662	!
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	testIsNullable03
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	665	self assert: nil asParser acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	666	!
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	testIsNullable04
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	669	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	670	!
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	testIsNullable05
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	673	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	674	!
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	testIsNullable06
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	677	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	678	!
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	testIsNullable07
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	681	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	682	!
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	testIsNullable08
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	685	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	686	!
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	testIsNullable09
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	689	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	690	!
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	testIsNullable10
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	693	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	694	!
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	testIsNullable11
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	697	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	698	!
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	testIsNullable12
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	701	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	702	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	703
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	704	testIsNullableChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	705	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	706	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	707	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	708	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	709
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	710	p := a / b / c.
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	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	713	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	714
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	715	testIsNullableChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	716	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	717	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	718	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	719	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	720
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	721	p := a / b / c.
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	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	724	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	725
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	726	testIsNullableChoice3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	727	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	728	a := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	729	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	730	c := 'c' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	731
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	732	p := a / b / c.
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	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	735	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	736
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	737	testIsNullableChoice4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	738	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	739	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	740	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	741	c := 'c' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	742
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	743	p := a / b / c.
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	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	746	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	747
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	748	testIsNullableCycle1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	749	\| a p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	750	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	751	p := PPDelegateParser new.
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	p setParser: a / p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	754	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	755	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	756
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	757	testIsNullableCycle2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	758	\| a p e \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	759	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	760	e := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	761	p := PPDelegateParser new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	762
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	763	p setParser: (a, p) / e.
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	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	766	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	767
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	768	testIsNullableCycle3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	769	\| a p e \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	770	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	771	e := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	772	p := PPDelegateParser new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	773
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	774	p setParser: (a, p), e.
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	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	777	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	778
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	779	testIsNullableSeq1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	780	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	781	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	782	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	783	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	784
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	785	p := a, b, c.
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	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	788	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	789
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	790	testIsNullableSeq2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	791	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	792	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	793	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	794	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	795
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	796	p := a, b, c.
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	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	799	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	800
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	801	testIsNullableSeq3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	802	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	803	a := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	804	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	805	c := 'c' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	806
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	807	p := a, b, c.
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	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	810	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	811
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	812	testIsNullableSeq4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	813	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	814	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	815	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	816	c := 'c' asParser wrapped optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	817
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	818	p := a, b, c.
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	self assert: p acceptsEpsilon.
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
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	823	!FirstFollowNextTests methodsFor:'test next'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	824
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	825	testNext1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	826	\| p nextSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	827	p := 'a' asParser.
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	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	830	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	831	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	832
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	833	testNext2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	834	\| p nextSet a b \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	835	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	836	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	837
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	838	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	839
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	840	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	841	self assert: nextSet size: 1.
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: 'b'].
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: b 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	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	848	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	849	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	850
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	851	testNext3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	852	\| p nextSet a b \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	853	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	854	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	855
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	856	p := a / b.
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: a 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: b 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	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	865	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	866	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	867
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	868	testNext4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	869	\| p nextSet a b n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	870	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	871	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	872	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	873
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	874	p := a, n, 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: a 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: n 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: 'b'].
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	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	883	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	884	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	885
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	886	testNext5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	887	\| 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	888	a1 := 'a1' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	889	a2 := 'a2' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	890	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	891	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	892	n := 'n' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	893
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	894	p := a, n, b.
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: a1 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: 'a2'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	898
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	899	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	900	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	901	"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	902	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	903
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	904
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	905
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	906	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	907	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	908	"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	909	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	910
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	911	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	912	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	913
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	914	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	915	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	916	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	917	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	918
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	919	testNext6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	920	\| 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	921	a1 := 'a1' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	922	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	923	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	924	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	925	n := 'nil' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	926
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	927	p := a, n, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	928
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	929	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	930	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	931	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	932	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	933
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	934	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	935	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	936	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	937
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	938
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	939	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	940	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	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: n 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 matches: 'b'].
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	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	947	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	948	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	949
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	950	testNext7
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	951	\| 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	952	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	953	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	954	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	955	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	956
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	957	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	958
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	959	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	960
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	961	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	962	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	963
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	964	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	965
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	966	testNext8
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	967	\| 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	968	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	969	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	970	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	971	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	972
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	973	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	974
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	975	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	976	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	977	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	978
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	979	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	980
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	981	testNext9
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	982	\| a nextSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	983	a := 'a' asParser.
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	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	986	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	987
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	988
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
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	991	testNextDelegate1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	992
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	993	\| a nextSet b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	994	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	995	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	996	c := 'c' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	997	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	998
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	999	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	1000	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	1001	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	1002
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1003
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1004	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1005
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1006	testNextRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1007	\| 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	1008	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1009
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1010	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	1011	self assert: nextSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1012	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	1013	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1014
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1015	testNextRepeat2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1016	\| p nextSet a b astar \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1017	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1018	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1019	astar := a star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1020
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1021	p := astar, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1022
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1023	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	1024
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1025	self assert: nextSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1026	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	1027
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1028
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1029	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1030
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1031	testNextRepeat3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1032	\| p nextSet a b astar \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1033	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1034	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1035
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1036	p := a star, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1037
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1038	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	1039
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1040	self assert: nextSet size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1041	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	1042	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	1043	!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1044
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1045	testNextRepeat4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1046	\| a nextSet b p root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1047	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1048	b := 'b' asParser optional.
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	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1051	root := p plus.
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	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	1054	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	1055
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1056
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1057	! !
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1058

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Wed, 08 Oct 2014 00:33:44 +0100
changeset 387	e2b2ccaa4de6
child 389	009c2e13973c
permissions	-rw-r--r--