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

[java-dfa] Find the cause: cosmetic changes in messages

Browse Source 
GitOrigin-RevId: 01b45074f9c8adc03bc788958ecba2fde134e55d
This commit is contained in:
Tagir Valeev
2021-06-23 11:42:20 +07:00
committed by intellij-monorepo-bot
parent 5e791d98ca
commit 8e242ccfca
14 changed files with 19 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -535,14 +535,13 @@ dfa.find.cause.nonnull.expression.kind.concatenation=concatenation
dfa.find.cause.nonnull.expression.kind.this.object='this' object
# Here {0} is replaced with dfa.find.cause.contract.kind.*
dfa.find.cause.contract.trivial=according to {0}, method ''{1}'' always returns ''{2}'' value
# Here {0} is replaced with dfa.find.cause.contract.kind.*
dfa.find.cause.contract.throws.on.condition=according to {0}, method ''{1}'' throws exception when {2}
dfa.find.cause.contract.returns.on.condition=according to {0}, method ''{1}'' returns {2} when {3}
# Substituted as {2} into dfa.find.cause.contract.returns.on.condition
dfa.find.cause.contract.returns.x.value=''{0}'' value
# Here {0} is replaced with dfa.find.cause.contract.kind.*
dfa.find.cause.contract.returns.on.condition=according to {0}, method ''{1}'' returns ''{2}'' when {3}
dfa.find.cause.contract.kind.explicit=contract
dfa.find.cause.contract.kind.inferred=inferred contract
dfa.find.cause.contract.kind.hard.coded=hard-coded contract
dfa.find.cause.condition.joiner=\ and
type.constraint.assignability.explanation.exact={0} is already known to be {1}
type.constraint.assignability.explanation.exact.subtype={0} type is exactly {1} which is a subtype of {2}