compiler/tests/PEGFsaMinimizationTest.st
changeset 537 fb212e14d1f4
parent 518 a6d8b93441b0
child 542 bb97dcbe2359
equal deleted inserted replaced
536:548996aca274 537:fb212e14d1f4
   131     self assert: merged transitions size = 1.
   131     self assert: merged transitions size = 1.
   132     self assert: merged destination isFinal.
   132     self assert: merged destination isFinal.
   133 !
   133 !
   134 
   134 
   135 testMinimze4
   135 testMinimze4
   136     <skip> "/ JK: please remove this once fixed...     
   136     | merged |
   137 
   137 
   138     |  merged |
   138     " JK: please remove this once fixed... "
       
   139     ((Smalltalk respondsTo:#isSmalltalkX) and:[ Smalltalk isSmalltalkX ]) 
       
   140         ifTrue:[ self skipIf: true description: 'never worked, JK?' ]. 
       
   141 
       
   142 
   139     fsa addState: a.
   143     fsa addState: a.
   140     fsa addState: b.
   144     fsa addState: b.
   141     fsa addState: c.
   145     fsa addState: c.
   142     fsa addState: d.
   146     fsa addState: d.
   143     fsa addState: e.
   147     fsa addState: e.
   162     
   166     
   163     merged := a destination.
   167     merged := a destination.
   164     self assert: merged transitions size = 1.
   168     self assert: merged transitions size = 1.
   165     self assert: merged destination isFinal.
   169     self assert: merged destination isFinal.
   166 
   170 
   167     "Modified: / 17-08-2015 / 22:34:54 / Jan Vrany <jan.vrany@fit.cvut.cz>"
   171     "Modified: / 07-09-2015 / 07:48:41 / Jan Vrany <jan.vrany@fit.cvut.cz>"
   168 !
   172 !
   169 
   173 
   170 testStateEquals
   174 testStateEquals
   171     state addTransition: t1.
   175     state addTransition: t1.
   172     anotherState addTransition: t2.
   176     anotherState addTransition: t2.