projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36790d1) | patch
IDEA-136580 "Contract violation" warnings are reported for manual method contract phpstorm/140.2503
authorpeter <peter@jetbrains.com>
Mon, 16 Feb 2015 11:12:04 +0000 (12:12 +0100)
committerpeter <peter@jetbrains.com>
Mon, 16 Feb 2015 11:13:26 +0000 (12:13 +0100)
commit03ddd9dcea311b59cf51e27c67a9835c8ba4a83d
tree137579b314af6b546a9861ff372c5c1e54ebfdcftree
parent36790d115cea100c96b3fded3053713899f1f91dcommit | diff
IDEA-136580 "Contract violation" warnings are reported for manual method contract
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java diff | blob | history
java/java-tests/testData/inspection/dataFlow/contractCheck/DoubleParameter.java [new file with mode: 0644] blob
java/java-tests/testSrc/com/intellij/codeInspection/ContractCheckTest.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.