Chris@13: stmts = $stmts; Chris@0: } Chris@0: Chris@13: public function getSubNodeNames() : array { Chris@13: return ['stmts']; Chris@13: } Chris@13: Chris@13: public function getType() : string { Chris@13: return 'Stmt_Finally'; Chris@0: } Chris@0: }