2011-05-27 18:20:44 +02:00
|
|
|
<?php
|
|
|
|
|
2011-05-30 17:29:10 +02:00
|
|
|
/**
|
|
|
|
* @property Node_Name $type Class of exception
|
|
|
|
* @property string $var Variable for exception
|
|
|
|
* @property array $stmts Statements
|
|
|
|
*/
|
2011-05-27 18:20:44 +02:00
|
|
|
class Node_Stmt_Catch extends Node_Stmt
|
|
|
|
{
|
|
|
|
}
|