external-annotations/org/testng/annotations.xml (32 lines of code) (raw):
<root>
<item name='org.testng.Assert void assertFalse(boolean)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val val=""true -> fail""/>
</annotation>
</item>
<item name='org.testng.Assert void assertFalse(boolean, java.lang.String)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val val=""true, _ -> false""/>
</annotation>
</item>
<item name='org.testng.Assert void assertTrue(boolean)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val val=""false -> fail""/>
</annotation>
</item>
<item name='org.testng.Assert void assertTrue(boolean, java.lang.String)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val val=""false, _ -> fail""/>
</annotation>
</item>
<item name='org.testng.Assert void fail(java.lang.String)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val val=""_->fail""/>
</annotation>
</item>
<item name='org.testng.Assert void fail(java.lang.String, java.lang.Throwable)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val val=""_, _ ->fail""/>
</annotation>
</item>
</root>