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; }