diff options
author | buraq <buraq@epfl.ch> | 2003-10-28 14:42:08 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2003-10-28 14:42:08 +0000 |
commit | 6502b10931983e21dfe6da0d13c6245dd2a7e691 (patch) | |
tree | 1a3ae453ef8e5a2a91b50d707f97cdb300392b51 | |
parent | 71288c3d5ead2e7acf682555ff0debab8a7cc393 (diff) | |
download | scala-6502b10931983e21dfe6da0d13c6245dd2a7e691.tar.gz scala-6502b10931983e21dfe6da0d13c6245dd2a7e691.tar.bz2 scala-6502b10931983e21dfe6da0d13c6245dd2a7e691.zip |
cleanup
-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; } |