Java: Add modelgenerator clone example.

michaelnebel · michaelnebel · commit 7919dcfb12d1 · 2024-10-21T15:19:42.000+02:00
diff --git a/java/ql/test/utils/modelgenerator/dataflow/p/MultiPaths.java b/java/ql/test/utils/modelgenerator/dataflow/p/MultiPaths.java
@@ -10,4 +10,11 @@ public String cond(String x, String other) {
     }
     return x;
   }
+
+  // summary=p;MultiPaths;true;clone;();;Argument[this];ReturnValue;value;df-generated
+  // contentbased-summary=p;MultiPaths;true;clone;();;Argument[this];ReturnValue;value;dfc-generated
+  @Override
+  public Object clone() {
+    return this;
+  }
 }

Original file line number	Diff line number	Diff line change
`@@ -10,4 +10,11 @@ public String cond(String x, String other) {`
`10`	`10`	`}`
`11`	`11`	`return x;`
`12`	`12`	`}`
	`13`	`+`
	`14`	`+ // summary=p;MultiPaths;true;clone;();;Argument[this];ReturnValue;value;df-generated`
	`15`	`+ // contentbased-summary=p;MultiPaths;true;clone;();;Argument[this];ReturnValue;value;dfc-generated`
	`16`	`+ @Override`
	`17`	`+ public Object clone() {`
	`18`	`+ return this;`
	`19`	`+ }`
`13`	`20`	`}`