Skip to content

Commit 1e54422

Browse files
committed
Java: Add neutral implementations.
1 parent 619913b commit 1e54422

File tree

1 file changed

+25
-0
lines changed

1 file changed

+25
-0
lines changed

java/ql/test/utils/modelgenerator/dataflow/p/Inheritance.java

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -88,4 +88,29 @@ public String id(String s) {
8888
return s;
8989
}
9090
}
91+
92+
public interface INeutral {
93+
String id(String s);
94+
}
95+
96+
public class F implements INeutral {
97+
// SPURIOUS-neutral=p;Inheritance$INeutral;id;(String);summary;df-generated
98+
public String id(String s) {
99+
return "";
100+
}
101+
}
102+
103+
public class G implements INeutral {
104+
// SPURIOUS-neutral=p;Inheritance$INeutral;id;(String);summary;df-generated
105+
public String id(String s) {
106+
return "";
107+
}
108+
}
109+
110+
private class H implements INeutral {
111+
// SPURIOUS-neutral=p;Inheritance$INeutral;id;(String);summary;df-generated
112+
public String id(String s) {
113+
return "";
114+
}
115+
}
91116
}

0 commit comments

Comments
 (0)