Variable StatementNoCaseNoDefault.debugSpecification

class StatementNoCaseNoDefault
{
  // ...
  DebugSpecification debugSpecification ;
  // ...
}