Skip to content

Commit 0f081f1

Browse files
SaloedSaloed
committed
Upgrade jacodb to "neo" version
1 parent da8ce0d commit 0f081f1

24 files changed

+72
-68
lines changed

‎approximations/build.gradle.kts

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,15 @@ plugins {
55

66
repositories {
77
mavenCentral()
8+
maven("https://jitpack.io")
89
}
910

11+
private val jacodbPackage = "com.github.UnitTestBot.jacodb"
12+
private val jacodbVersion = "890624770b" // jacodb neo branch
13+
1014
dependencies {
11-
compileOnly("org.jacodb:jacodb-api:1.4.0")
12-
compileOnly("org.jacodb:jacodb-approximations:1.4.0")
15+
compileOnly("$jacodbPackage:jacodb-api-jvm:$jacodbVersion")
16+
compileOnly("$jacodbPackage:jacodb-approximations:$jacodbVersion")
1317
compileOnly(files(rootDir.resolve("usvm-api/usvm-api.jar")))
1418
}
1519

‎approximations/src/main/java/decoders/BaseDecoder.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package decoders;
22

3-
import org.jacodb.api.*;
3+
import org.jacodb.api.jvm.*;
44
import org.usvm.api.decoder.DecoderApi;
55

66
import java.util.ArrayList;

‎approximations/src/main/java/decoders/java/io/InputStream$Void_Decoder.java

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package decoders.java.io;
22

3-
import org.jacodb.api.JcClassOrInterface;
4-
import org.jacodb.api.JcMethod;
5-
import org.jacodb.api.JcParameter;
6-
import org.jacodb.api.JcType;
3+
import org.jacodb.api.jvm.JcClassOrInterface;
4+
import org.jacodb.api.jvm.JcMethod;
5+
import org.jacodb.api.jvm.JcParameter;
6+
import org.jacodb.api.jvm.JcType;
77
import org.usvm.api.decoder.DecoderApi;
88
import org.usvm.api.decoder.DecoderFor;
99
import org.usvm.api.decoder.ObjectData;

‎approximations/src/main/java/decoders/java/lang/Double_Decoder.java

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package decoders.java.lang;
22

3-
import org.jacodb.api.JcClassOrInterface;
4-
import org.jacodb.api.JcField;
5-
import org.jacodb.api.JcMethod;
6-
import org.jacodb.api.JcParameter;
3+
import org.jacodb.api.jvm.JcClassOrInterface;
4+
import org.jacodb.api.jvm.JcField;
5+
import org.jacodb.api.jvm.JcMethod;
6+
import org.jacodb.api.jvm.JcParameter;
77
import org.usvm.api.decoder.DecoderApi;
88
import org.usvm.api.decoder.DecoderFor;
99
import org.usvm.api.decoder.ObjectData;

‎approximations/src/main/java/decoders/java/lang/Float_Decoder.java

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package decoders.java.lang;
22

3-
import org.jacodb.api.JcClassOrInterface;
4-
import org.jacodb.api.JcField;
5-
import org.jacodb.api.JcMethod;
6-
import org.jacodb.api.JcParameter;
3+
import org.jacodb.api.jvm.JcClassOrInterface;
4+
import org.jacodb.api.jvm.JcField;
5+
import org.jacodb.api.jvm.JcMethod;
6+
import org.jacodb.api.jvm.JcParameter;
77
import org.usvm.api.decoder.DecoderApi;
88
import org.usvm.api.decoder.DecoderFor;
99
import org.usvm.api.decoder.ObjectData;

‎approximations/src/main/java/decoders/java/lang/Integer_Decoder.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
package decoders.java.lang;
22

3-
import org.jacodb.api.*;
3+
import org.jacodb.api.jvm.*;
44
import org.usvm.api.decoder.DecoderApi;
55
import org.usvm.api.decoder.DecoderFor;
66
import org.usvm.api.decoder.ObjectData;

‎approximations/src/main/java/decoders/java/lang/Object_Decoder.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
package decoders.java.lang;
22

3-
import org.jacodb.api.JcClassOrInterface;
4-
import org.jacodb.api.JcMethod;
3+
import org.jacodb.api.jvm.JcClassOrInterface;
4+
import org.jacodb.api.jvm.JcMethod;
55
import org.usvm.api.decoder.DecoderApi;
66
import org.usvm.api.decoder.DecoderFor;
77
import org.usvm.api.decoder.ObjectData;

‎approximations/src/main/java/decoders/java/lang/SecurityManager_Decoder.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
package decoders.java.lang;
22

3-
import org.jacodb.api.JcClassOrInterface;
4-
import org.jacodb.api.JcMethod;
3+
import org.jacodb.api.jvm.JcClassOrInterface;
4+
import org.jacodb.api.jvm.JcMethod;
55
import org.usvm.api.decoder.DecoderApi;
66
import org.usvm.api.decoder.DecoderFor;
77
import org.usvm.api.decoder.ObjectData;

‎approximations/src/main/java/decoders/java/lang/StringBuffer_Decoder.java

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package decoders.java.lang;
22

3-
import org.jacodb.api.JcClassOrInterface;
4-
import org.jacodb.api.JcField;
5-
import org.jacodb.api.JcMethod;
6-
import org.jacodb.api.JcParameter;
3+
import org.jacodb.api.jvm.JcClassOrInterface;
4+
import org.jacodb.api.jvm.JcField;
5+
import org.jacodb.api.jvm.JcMethod;
6+
import org.jacodb.api.jvm.JcParameter;
77
import org.usvm.api.decoder.DecoderApi;
88
import org.usvm.api.decoder.DecoderFor;
99
import org.usvm.api.decoder.ObjectData;

‎approximations/src/main/java/decoders/java/lang/StringBuilder_Decoder.java

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package decoders.java.lang;
22

3-
import org.jacodb.api.JcClassOrInterface;
4-
import org.jacodb.api.JcField;
5-
import org.jacodb.api.JcMethod;
6-
import org.jacodb.api.JcParameter;
3+
import org.jacodb.api.jvm.JcClassOrInterface;
4+
import org.jacodb.api.jvm.JcField;
5+
import org.jacodb.api.jvm.JcMethod;
6+
import org.jacodb.api.jvm.JcParameter;
77
import org.usvm.api.decoder.DecoderApi;
88
import org.usvm.api.decoder.DecoderFor;
99
import org.usvm.api.decoder.ObjectData;

0 commit comments

Comments
 (0)