diff options
| -rw-r--r-- | sources/scalac/transformer/matching/NondetWordAutom.java | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/sources/scalac/transformer/matching/NondetWordAutom.java b/sources/scalac/transformer/matching/NondetWordAutom.java index d0133955a8..513a49b115 100644 --- a/sources/scalac/transformer/matching/NondetWordAutom.java +++ b/sources/scalac/transformer/matching/NondetWordAutom.java @@ -168,16 +168,13 @@ public class NondetWordAutom { */ TreeSet getSide ( TreeSet Qsrc, Object label ) { TreeSet Qdest = new TreeSet(); - for( Iterator it = Qsrc.iterator(); it.hasNext(); ) { - // state - int q1 = ((Integer) it.next()).intValue(); - Vector ps = (Vector) deltaq[ q1 ].get( label ); - - //System.out.println( "q1 "+q1+" targ:"+ps.toString() ); - if( ps!=null ) - Qdest.addAll( ps ); - - Qdest.addAll( defaultq( q1 ) ); + for( Iterator it = Qsrc.iterator(); it.hasNext(); ) {// state + int q = ((Integer) it.next()).intValue(); + Vector ps = (Vector) deltaq[ q ].get( label ); + if( ps!=null ) { + Qdest.addAll( ps ); + } + Qdest.addAll( defaultq( q ) ); } return Qdest; } |