/// <summary>
///
/// </summary>
/// <param name="switchInstruction">Cloned</param>
/// <returns></returns>
public override Statement VisitSwitchInstruction(SwitchInstruction switchInstruction)
{
switchInstruction = (SwitchInstruction)switchInstruction.Clone();
switchInstruction.Expression = simplify(switchInstruction.Expression);
this.switchInstructions.Add(switchInstruction);
return switchInstruction;
}
public override Statement VisitSwitchInstruction(SwitchInstruction switchInstruction)
{
if (switchInstruction == null) return null;
switchInstruction = (SwitchInstruction)base.VisitSwitchInstruction((SwitchInstruction)switchInstruction.Clone());
if (switchInstruction == null) return null;
switchInstruction.Targets = this.VisitBlockList(switchInstruction.Targets);
return switchInstruction;
}
public override Statement VisitSwitchInstruction(SwitchInstruction switchInstruction) {
if (switchInstruction == null) return null;
return ((SwitchInstruction)switchInstruction.Clone());
}
