We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 619913b commit 1e54422Copy full SHA for 1e54422
1 file changed
java/ql/test/utils/modelgenerator/dataflow/p/Inheritance.java
@@ -88,4 +88,29 @@ public String id(String s) {
88
return s;
89
}
90
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
105
106
107
108
109
110
+ private class H implements INeutral {
111
112
113
114
115
116
0 commit comments