MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

dfa: use human numeration, not programmers' one

Browse Source
This commit is contained in:
peter
2013-09-11 14:00:09 +02:00
parent 0c2794b1c9
commit c608b039e5
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DataFlowInspectionBase.java
+1 -1
View File
@@ -133,7 +133,7 @@ public class DataFlowInspectionBase extends BaseJavaBatchLocalInspectionTool {
for (int i = 0; i < contracts.size(); i++) {
MethodContract contract = contracts.get(i);
if (contract.arguments.length != paramCount) {
return "Method takes " + paramCount + " parameters, while contract clause " + i + " expects " + contract.arguments.length;
return "Method takes " + paramCount + " parameters, while contract clause number " + (i + 1) + " expects " + contract.arguments.length;
}
}
return null;
java/java-tests/testData/inspection/dataFlow/fixture/ContractAnnotation.java
+1 -1
View File
@@ -36,6 +36,6 @@ public class AssertIsNotNull {
@Contract(<warning descr="A contract clause must be in form arg1, ..., argN -> return-value">"a"</warning>)
void malformedContract() {}
@Contract(<warning descr="Method takes 2 parameters, while contract clause 0 expects 1">"null -> _"</warning>)
@Contract(<warning descr="Method takes 2 parameters, while contract clause number 1 expects 1">"null -> _"</warning>)
void wrongParameterCount(Object a, boolean b) {}
}