Instantiating TypeVariableImpl.java

[jpf-core.git] / src / main / gov / nasa / jpf / jvm / ClassFile.java

diff --git a/src/main/gov/nasa/jpf/jvm/ClassFile.java b/src/main/gov/nasa/jpf/jvm/ClassFile.java
index 4bac2b27b64ff71deb19eaed631ee1b521e1191f..fd879f1aeca9dc1db9c44d1dc16b81cfb87e1a18 100644 (file)
--- a/src/main/gov/nasa/jpf/jvm/ClassFile.java
+++ b/src/main/gov/nasa/jpf/jvm/ClassFile.java
@@ -422,6 +422,15 @@ public class ClassFile extends BinaryClassSource {
     return ((data[idx++]&0xff) << 8) | (data[idx]&0xff);
   }
 
+  // TODO: DIRTY HACKS!!!
+  public final int readU4(){
+    int idx = pos;
+    pos += 4;
+    byte[] data = this.data;
+
+    return ((data[idx++]&0xff) <<24) | ((data[idx++]&0xff) << 16) | ((data[idx++]&0xff) << 8) | (data[idx]&0xff);
+  }
+
   public final int readI2() {
     int idx = pos;
     pos += 2;