<?php/* * This file is part of the GlobalState package. * * (c) Sebastian Bergmann <sebastian@phpunit.de> * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. */namespaceSebastianBergmann\GlobalState;/** */interfaceException{}