Rename ObjectModel to ObjectCloneModel

jjppp · jjppp · commit 9381c902de62 · 2025-12-07T13:22:27.000+08:00
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
`@@ -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`