spec\PHPSpec2\Matcher\ObjectStateMatcher::it_does_not_matches_if_has_state_checker_returns_false PHP Method

    function it_does_not_matches_if_has_state_checker_returns_false()
    {
        $subject = new \ReflectionClass($this);
        $this->shouldThrow('PHPSpec2\\Exception\\Example\\FailureException')->duringPositiveMatch('haveProperty', $subject, array('other'));
    }