Variable Catch.type

class Catch
{
  // ...
  Type type ;
  // ...
}