MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 23:39:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

ContractInspection: separate messages for null/!null conditions (IDEA-CR-60804)

Browse Source 
GitOrigin-RevId: f1e29bcf5503bdb4dc5fbdd5c243a4211fdb9576
This commit is contained in:
Tagir Valeev
2020-03-31 11:19:16 +07:00
committed by intellij-monorepo-bot
parent 2f69765fd0
commit 45135ba90c
4 changed files with 60 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/java-analysis-api/resources/messages/JavaAnalysisBundle.properties
View File

@@ -400,8 +400,10 @@ inspection.contract.checker.contract.clause.never.satisfied=Contract clause ''{0
inspection.contract.checker.pure.method.mutation.contract=Pure method cannot have mutation contract
inspection.contract.checker.parameter.count.mismatch=Method takes {0} parameters, while contract clause ''{1}'' expects {2}
inspection.contract.checker.primitive.parameter.nullability=Parameter ''{0}'' has primitive type ''{1}'', so ''{2}'' is not applicable
inspection.contract.checker.inferred.notnull.parameter.nullability=Parameter ''{0}'' is inferred to be not-null, so ''{1}'' is not applicable
inspection.contract.checker.notnull.parameter.nullability=Parameter ''{0}'' is annotated as not-null, so ''{1}'' is not applicable
inspection.contract.checker.inferred.notnull.parameter.null=Parameter ''{0}'' is inferred to be not-null, so ''null'' is not applicable
inspection.contract.checker.notnull.parameter.null=Parameter ''{0}'' is annotated as not-null, so ''null'' is not applicable
inspection.contract.checker.inferred.notnull.parameter.notnull=Parameter ''{0}'' is inferred to be not-null, so ''!null'' is always satisfied
inspection.contract.checker.notnull.parameter.notnull=Parameter ''{0}'' is annotated as not-null, so ''!null'' is always satisfied
inspection.contract.checker.boolean.condition.for.nonboolean.parameter=Parameter ''{0}'' has ''{1}'' type (expected boolean)
inspection.contract.checker.contract.violated=Contract clause ''{0}'' is violated
inspection.contract.checker.no.exception.thrown=Contract clause ''{0}'' is violated: no exception is thrown