Code Editor : TypeCheckInterface.php