public override void VisitContinueStatement(IContinueStatement continueStatement)
{
Value = new Statement()
{
ContinueStatement = new ContinueStatementFactory(continueStatement).Value
};
}
public override void Visit(IContinueStatement continueStatement)
{
if (Process(continueStatement))
{
visitor.Visit(continueStatement);
}
base.Visit(continueStatement);
}
/// <summary>
/// Rewrites the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public virtual IStatement Rewrite(IContinueStatement continueStatement)
{
var mutableContinueStatement = continueStatement as ContinueStatement;
if (mutableContinueStatement == null) return continueStatement;
this.RewriteChildren(mutableContinueStatement);
return mutableContinueStatement;
}
public void Visit(IContinueStatement continueStatement)
{
this.traverser.Traverse(continueStatement);
}
/// <summary>
/// Returns a shallow copy of the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public ContinueStatement Copy(IContinueStatement continueStatement)
{
return new ContinueStatement(continueStatement);
}
public int Visit(IContinueStatement stmt, int context)
{
return(1);
}
public virtual void onASTElement(IContinueStatement continueStatement) { }
/// <summary>
/// Visits the specified continue statement.
/// </summary>
/// <param name="continueStatement">The continue statement.</param>
public override void Visit(IContinueStatement continueStatement)
{
ContinueStatement mutableContinueStatement = new ContinueStatement(continueStatement);
this.resultStatement = this.myCodeCopier.DeepCopy(mutableContinueStatement);
}
public override void Visit(IContinueStatement continueStatement)
{
if(Process(continueStatement)){visitor.Visit(continueStatement);}
base.Visit(continueStatement);
}
public override void TraverseChildren(IContinueStatement continueStatement)
{
sourceEmitterOutput.WriteLine("continue;");
}
public override void TraverseChildren(IContinueStatement continueStatement) {
throw new TranslationException("Continue statements are not handled");
}
private void WriteContinueStatement(IContinueStatement statement, IFormatter formatter)
{
this.WriteStatementSeparator(formatter);
formatter.WriteKeyword("continue");
formatter.Write(";");
formatter.WriteLine();
}
public override void VisitContinueStatement(IContinueStatement value)
{
_formatter.WriteKeyword("continue");
}
public virtual void VisitContinueStatement(IContinueStatement value)
{
}
public void Visit(IContinueStatement continueStatement)
{
this.result = this.rewriter.Rewrite(continueStatement);
}
public void Visit(IContinueStatement continueStatement)
{
Contract.Requires(continueStatement != null);
throw new NotImplementedException();
}
public override void VisitContinueStatement(IContinueStatement continueStatement)
{
Steps.Add(new WriteContinueKeyword());
Steps.Add(new WriteSemicolon());
}
public void Visit(IContinueStatement continueStatement)
{
throw new NotImplementedException();
}
public void Visit(IContinueStatement stmt, SSTPrintingContext c)
{
c.Indentation().Keyword("continue").Text(";");
}
public virtual void VisitContinueStatement(IContinueStatement s)
{
}
/// <summary>
/// Generates IL for the specified continue statement.
/// </summary>
/// <param name="continueStatement">The continue statement.</param>
public override void TraverseChildren(IContinueStatement continueStatement)
{
this.EmitSequencePoint(continueStatement.Locations);
if (this.LabelIsOutsideCurrentExceptionBlock(this.currentContinueTarget))
this.generator.Emit(OperationCode.Leave, this.currentContinueTarget);
else
this.generator.Emit(OperationCode.Br, this.currentContinueTarget);
this.lastStatementWasUnconditionalTransfer = true;
}
/// <summary>
/// Visits the specified continue statement.
/// </summary>
/// <param name="continueStatement">The continue statement.</param>
public override void Visit(IContinueStatement continueStatement)
{
ContinueStatement mutableContinueStatement = continueStatement as ContinueStatement;
if (mutableContinueStatement == null) {
this.resultStatement = continueStatement;
return;
}
this.resultStatement = this.myCodeMutator.Visit(mutableContinueStatement);
}
public override void Visit(IContinueStatement continueStatement)
{
allElements.Add(new InvokInfo(Traverser, "IContinueStatement", continueStatement));
}
/// <summary>
/// Returns a deep copy of the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public ContinueStatement Copy(IContinueStatement continueStatement)
{
var mutableCopy = this.shallowCopier.Copy(continueStatement);
return mutableCopy;
}
public override void TraverseChildren(IContinueStatement continueStatement)
{ MethodEnter(continueStatement);
base.TraverseChildren(continueStatement);
MethodExit(); }
public void Visit(IContinueStatement continueStatement)
{
this.result = this.copier.Copy(continueStatement);
}
/// <summary>
/// Traverses the continue statement.
/// </summary>
public void Traverse(IContinueStatement continueStatement)
{
Contract.Requires(continueStatement != null);
if (this.preorderVisitor != null) this.preorderVisitor.Visit(continueStatement);
if (this.StopTraversal) return;
this.TraverseChildren(continueStatement);
if (this.StopTraversal) return;
if (this.postorderVisitor != null) this.postorderVisitor.Visit(continueStatement);
}
public virtual void onASTElement(IContinueStatement continueStatement)
{
}
/// <summary>
/// Visits the specified continue statement.
/// </summary>
/// <param name="continueStatement">The continue statement.</param>
public override void Visit(IContinueStatement continueStatement)
{
ContinueStatement mutableContinueStatement = continueStatement as ContinueStatement;
if (alwaysMakeACopy || mutableContinueStatement == null) mutableContinueStatement = new ContinueStatement(continueStatement);
this.resultStatement = this.myCodeMutator.Visit(mutableContinueStatement);
}
/// <summary>
/// Performs some computation with the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public virtual void Visit(IContinueStatement continueStatement)
{
}
/// <summary>
/// Rewrites the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public virtual IStatement Rewrite(IContinueStatement continueStatement)
{
return continueStatement;
}
/// <summary>
/// Traverses the children of the continue statement.
/// </summary>
public virtual void TraverseChildren(IContinueStatement continueStatement)
{
Contract.Requires(continueStatement != null);
this.TraverseChildren((IStatement)continueStatement);
}
public override void TraverseChildren(IContinueStatement continueStatement)
{
throw new TranslationException("Continue statements are not handled");
}
/// <summary>
/// Performs some computation with the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public virtual void Visit(IContinueStatement continueStatement)
{
this.Visit((IStatement)continueStatement);
}
/// <summary>
/// Returns a deep copy of the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public ContinueStatement Copy(IContinueStatement continueStatement) {
Contract.Requires(continueStatement != null);
Contract.Ensures(Contract.Result<ContinueStatement>() != null);
var mutableCopy = this.shallowCopier.Copy(continueStatement);
return mutableCopy;
}
//^ ensures this.path.Count == old(this.path.Count);
/// <summary>
/// Traverses the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public virtual void Visit(IContinueStatement continueStatement)
{
if (this.stopTraversal) return;
//^ int oldCount = this.path.Count;
this.path.Push(continueStatement);
//^ 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>
/// Returns a shallow copy of the given continue statement.
/// </summary>
/// <param name="continueStatement"></param>
public ContinueStatement Copy(IContinueStatement continueStatement) {
Contract.Requires(continueStatement != null);
Contract.Ensures(Contract.Result<ContinueStatement>() != null);
return new ContinueStatement(continueStatement);
}
public virtual void Visit(IContinueStatement stmt, TContext context)
{
}
public override void Visit(IContinueStatement stmt, RelativeEditLocation loc)
{
loc.Size++;
}
/// <summary>
///
/// </summary>
/// <param name="continueStatement"></param>
public ContinueStatement(IContinueStatement continueStatement)
: base(continueStatement) {
}
public override IStatement Visit(IContinueStatement stmt, int context)
{
return(new ContinueStatement());
}
public virtual void VisitContinueStatement(IContinueStatement continueStatement)
{
Visit(continueStatement);
}
public override void TraverseChildren(IContinueStatement continueStatement) {
sourceEmitterOutput.WriteLine("continue;");
}
public override void TraverseChildren(IContinueStatement continueStatement)
{
MethodEnter(continueStatement);
base.TraverseChildren(continueStatement);
MethodExit();
}
public virtual IStatement TransformContinueStatement(IContinueStatement value)
{
return value;
}
