public typeswitch_section(type typelabel, InputElement id, IList stmts)
{
this.labels = switch_labelList.New(new typeswitch_label(typelabel));
this.id = id;
this.stmts = (statementList)stmts;
}
public typeswitch_section(IList stmts)
{
this.labels = switch_labelList.New(new switch_default());
this.id = null;
this.stmts = (statementList)stmts;
}
public typeswitch_section(IList labels, IList stmts)
{
this.labels = (switch_labelList)labels;
this.id = null;
this.stmts = (statementList)stmts;
}
