num = $num; } public function getSubNodeNames() : array { return ['num']; } function getType() : string { return 'Stmt_Break'; } }