Rename ObjectModel to ObjectCloneModel

jjppp · jjppp · commit 2e3c5414365a · 2025-12-09T12:40:16.000+08:00
diff --git a/src/main/java/pascal/taie/analysis/pta/plugin/natives/NativeModeller.java b/src/main/java/pascal/taie/analysis/pta/plugin/natives/NativeModeller.java
@@ -37,6 +37,6 @@ public void setSolver(Solver solver) {
                 new ArrayModel.IRModel(solver),
                 new UnsafeModel(solver),
                 new DoPriviledgedModel(solver),
-                new ObjectModel(solver));
+                new ObjectCloneModel(solver));
     }
 }
diff --git a/src/main/java/pascal/taie/analysis/pta/plugin/natives/ObjectCloneModel.java b/src/main/java/pascal/taie/analysis/pta/plugin/natives/ObjectCloneModel.java
@@ -33,8 +33,8 @@
 
 import java.util.List;
 
-public class ObjectModel extends IRModelPlugin {
-    ObjectModel(Solver solver) {
+public class ObjectCloneModel extends IRModelPlugin {
+    ObjectCloneModel(Solver solver) {
         super(solver);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,6 @@ public void setSolver(Solver solver) {`
`37`	`37`	`new ArrayModel.IRModel(solver),`
`38`	`38`	`new UnsafeModel(solver),`
`39`	`39`	`new DoPriviledgedModel(solver),`
`40`		`- new ObjectModel(solver));`
	`40`	`+ new ObjectCloneModel(solver));`
`41`	`41`	`}`
`42`	`42`	`}`
Original file line number	Diff line number	Diff line change
`@@ -33,8 +33,8 @@`
`33`	`33`
`34`	`34`	`import java.util.List;`
`35`	`35`
`36`		`-public class ObjectModel extends IRModelPlugin {`
`37`		`- ObjectModel(Solver solver) {`
	`36`	`+public class ObjectCloneModel extends IRModelPlugin {`
	`37`	`+ ObjectCloneModel(Solver solver) {`
`38`	`38`	`super(solver);`
`39`	`39`	`}`
`40`	`40`