danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 20:34:47 +01:00
Code Issues Projects Releases Wiki Activity

Add tests

Browse Source
This commit is contained in:
bugreportuser 2019-03-28 18:01:26 -06:00 committed by Matthew Brown
parent 4550d362eb
commit 07439f8f1c
2 changed files with 134 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
tests/ThrowsAnnotationTest.php
View File

@ -125,6 +125,29 @@ class ThrowsAnnotationTest extends TestCase
$this->analyzeFile('somefile.php', $context);
}
/**
* @return void
*/
public function testNoThrowWhenSuppressingInline()
{
Config::getInstance()->check_for_throws_docblock = true;
$this->addFile(
'somefile.php',
'<?php
function foo() : void {
if (rand(0, 1)) {
/** @psalm-suppress MissingThrowsDocblock */
throw new \UnexpectedValueException();
}
}'
);
$context = new Context();
$this->analyzeFile('somefile.php', $context);
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage MissingThrowsDocblock

111
tests/ThrowsInGlobalScopeTest.php
View File

@ -188,4 +188,115 @@ class ThrowsInGlobalScopeTest extends TestCase
$this->analyzeFile('somefile.php', $context);
}
/**
* @return void
*/
public function testUncaughtThrowWhenSuppressing()
{
Config::getInstance()->check_for_throws_in_global_scope = true;
$this->addFile(
'somefile.php',
'<?php
/** @psalm-suppress UncaughtThrowInGlobalScope */
throw new \Exception();'
);
$context = new Context();
$this->analyzeFile('somefile.php', $context);
}
/**
* @return void
*/
public function testUncaughtThrowInNamespaceWhenSuppressing()
{
Config::getInstance()->check_for_throws_in_global_scope = true;
$this->addFile(
'somefile.php',
'<?php
namespace ns;
/** @psalm-suppress UncaughtThrowInGlobalScope */
throw new \Exception();'
);
$context = new Context();
$this->analyzeFile('somefile.php', $context);
}
/**
* @return void
*/
public function testUncaughtDocumentedThrowCallWhenSuppressing()
{
Config::getInstance()->check_for_throws_in_global_scope = true;
$this->addFile(
'somefile.php',
'<?php
namespace ns;
/**
* @throws RangeException
* @throws InvalidArgumentException
*/
function foo(int $x, int $y) : int {
if ($y === 0) {
throw new \RangeException("Cannot divide by zero");
}
if ($y < 0) {
throw new \InvalidArgumentException("This is also bad");
}
return intdiv($x, $y);
}
/** @psalm-suppress UncaughtThrowInGlobalScope */
foo(0, 0);'
);
$context = new Context();
$this->analyzeFile('somefile.php', $context);
}
/**
* @return void
*/
public function testUncaughtDocumentedThrowCallInNamespaceWhenSuppressing()
{
Config::getInstance()->check_for_throws_in_global_scope = true;
$this->addFile(
'somefile.php',
'<?php
namespace ns;
/**
* @throws RangeException
* @throws InvalidArgumentException
*/
function foo(int $x, int $y) : int {
if ($y === 0) {
throw new \RangeException("Cannot divide by zero");
}
if ($y < 0) {
throw new \InvalidArgumentException("This is also bad");
}
return intdiv($x, $y);
}
/** @psalm-suppress UncaughtThrowInGlobalScope */
foo(0, 0);'
);
$context = new Context();
$this->analyzeFile('somefile.php', $context);
}
}