Proof of Concept for exception flow with finally's

lib/PHPCfg/Func.php

@@ -22,6 +22,10 @@ class Func {
     public $params;
     /** @var Block|null */
     public $cfg;
+    /** @var  Block */
+    public $stopNormal;
+    /** @var  Block */
+    public $stopException;
 
     public function __construct($name, $returnsRef, $returnType, $class) {
         $this->name = $name;
@@ -30,6 +34,8 @@ public function __construct($name, $returnsRef, $returnType, $class) {
         $this->class = $class;
         $this->params = [];
         $this->cfg = new Block;
+        $this->stopNormal = new Block;
+        $this->stopException = new Block;
     }
 
     public function getScopedName() {

lib/PHPCfg/Op/Exception/Current.php

@@ -0,0 +1,18 @@
+<?php
+
+namespace PHPCfg\Op\Exception;
+
+use PHPCfg\Op\Expr;
+use PHPCfg\Operand;
+
+class Current extends Expr {
+	public $var;
+
+	public function __construct(array $attributes = []) {
+		parent::__construct($attributes);
+	}
+
+	public function getVariableNames() {
+		return ['result'];
+	}
+}

lib/PHPCfg/Op/Exception/Recover.php

@@ -0,0 +1,16 @@
+<?php
+
+namespace PHPCfg\Op\Exception;
+
+use PHPCfg\Op\Terminal;
+use PHPCfg\Operand;
+
+class Recover extends Terminal {
+	public function __construct(array $attributes = []) {
+		parent::__construct($attributes);
+	}
+
+	public function getVariableNames() {
+		return [];
+	}
+}

lib/PHPCfg/Op/Terminal/Throw_.php → lib/PHPCfg/Op/Exception/Throw_.php

@@ -7,7 +7,7 @@
  * @license MIT See LICENSE at the root of the project for more info
  */
 
-namespace PHPCfg\Op\Terminal;
+namespace PHPCfg\Op\Exception;
 
 use PHPCfg\Op\Terminal;
 use PHPCfg\Operand;
@@ -23,9 +23,4 @@ public function __construct(Operand $expr, array $attributes = []) {
     public function getVariableNames() {
         return ['expr'];
     }
-
-    public function getSubBlocks() {
-        return [];
-    }
-
 }