public override void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
if (Process(gotoSwitchCaseStatement))
{
visitor.Visit(gotoSwitchCaseStatement);
}
base.Visit(gotoSwitchCaseStatement);
}
/// <summary>
/// Visits the specified goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement">The goto switch case statement.</param>
public override void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
GotoSwitchCaseStatement mutableGotoSwitchCaseStatement = gotoSwitchCaseStatement as GotoSwitchCaseStatement;
if (alwaysMakeACopy || mutableGotoSwitchCaseStatement == null) mutableGotoSwitchCaseStatement = new GotoSwitchCaseStatement(gotoSwitchCaseStatement);
this.resultStatement = this.myCodeMutator.Visit(mutableGotoSwitchCaseStatement);
}
public virtual void onASTElement(IGotoSwitchCaseStatement gotoSwitchCaseStatement) { }
public override void TraverseChildren(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
base.TraverseChildren(gotoSwitchCaseStatement);
}
public void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
Contract.Requires(gotoSwitchCaseStatement != null);
throw new NotImplementedException();
}
public void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
this.traverser.Traverse(gotoSwitchCaseStatement);
}
/// <summary>
/// Traverses the goto switch case statement.
/// </summary>
public void Traverse(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
Contract.Requires(gotoSwitchCaseStatement != null);
if (this.preorderVisitor != null) this.preorderVisitor.Visit(gotoSwitchCaseStatement);
if (this.StopTraversal) return;
this.TraverseChildren(gotoSwitchCaseStatement);
if (this.StopTraversal) return;
if (this.postorderVisitor != null) this.postorderVisitor.Visit(gotoSwitchCaseStatement);
}
public override void TraverseChildren(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{ MethodEnter(gotoSwitchCaseStatement);
base.TraverseChildren(gotoSwitchCaseStatement);
MethodExit(); }
/// <summary>
/// Returns a deep copy of the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public GotoSwitchCaseStatement Copy(IGotoSwitchCaseStatement gotoSwitchCaseStatement) {
Contract.Requires(gotoSwitchCaseStatement != null);
Contract.Ensures(Contract.Result<GotoSwitchCaseStatement>() != null);
var mutableCopy = this.shallowCopier.Copy(gotoSwitchCaseStatement);
return mutableCopy;
}
/// <summary>
/// Rewrites the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public virtual IStatement Rewrite(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
return gotoSwitchCaseStatement;
}
public override void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
allElements.Add(new InvokInfo(Traverser, "IGotoSwitchCaseStatement", gotoSwitchCaseStatement));
}
/// <summary>
/// Generates IL for the specified goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement">The goto switch case statement.</param>
public override void TraverseChildren(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
this.EmitSequencePoint(gotoSwitchCaseStatement.Locations);
base.TraverseChildren(gotoSwitchCaseStatement);
this.lastStatementWasUnconditionalTransfer = false;
}
public override void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
if(Process(gotoSwitchCaseStatement)){visitor.Visit(gotoSwitchCaseStatement);}
base.Visit(gotoSwitchCaseStatement);
}
public void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
this.result = this.rewriter.Rewrite(gotoSwitchCaseStatement);
}
/// <summary>
/// Rewrites the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public virtual IStatement Rewrite(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
var mutableGotoSwitchCaseStatement = gotoSwitchCaseStatement as GotoSwitchCaseStatement;
if (mutableGotoSwitchCaseStatement == null) return gotoSwitchCaseStatement;
this.RewriteChildren(mutableGotoSwitchCaseStatement);
return mutableGotoSwitchCaseStatement;
}
public void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
this.result = this.copier.Copy(gotoSwitchCaseStatement);
}
public virtual void onASTElement(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
}
/// <summary>
/// Returns a shallow copy of the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public GotoSwitchCaseStatement Copy(IGotoSwitchCaseStatement gotoSwitchCaseStatement) {
Contract.Requires(gotoSwitchCaseStatement != null);
Contract.Ensures(Contract.Result<GotoSwitchCaseStatement>() != null);
return new GotoSwitchCaseStatement(gotoSwitchCaseStatement);
}
/// <summary>
/// Performs some computation with the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public virtual void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
}
/// <summary>
/// Performs some computation with the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public virtual void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
}
/// <summary>
/// Traverses the children of the goto switch case statement.
/// </summary>
public virtual void TraverseChildren(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
Contract.Requires(gotoSwitchCaseStatement != null);
this.TraverseChildren((IStatement)gotoSwitchCaseStatement);
}
public override void TraverseChildren(IGotoSwitchCaseStatement gotoSwitchCaseStatement) {
base.TraverseChildren(gotoSwitchCaseStatement);
}
/// <summary>
/// Performs some computation with the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public virtual void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
this.Visit((IStatement)gotoSwitchCaseStatement);
}
/// <summary>
/// Visits the specified goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement">The goto switch case statement.</param>
public override void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
GotoSwitchCaseStatement mutableGotoSwitchCaseStatement = new GotoSwitchCaseStatement(gotoSwitchCaseStatement);
this.resultStatement = this.myCodeCopier.DeepCopy(mutableGotoSwitchCaseStatement);
}
public void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
throw new NotImplementedException();
}
/// <summary>
/// Returns a deep copy of the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public GotoSwitchCaseStatement Copy(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
var mutableCopy = this.shallowCopier.Copy(gotoSwitchCaseStatement);
return mutableCopy;
}
/// <summary>
///
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public GotoSwitchCaseStatement(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
: base(gotoSwitchCaseStatement) {
this.targetCase = gotoSwitchCaseStatement.TargetCase;
}
/// <summary>
/// Returns a shallow copy of the given goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement"></param>
public GotoSwitchCaseStatement Copy(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
return new GotoSwitchCaseStatement(gotoSwitchCaseStatement);
}
public override void TraverseChildren(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
MethodEnter(gotoSwitchCaseStatement);
base.TraverseChildren(gotoSwitchCaseStatement);
MethodExit();
}
/// <summary>
/// Visits the specified goto switch case statement.
/// </summary>
/// <param name="gotoSwitchCaseStatement">The goto switch case statement.</param>
public override void Visit(IGotoSwitchCaseStatement gotoSwitchCaseStatement)
{
GotoSwitchCaseStatement mutableGotoSwitchCaseStatement = gotoSwitchCaseStatement as GotoSwitchCaseStatement;
if (mutableGotoSwitchCaseStatement == null) {
this.resultStatement = gotoSwitchCaseStatement;
return;
}
this.resultStatement = this.myCodeMutator.Visit(mutableGotoSwitchCaseStatement);
}
