hg/stx-goodies-petitparser: islands/tests/FirstFollowNextTests.st@a9cd5ea7cc36 (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
454 a9cd5ea7cc36 Portability: fixes for Smalltalk/X Jan Vrany <jan.vrany@fit.cvut.cz> parents: 389 diff changeset	3	"{ NameSpace: Smalltalk }"
a9cd5ea7cc36 Portability: fixes for Smalltalk/X Jan Vrany <jan.vrany@fit.cvut.cz> parents: 389 diff changeset	4
387 e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	5	TestCase subclass:#FirstFollowNextTests
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	6	instanceVariableNames:''
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	7	classVariableNames:''
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	8	poolDictionaries:''
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	9	category:'PetitIslands-Tests'
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	10	!
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	!FirstFollowNextTests methodsFor:'support'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	13
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	14	assert: set allMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	15	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	16	!
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	assert: set allSatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	19	self assert: (set allSatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	20	!
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	assert: set anyMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	23	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	24	!
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	assert: set anySatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	27	self assert: (set anySatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	28	!
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	assert: set noneMatches: string
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	31	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	32	!
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	assert: set noneSatisfy: aBlock
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	35	self assert: (set noneSatisfy: aBlock)
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	36	!
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	assert: set size: anInteger
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	39	self assert: (set size = anInteger )
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	40	!
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	first: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	43	^ aParser firstSet
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	44	!
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	first: aParser terminalPredicate: predicate
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	47	^ aParser firstSetPredicate: predicate
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	48	!
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	follow: aParser in: rootParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	51	^ rootParser followSets at: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	52
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	53	!
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	identifier
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	56	^ ((#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	57	!
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	next: aParser in: rootParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	60	^ rootParser nextSets at: aParser
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	61
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	62	! !
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	!FirstFollowNextTests methodsFor:'test first'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	65
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	66	testFirst1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	67	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	68	p := nil asParser / 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	69
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	70	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	71	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	72	!
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	testFirst2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	75	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	76	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	77
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	78	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	79	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	80	!
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	testFirst3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	83	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	84	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	85
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	86	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	87	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	88	!
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	testFirst4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	91	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	92	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	93
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	94	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	95	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	96	!
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	testFirstChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	99	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	100	p := nil asParser / '' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	101
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	102	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	103	!
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	testFirstChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	106	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	107	p := 'a' asParser / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	108
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	109	first := (self first: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	110
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	111	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	112	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	113	!
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	testFirstChoice3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	116	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	117	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	118
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	119	first := (self first: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	120
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	121	self assert: first anySatisfy: [:e \| e matches: 'a'].
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: 'b'].
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: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	124	!
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	testFirstComplex1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	127	\| p first root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	128
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	129	p := 'a' asParser / nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	130	root := p, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	131
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	132	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	133
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	134	self assert: first size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	135	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	136	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	137	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	138	!
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	testFirstComplex2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	141	\| p first root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	142
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	143	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	144	root := p, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	145
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	146	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	147
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	148	self assert: first size: 3.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	149	self assert: first anySatisfy: [:e \| e matches: 'a'].
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: 'b'].
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: 'c'].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	152	!
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	testFirstComplex3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	155	\| p first root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	156
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	157	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	158	root := p, 'c' asParser not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	159
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	160	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	161
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	162	self assert: first anySatisfy: [:e \| e matches: 'a'].
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: 'b'].
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: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	165	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	166	!
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	testFirstComplex4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	169	\| p first root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	170
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	171	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	172	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	173
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	174	first := (self first: root).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	175
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	176	self assert: first anySatisfy: [:e \| e matches: 'a'].
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: 'b'].
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: ''].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	179	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	180	!
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	testFirstNegate1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	183	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	184	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	185
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	186	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	187	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	188
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	189	self assert: (self first: p) noneSatisfy: [:each \| each matches: 'a' ].
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) anySatisfy: [:each \| each matches: 'b' ].
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: 'c' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	192	!
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	testFirstNot
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	195	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	196	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	197
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	198	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	199
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	200	self assert: (self first: p) noneSatisfy: [:each \| each matches: 'a' ].
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) anySatisfy: [:each \| each matches: 'b' ].
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: 'c' ].
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	203	!
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	testFirstOptional
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	206	\| p first result \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	207	p := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	208
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	209	result := (self first: p).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	210
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	211	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	212	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	213	!
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	testFirstRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	216	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	217	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	218
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	219	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	220
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	221	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	222	self assert: first anyMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	223	!
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	testFirstSequence1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	226	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	227	p := 'a' asParser, 'b' asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	228
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	229	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	230	self assert: first size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	231	self assert: first allMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	232	self assert: first noneMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	233	!
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	testFirstSequence2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	236	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	237	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	238
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	239	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	240	self assert: first size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	241	self assert: first allMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	242	self assert: first noneMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	243	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	244	!
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	testFirstSequence3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	247	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	248	p := nil asParser, nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	249
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	250	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	251	!
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	testFirstSequence4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	254	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	255	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	256
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	257	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	258	self assert: first anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	259	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	260	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	261	!
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	testFirstSequence5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	264	\| p first \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	265	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	266
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	267	first := self first: p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	268	self assert: first anyMatches: 'b'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	269	self assert: first anyMatches: 'a'.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	270	self assert: first noneMatches: ''.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	271	!
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	testFirstTerminal2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	274	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	275	p := 'a' asParser not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	276
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	277	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	278	!
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	testFirstTerminal3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	281	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	282	p := 'a' asParser and.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	283
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	284	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	285	!
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	testFirstTerminal4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	288	\| p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	289	p := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	290
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	291	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	292	! !
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	!FirstFollowNextTests methodsFor:'test follow'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	295
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	296	testFollowNot1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	297	\| p followSet terminal \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	298
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	299	terminal := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	300	p := terminal, 'b' asParser not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	301	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	302
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	303	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	304	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	305	!
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	testFollowSet1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	308	\| result p root followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	309
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	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	312	root := (p star, 'b' asParser).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	313
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	314	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	315
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	316	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	317	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	318	!
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	testFollowSet10
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	321	\| 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	322
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	323	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	324	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	325	block := '{}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	326
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	327	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	328
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	329	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	330
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	331	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	332	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	333	!
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	testFollowSet11
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	336	\| 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	337
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	338	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	339	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	340	block := '{}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	341
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	342	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	343
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	344	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	345
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	346	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	347	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	348	!
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	testFollowSet12
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	351	\| parser followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	352
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	353
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	parser := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	356	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	357
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	358	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	359	!
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	testFollowSet13
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	362	\| parser followSet a b c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	363
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	364	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	365	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	366	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	367
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	parser := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	370	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	371	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	372
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	373	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	374	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	375
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	376	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	377	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	378	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	379	!
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	testFollowSet14
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	382	\| parser followSet a b c \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	383
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	384	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	385	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	386	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	387
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	parser := a plus, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	390
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	391	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	392	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	393	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	394	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	395	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	396	!
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	testFollowSet2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	399	\| 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	400
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	401	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	402	follow := 'b' asParser, 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	403
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	404	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	405
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	406	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	407
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	408	self assert: followSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	409	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	410	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	411	!
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	testFollowSet3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	414	\| 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	415
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	416	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	417	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	418
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	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	421
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	422	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	423
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	424	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	425	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	426	!
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	testFollowSet4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	429	\| 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	430
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	431	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	432	follow := ('b' asParser, 'c' asParser).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	433
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	root := (p star, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	436
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	437	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	438
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	439	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	440	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	441	!
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	testFollowSet5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	444	\| 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	445
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	446	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	447	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	448	follow2 := 'd' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	449
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	root := (p, follow1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	452
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	453	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	454
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	455	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	456	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	457	!
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	testFollowSet6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	460	\| 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	461
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	462	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	463	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	464	follow2 := 'd' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	465
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	466	follow := (follow1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	467
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	468	root := (p, follow).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	469
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	470	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	471
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	472	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	473	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	474	!
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	testFollowSet7
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	477	\| 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	478
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	479	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	480	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	481	follow2 := 'd' asParser / nil asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	482
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	483	r1 := (p, follow1).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	484	r2 := (r1, follow2).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	485
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	486	root := r2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	487
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	488	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	489
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	490	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	491	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	492	!
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	testFollowSet8
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	495	\| 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	496
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	497	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	498	follow := PPInputEnds new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	499
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	500	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	501
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	502	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	503
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	504	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	505	!
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	testFollowSet9
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	508	\| 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	509
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	510	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	511	island2 := (':' asParser, self identifier) island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	512	block := '{' asParser, '}' asParser island.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	513
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	514	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	515
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	516	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	517
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	518	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	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	!
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	testFollowSetChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	523	\| 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	524
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	525	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	526	follow := 'b' asParser / 'c' asParser .
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	527
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	528	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	529
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	530	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	531
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	532	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	533	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	534	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	535	!
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	testFollowSetChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	538	\| 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	539
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	540	follow := 'a' asParser / 'd' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	541	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	542	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	543	p := b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	544
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	545	root := p, follow.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	546
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	547	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	548
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	549	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	550	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	551
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	552	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	553
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	554	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	555	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	556	!
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	testFollowSetOptional1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	559	\| 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	560
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	561	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	562	follow1 := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	563	follow2 := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	564
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	565	root := p, follow1, follow2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	566
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	567	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	568
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	569	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	570	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	571	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	572	!
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	testFollowSetRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	575	\| p followSet terminal \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	576
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	577	terminal := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	578	p := terminal plus.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	579
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	580	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	581	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	582	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	583
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	584	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	585	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	586	!
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	testFollowSetStar1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	589	\| a b p followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	590
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	591	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	592	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	593	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	594	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	595
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	596	self assert: followSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	597	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	598	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	599	!
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	testFollowSetStar3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	602	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	603
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	604	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	605	p := a.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	606	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	607
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	608	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	609	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	610	!
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	testFollowSetStar4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	613	\| a b p followSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	614
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	615	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	616	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	617	p := a star, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	618	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	619
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	620	self assert: followSet size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	621	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	622	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	623	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	624	!
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	testFollowSetStar5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	627	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	628
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	629	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	630	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	631	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	632	p := a star, (b / n).
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	633	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	634
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	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	637	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	638	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	639	!
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	testFollowSetStar6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	642	\| a b p followSet n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	643
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	644	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	645	p := a star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	646	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	647
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	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	650	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	651	! !
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	!FirstFollowNextTests methodsFor:'test isNullable'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	654
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	655	testIsNullable01
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	656	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	657	!
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	testIsNullable02
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	660	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	661	!
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	testIsNullable03
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	664	self assert: nil asParser acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	665	!
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	testIsNullable04
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	668	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	669	!
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	testIsNullable05
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	672	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	673	!
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	testIsNullable06
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	676	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	677	!
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	testIsNullable07
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	680	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	681	!
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	testIsNullable08
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	684	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	685	!
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	testIsNullable09
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	688	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	689	!
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	testIsNullable10
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	692	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	693	!
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	testIsNullable11
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	696	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	697	!
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	testIsNullable12
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	700	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	701	!
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	testIsNullableChoice1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	704	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	705	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	706	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	707	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	708
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	709	p := a / b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	710
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	711	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	712	!
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	testIsNullableChoice2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	715	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	716	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	717	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	718	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	719
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	720	p := a / b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	721
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	722	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	723	!
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	testIsNullableChoice3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	726	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	727	a := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	728	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	729	c := 'c' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	730
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	731	p := a / b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	732
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	733	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	734	!
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	testIsNullableChoice4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	737	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	738	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	739	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	740	c := 'c' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	741
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	742	p := a / b / c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	743
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	744	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	745	!
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	testIsNullableCycle1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	748	\| a p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	749	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	750	p := PPDelegateParser new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	751
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	752	p setParser: a / p.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	753	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	754	!
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	testIsNullableCycle2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	757	\| a p e \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	758	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	759	e := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	760	p := PPDelegateParser new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	761
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	762	p setParser: (a, p) / e.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	763
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	764	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	765	!
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	testIsNullableCycle3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	768	\| a p e \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	769	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	770	e := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	771	p := PPDelegateParser new.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	772
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	773	p setParser: (a, p), e.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	774
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	775	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	776	!
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	testIsNullableSeq1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	779	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	780	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	781	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	782	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	783
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	784	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	785
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	786	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	787	!
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	testIsNullableSeq2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	790	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	791	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	792	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	793	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	794
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	795	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	796
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	797	self assert: p acceptsEpsilon not.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	798	!
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	testIsNullableSeq3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	801	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	802	a := 'a' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	803	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	804	c := 'c' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	805
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	806	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	807
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	808	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	809	!
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	testIsNullableSeq4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	812	\| a b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	813	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	814	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	815	c := 'c' asParser wrapped optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	816
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	817	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	818
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	819	self assert: p acceptsEpsilon.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	820	! !
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	!FirstFollowNextTests methodsFor:'test next'!
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	823
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	824	testNext1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	825	\| p nextSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	826	p := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	827
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	828	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	829	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	830	!
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	testNext2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	833	\| p nextSet a b \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	834	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	835	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	836
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	837	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	838
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	839	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	840	self assert: nextSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	841	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	842
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	843	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	844	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	845
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	846	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	847	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	848	!
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	testNext3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	851	\| p nextSet a b \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	852	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	853	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	854
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	855	p := a / b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	856
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	857	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	858	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	859
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	860	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	861	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	862
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	863	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	864	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	865	!
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	testNext4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	868	\| p nextSet a b n \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	869	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	870	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	871	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	872
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	873	p := a, n, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	874
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	875	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	876	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	877
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	878	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	879	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	880
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	881	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	882	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	883	!
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	testNext5
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	886	\| 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	887	a1 := 'a1' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	888	a2 := 'a2' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	889	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	890	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	891	n := 'n' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	892
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	893	p := a, n, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	894
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	895	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	896	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	897
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	898	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	899	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	900	"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	901	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	902
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	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	906	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	907	"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	908	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	909
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	910	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	911	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	912
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	913	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	914	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	915	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	916	!
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	testNext6
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	919	\| 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	920	a1 := 'a1' asParser wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	921	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	922	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	923	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	924	n := 'nil' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	925
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	926	p := a, n, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	927
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	928	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	929	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	930	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	931	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	932
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	933	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	934	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	935	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	936
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	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	939	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	940	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	941
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	942	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	943	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	944
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	945	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	946	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	947	!
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	testNext7
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	950	\| 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	951	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	952	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	953	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	954	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	955
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	956	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	957
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	958	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	959
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	960	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	961	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	962
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	testNext8
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	966	\| 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	967	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	968	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	969	c := 'c' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	970	n := nil asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	971
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	972	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	973
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	974	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	975	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	976	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	977
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	testNext9
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	981	\| a nextSet \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	982	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	983
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	984	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	985	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	986
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	987
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	988	!
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	testNextDelegate1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	991
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	992	\| a nextSet b c p \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	993	a := 'a' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	994	b := 'b' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	995	c := 'c' asParser optional wrapped.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	996	p := a, b, c.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	997
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	998	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	999	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	1000	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	1001
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1002
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1003	!
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	testNextRepeat1
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1006	\| 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	1007	a := 'a' asParser star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1008
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1009	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	1010	self assert: nextSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1011	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	1012	!
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	testNextRepeat2
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1015	\| p nextSet a b astar \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1016	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1017	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1018	astar := a star.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1019
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1020	p := astar, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1021
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1022	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	1023
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1024	self assert: nextSet size: 1.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1025	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	1026
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1027
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1028	!
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	testNextRepeat3
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1031	\| p nextSet a b astar \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1032	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1033	b := 'b' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1034
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1035	p := a star, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1036
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1037	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	1038
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1039	self assert: nextSet size: 2.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1040	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	1041	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	1042	!
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	testNextRepeat4
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1045	\| a nextSet b p root \|
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1046	a := 'a' asParser.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1047	b := 'b' asParser optional.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1048
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1049	p := a, b.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1050	root := p plus.
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1051
e2b2ccaa4de6 Commited a island parser support (MC package PetitIslands) Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1052	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	1053	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	1054
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

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Sun, 10 May 2015 14:20:24 +0100
changeset 454	a9cd5ea7cc36
parent 389	009c2e13973c
child 505	19d830b74322
permissions	-rw-r--r--