hg/stx-goodies-petitparser: compiler/tests/PEGFsaTest.st@b5316ef15274 (annotated)

502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1	"{ Package: 'stx:goodies/petitparser/compiler/tests' }"
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	2
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	3	"{ NameSpace: Smalltalk }"
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	4
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	5	TestCase subclass:#PEGFsaTest
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	6	instanceVariableNames:'fsa a b c d e result newFsa'
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	7	classVariableNames:''
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	8	poolDictionaries:''
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	9	category:'PetitCompiler-Tests-FSA'
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	10	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	11
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	12	!PEGFsaTest methodsFor:'as yet unclassified'!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	13
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	14	assert: col allSatisfy: block
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	15	self assert: (col allSatisfy: block).
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	16	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	17
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	18	assert: col anySatisfy: block
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	19	self assert: (col anySatisfy: block).
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	20	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	21
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	22	setUp
515 b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	23	a := PEGFsaState new name: #a; retval: #token; yourself.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	24	b := PEGFsaState new name: #b; retval: #token; yourself.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	25	c := PEGFsaState new name: #c; retval: #token; yourself.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	26	d := PEGFsaState new name: #d; retval: #token; yourself.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	27	e := PEGFsaState new name: #e; retval: #token; yourself.
502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	28
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	29	fsa := PEGFsa new.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	30	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	31
515 b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	32	testMergeTransitions
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	33	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	34	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	35	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	36	fsa finalState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	37
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	38	fsa addTransitionFrom: a to: b on: $a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	39	fsa addTransitionFrom: a to: b on: $b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	40
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	41	fsa mergeTransitions.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	42
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	43	self assert: a transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	44	self assert: (a transitions anyOne accepts: $a).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	45	self assert: (a transitions anyOne accepts: $b).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	46	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	47
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	48	testMergeTransitions2
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	49	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	50	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	51	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	52	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	53	fsa finalState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	54
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	55	fsa addTransitionFrom: a to: b on: $a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	56	fsa addTransitionFrom: a to: c on: $b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	57
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	58	fsa mergeTransitions.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	59
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	60	self assert: a transitions size = 2.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	61	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	62
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	63	testRemoveEpsilons
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	64	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	65	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	66	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	67	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	68	fsa finalState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	69
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	70	fsa addTransitionFrom: a to: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	71	fsa addTransitionFrom: b to: c on: $c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	72
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	73	fsa removeEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	74
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	75	self assert: a transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	76	self assert: b transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	77	self assert: a transitions anyOne isEpsilon not.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	78	self assert: (a transitions anyOne accepts: $c).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	79	self assert: (fsa isReachableState: c).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	80	self assert: (fsa isReachableState: b) not.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	81	self assert: fsa isWithoutEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	82	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	83
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	84	testRemoveEpsilons2
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	85	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	86	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	87	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	88	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	89	fsa finalState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	90
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	91	fsa addTransitionFrom: a to: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	92	fsa addTransitionFrom: a to: b on: $b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	93	fsa addTransitionFrom: b to: c on: $c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	94
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	95	fsa removeEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	96
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	97	self assert: a transitions size = 2.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	98	self assert: b transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	99	self assert: (a transitions noneSatisfy: [:t \| t isEpsilon ]).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	100	self assert: (a transitions anySatisfy: [:t \| t accepts: $c ]).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	101	self assert: (a transitions anySatisfy: [:t \| t accepts: $b ]).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	102	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	103
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	104	testRemoveEpsilons3
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	105	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	106	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	107	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	108	fsa addState: d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	109	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	110	fsa finalState: d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	111
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	112	fsa addTransitionFrom: a to: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	113	fsa addTransitionFrom: b to: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	114	fsa addTransitionFrom: c to: d on: $d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	115
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	116	fsa removeEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	117
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	118	self assert: a transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	119
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	120	self assert: a transitions anyOne isEpsilon not.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	121	self assert: (a transitions anyOne accepts: $d).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	122	self assert: (fsa isReachableState: d).
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	123	self assert: (fsa isReachableState: b) not.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	124	self assert: (fsa isReachableState: c) not.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	125	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	126
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	127	testRemoveEpsilons4
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	128	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	129	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	130	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	131	fsa finalState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	132
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	133	fsa addTransitionFrom: a to: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	134
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	135	fsa removeEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	136
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	137	self assert: a isFinal.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	138	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	139
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	140	testRemoveEpsilons5
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	141	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	142	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	143	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	144	fsa addState: d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	145	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	146	fsa finalState: d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	147
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	148	fsa addTransitionFrom: a to: b on: $a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	149	fsa addTransitionFrom: b to: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	150
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	151	fsa removeEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	152
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	153	self assert: fsa isWithoutEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	154
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	155	self assert: a transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	156	self assert: b transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	157	self assert: (a transitions anyOne == b transitions anyOne) not.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	158	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	159
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	160	testRemoveEpsilons6
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	161	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	162	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	163	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	164	fsa addState: d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	165	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	166	fsa finalState: d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	167
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	168	fsa addTransitionFrom: a to: b on: $a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	169	fsa addTransitionFrom: b to: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	170	fsa addTransitionFrom: c to: d on: $b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	171	d priority: -1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	172
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	173	fsa removeEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	174
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	175	self assert: fsa isWithoutEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	176
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	177	self assert: a transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	178	self assert: b transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	179	self assert: a destination destination = d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	180	self assert: d priority = -1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	181	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	182
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	183	testRemoveEpsilons7
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	184	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	185	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	186	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	187	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	188	fsa finalState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	189	fsa finalState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	190	fsa finalState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	191
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	192	fsa addTransitionFrom: a to: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	193	fsa addTransitionFrom: b to: c on: $a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	194
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	195
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	196	a priority: -1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	197	b priority: -1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	198	c priority: -1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	199
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	200	a failure: true.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	201	b retval: #b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	202
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	203	fsa removeEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	204
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	205	self assert: fsa isWithoutEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	206
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	207	self assert: a transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	208	self assert: a destination = c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	209	self assert: a isFinal.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	210	self assert: a isFsaFailure not.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	211	self assert: a retval = #b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	212	self assert: a priority = -1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	213	self assert: c priority = -1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	214
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	215	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	216
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	217	testRemoveLowPriorityTransitions
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	218	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	219	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	220	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	221	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	222	fsa finalState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	223	fsa finalState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	224	fsa finalState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	225
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	226	b priority: 0.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	227	fsa addTransitionFrom: a to: b on: $a priority: 0.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	228	fsa addTransitionFrom: b to: c on: $b priority: -1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	229
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	230	fsa removeLowPriorityTransitions.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	231	self assert: fsa isWithoutEpsilons.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	232
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	233	self assert: a transitions size = 1.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	234	self assert: b transitions size = 0.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	235	!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	236
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	237	testRemoveUnreachableStates
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	238	fsa addState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	239	fsa addState: b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	240	fsa addState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	241	fsa startState: a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	242	fsa finalState: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	243
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	244	fsa addTransitionFrom: a to: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	245	fsa addTransitionFrom: b to: c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	246
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	247	fsa removeUnreachableStates.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	248
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	249	self assert: fsa states size = 2.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	250	! !
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	251
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	252	!PEGFsaTest methodsFor:'tests - analysis'!
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	253
502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	254	testBackTransitions
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	255	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	256	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	257	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	258	fsa finalState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	259
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	260	fsa addTransitionFrom: a to: a on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	261	fsa addTransitionFrom: a to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	262
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	263	result := fsa backTransitions.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	264
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	265	self assert: result size = 1.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	266	self assert: result anyOne destination = a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	267	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	268
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	269	testBackTransitions2
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	270	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	271	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	272	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	273	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	274	fsa finalState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	275
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	276	fsa addTransitionFrom: a to: a on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	277	fsa addTransitionFrom: a to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	278	fsa addTransitionFrom: b to: c on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	279	fsa addTransitionFrom: c to: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	280
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	281	result := fsa backTransitions.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	282
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	283	self assert: result size = 2.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	284	self assert: result allSatisfy: [:t \| t destination = a ].
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	285	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	286
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	287	testBackTransitions3
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	288	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	289	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	290	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	291	fsa addState: d.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	292	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	293	fsa finalState: d.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	294
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	295	fsa addTransitionFrom: a to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	296	fsa addTransitionFrom: a to: c on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	297	fsa addTransitionFrom: b to: d on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	298	fsa addTransitionFrom: c to: d on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	299	fsa addTransitionFrom: d to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	300	fsa addTransitionFrom: d to: c on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	301	result := fsa backTransitions.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	302
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	303	self assert: result size = 2.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	304
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	305	d transitions allSatisfy: [ :t \| result includes: t ].
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	306	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	307
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	308	testBackTransitions4
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	309	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	310	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	311	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	312	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	313	fsa finalState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	314
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	315	fsa addTransitionFrom: a to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	316	fsa addTransitionFrom: b to: c on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	317	fsa addTransitionFrom: a to: c on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	318
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	319	result := fsa backTransitions.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	320
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	321	self assert: result size = 0.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	322	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	323
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	324	testBackTransitions5
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	325	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	326	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	327	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	328	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	329	fsa finalState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	330
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	331	fsa addTransitionFrom: a to: c on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	332	fsa addTransitionFrom: a to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	333	fsa addTransitionFrom: b to: c on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	334
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	335	result := fsa backTransitions.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	336
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	337	self assert: result size = 0.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	338	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	339
515 b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	340	testHasDistinctRetvals
502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	341	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	342	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	343	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	344	fsa addState: d.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	345
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	346	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	347	fsa finalState: b.
515 b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	348	fsa finalState: d.
502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	349
515 b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	350	a retval: nil.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	351	b retval: #b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	352	c retval: nil.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	353	d retval: #c.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	354
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	355	fsa addTransitionFrom: a to: b on: $a.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	356	fsa addTransitionFrom: a to: c on: $b.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	357	fsa addTransitionFrom: c to: d on: $d.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	358	fsa addTransitionFrom: d to: c on: $c.
502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	359
515 b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	360	self assert: fsa hasDistinctRetvals.
b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	361
502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	362	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	363
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	364	testIsDeterministic
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	365	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	366	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	367	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	368	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	369	fsa finalState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	370
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	371	fsa addTransitionFrom: a to: b on: $b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	372	fsa addTransitionFrom: a to: c on: $c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	373
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	374	self assert: fsa isDeterministic.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	375	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	376
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	377	testIsDeterministic2
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	378	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	379	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	380	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	381	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	382	fsa finalState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	383
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	384	fsa addTransitionFrom: a to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	385	fsa addTransitionFrom: a to: c on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	386
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	387	self assert: fsa isDeterministic not.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	388	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	389
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	390	testIsWithoutEpsilons
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	391	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	392	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	393	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	394	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	395	fsa finalState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	396
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	397	fsa addTransitionFrom: a to: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	398	fsa addTransitionFrom: b to: c on: $c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	399
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	400	self assert: fsa isWithoutEpsilons not.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	401	!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	402
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	403	testTopologicalOrder
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	404	\| \|
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	405	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	406	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	407
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	408	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	409	fsa finalState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	410
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	411	fsa addTransitionFrom: a to: a on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	412	fsa addTransitionFrom: a to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	413
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	414	result := fsa topologicalOrder.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	415
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	416	self assert: result first == a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	417	self assert: result second == b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	418	! !
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	419
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	420	!PEGFsaTest methodsFor:'tests - copy'!
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	421
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	422	testCopy
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	423	\| newA newC \|
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	424	fsa addState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	425	fsa addState: b.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	426	fsa addState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	427
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	428	fsa finalState: c.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	429	fsa startState: a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	430
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	431	fsa addTransitionFrom: a to: b on: $a.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	432	fsa addTransitionFrom: b to: c on: $b priority: -1.
515 b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	433	fsa addTransitionFrom: c to: a.
502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	434
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	435	newFsa := fsa copy.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	436
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	437	self assert: (fsa isIsomorphicTo: newFsa).
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	438
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	439	newA := newFsa states detect: [ :s \| s canBeIsomorphicTo: a ].
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	440
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	441	self assert: newFsa startState = newA.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	442	self assert: (a == newA) not.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	443	self assert: (newA transitions anyOne canBeIsomorphicTo: a transitions anyOne).
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	444	self assert: (newA transitions anyOne == a transitions anyOne) not.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	445	self assert: newA destination destination destination == newA.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	446
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	447	newC := newA destination destination.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	448	self assert: (newC == c) not.
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	449	self assert: newC isFinal.
515 b5316ef15274 Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Jan Vrany <jan.vrany@fit.cvut.cz> parents: 502 diff changeset	450	self assert: newC retval = #token.
502 1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	451	! !
1e45d3c96ec5 Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	452

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Mon, 17 Aug 2015 12:13:16 +0100
changeset 515	b5316ef15274
parent 502	1e45d3c96ec5
permissions	-rw-r--r--