/// <nodoc />
public SwitchStatement(DeserializationContext context, LineInfo location)
: base(location)
{
Control = ReadExpression(context);
CaseClauses = ReadArrayOf <CaseClause>(context);
DefaultClause = Read <DefaultClause>(context);
}
/// <nodoc />
public SwitchStatement(
Expression control,
IReadOnlyList <CaseClause> caseClauses,
DefaultClause defaultClause,
LineInfo location)
: base(location)
{
Contract.Requires(control != null);
Contract.Requires(caseClauses != null);
Contract.RequiresForAll(caseClauses, c => c != null);
Control = control;
CaseClauses = caseClauses;
DefaultClause = defaultClause;
}
