30 |
public class DefaultVobMatcher implements VobMatcher { |
public class DefaultVobMatcher implements VobMatcher { |
31 |
private static final String rcsid = "$Id$"; |
private static final String rcsid = "$Id$"; |
32 |
public static boolean dbg = false; |
public static boolean dbg = false; |
33 |
private static void pa(String s) { System.err.println(s); } |
private static void pa(String s) { System.out.println(s); } |
34 |
|
|
35 |
static final int INITIAL_SIZE = 20; |
static final int INITIAL_SIZE = 20; |
36 |
static final Object NULL = new Object(); |
static final Object NULL = new Object(); |
134 |
|
|
135 |
public int[] interpList(VobMatcher other0, boolean towardsOther) { |
public int[] interpList(VobMatcher other0, boolean towardsOther) { |
136 |
DefaultVobMatcher other = (DefaultVobMatcher)other0; |
DefaultVobMatcher other = (DefaultVobMatcher)other0; |
137 |
|
if(dbg) dump(); |
138 |
|
if(dbg) other.dump(); |
139 |
int[] interpList = new int[maxcs+1]; |
int[] interpList = new int[maxcs+1]; |
140 |
if(dbg) pa("interplist: "+interpList[0]); |
if(dbg) pa("interplist: "+interpList[0]); |
141 |
int[] toOther = null; |
int[] toOther = null; |