File tree Expand file tree Collapse file tree 2 files changed +6
-2
lines changed
src/utils/modelgenerator/internal
test/utils/modelgenerator/dataflow/p Expand file tree Collapse file tree 2 files changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -73,8 +73,9 @@ string captureFlow(DataFlowTargetApi api) {
73
73
}
74
74
75
75
/**
76
- * Gets the neutral summary for `api`, if any.
77
- * A neutral model is generated, if there does not exist any summary model.
76
+ * Gets the neutral summary model for `api`, if any.
77
+ * A neutral summary model is generated, if we are not generating
78
+ * a summary model that applies to `api`.
78
79
*/
79
80
string captureNoFlow ( DataFlowTargetApi api ) {
80
81
not exists ( DataFlowTargetApi api0 | exists ( captureFlow ( api0 ) ) and api0 .lift ( ) = api .lift ( ) ) and
Original file line number Diff line number Diff line change 2
2
3
3
class MultipleImpl2 {
4
4
5
+ // Multiple implementations of the same interface.
6
+ // This is used to test that we only generate a summary model and
7
+ // not neutral summary model for `IInterface.m`.
5
8
public interface IInterface {
6
9
Object m (Object value );
7
10
}
You can’t perform that action at this time.
0 commit comments