public override void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
if (Process(debuggerBreakStatement))
{
visitor.Visit(debuggerBreakStatement);
}
base.Visit(debuggerBreakStatement);
}
public virtual void onASTElement(IDebuggerBreakStatement debuggerBreakStatement) { }
/// <summary>
///
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public DebuggerBreakStatement(IDebuggerBreakStatement debuggerBreakStatement)
: base(debuggerBreakStatement) {
}
public void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
throw new NotImplementedException();
}
/// <summary>
/// Performs some computation with the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public virtual void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
this.Visit((IStatement)debuggerBreakStatement);
}
/// <summary>
/// Traverses the children of the debugger break statement.
/// </summary>
public virtual void TraverseChildren(IDebuggerBreakStatement debuggerBreakStatement)
{
Contract.Requires(debuggerBreakStatement != null);
this.TraverseChildren((IStatement)debuggerBreakStatement);
}
/// <summary>
/// Performs some computation with the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public virtual void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
}
public override void TraverseChildren(IDebuggerBreakStatement debuggerBreakStatement)
{ MethodEnter(debuggerBreakStatement);
base.TraverseChildren(debuggerBreakStatement);
MethodExit(); }
/// <summary>
/// Returns a deep copy of the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public DebuggerBreakStatement Copy(IDebuggerBreakStatement debuggerBreakStatement) {
Contract.Requires(debuggerBreakStatement != null);
Contract.Ensures(Contract.Result<DebuggerBreakStatement>() != null);
var mutableCopy = this.shallowCopier.Copy(debuggerBreakStatement);
return mutableCopy;
}
/// <summary>
/// Rewrites the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public virtual IStatement Rewrite(IDebuggerBreakStatement debuggerBreakStatement)
{
return debuggerBreakStatement;
}
public override void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
allElements.Add(new InvokInfo(Traverser, "IDebuggerBreakStatement", debuggerBreakStatement));
}
/// <summary>
/// Generates IL for the specified debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement">The debugger break statement.</param>
public override void TraverseChildren(IDebuggerBreakStatement debuggerBreakStatement)
{
this.EmitSequencePoint(debuggerBreakStatement.Locations);
this.generator.Emit(OperationCode.Break);
}
public override void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
if(Process(debuggerBreakStatement)){visitor.Visit(debuggerBreakStatement);}
base.Visit(debuggerBreakStatement);
}
public void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
this.result = this.rewriter.Rewrite(debuggerBreakStatement);
}
/// <summary>
/// Rewrites the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public virtual IStatement Rewrite(IDebuggerBreakStatement debuggerBreakStatement)
{
var mutableDebuggerBreakStatement = debuggerBreakStatement as DebuggerBreakStatement;
if (mutableDebuggerBreakStatement == null) return debuggerBreakStatement;
this.RewriteChildren(mutableDebuggerBreakStatement);
return mutableDebuggerBreakStatement;
}
/// <summary>
/// Visits the specified debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement">The debugger break statement.</param>
public override void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
DebuggerBreakStatement mutableDebuggerBreakStatement = debuggerBreakStatement as DebuggerBreakStatement;
if (alwaysMakeACopy || mutableDebuggerBreakStatement == null) mutableDebuggerBreakStatement = new DebuggerBreakStatement(debuggerBreakStatement);
this.resultStatement = this.myCodeMutator.Visit(mutableDebuggerBreakStatement);
}
public virtual void onASTElement(IDebuggerBreakStatement debuggerBreakStatement)
{
}
/// <summary>
/// Returns a shallow copy of the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public DebuggerBreakStatement Copy(IDebuggerBreakStatement debuggerBreakStatement) {
Contract.Requires(debuggerBreakStatement != null);
Contract.Ensures(Contract.Result<DebuggerBreakStatement>() != null);
return new DebuggerBreakStatement(debuggerBreakStatement);
}
//^ ensures this.path.Count == old(this.path.Count);
/// <summary>
/// Traverses the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public virtual void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
if (this.stopTraversal) return;
//^ int oldCount = this.path.Count;
this.path.Push(debuggerBreakStatement);
//^ assume this.path.Count == oldCount+1; //True because all of the virtual methods of this class promise not to decrease this.path.Count.
this.path.Pop();
}
/// <summary>
/// Performs some computation with the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public virtual void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
}
/// <summary>
/// Traverses the debugger break statement.
/// </summary>
public void Traverse(IDebuggerBreakStatement debuggerBreakStatement)
{
Contract.Requires(debuggerBreakStatement != null);
if (this.preorderVisitor != null) this.preorderVisitor.Visit(debuggerBreakStatement);
if (this.StopTraversal) return;
this.TraverseChildren(debuggerBreakStatement);
if (this.StopTraversal) return;
if (this.postorderVisitor != null) this.postorderVisitor.Visit(debuggerBreakStatement);
}
public override void TraverseChildren(IDebuggerBreakStatement debuggerBreakStatement) {
this.PrintToken(CSharpToken.Indent);
sourceEmitterOutput.WriteLine("Debugger.Break();");
}
public void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
this.traverser.Traverse(debuggerBreakStatement);
}
/// <summary>
/// Visits the specified debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement">The debugger break statement.</param>
public override void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
DebuggerBreakStatement mutableDebuggerBreakStatement = new DebuggerBreakStatement(debuggerBreakStatement);
this.resultStatement = this.myCodeCopier.DeepCopy(mutableDebuggerBreakStatement);
}
public void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
Contract.Requires(debuggerBreakStatement != null);
throw new NotImplementedException();
}
/// <summary>
/// Returns a deep copy of the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public DebuggerBreakStatement Copy(IDebuggerBreakStatement debuggerBreakStatement)
{
var mutableCopy = this.shallowCopier.Copy(debuggerBreakStatement);
return mutableCopy;
}
public override void TraverseChildren(IDebuggerBreakStatement debuggerBreakStatement)
{
this.PrintToken(VBToken.Indent);
sourceEmitterOutput.WriteLine("Debugger.Break();");
}
/// <summary>
/// Returns a shallow copy of the given debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement"></param>
public DebuggerBreakStatement Copy(IDebuggerBreakStatement debuggerBreakStatement)
{
return new DebuggerBreakStatement(debuggerBreakStatement);
}
public virtual void VisitDebuggerBreakStatement(IDebuggerBreakStatement s)
{
}
public void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
this.result = this.copier.Copy(debuggerBreakStatement);
}
public override void TraverseChildren(IDebuggerBreakStatement debuggerBreakStatement)
{
MethodEnter(debuggerBreakStatement);
base.TraverseChildren(debuggerBreakStatement);
MethodExit();
}
/// <summary>
/// Visits the specified debugger break statement.
/// </summary>
/// <param name="debuggerBreakStatement">The debugger break statement.</param>
public override void Visit(IDebuggerBreakStatement debuggerBreakStatement)
{
DebuggerBreakStatement mutableDebuggerBreakStatement = debuggerBreakStatement as DebuggerBreakStatement;
if (mutableDebuggerBreakStatement == null) {
this.resultStatement = debuggerBreakStatement;
return;
}
this.resultStatement = this.myCodeMutator.Visit(mutableDebuggerBreakStatement);
}
