public static UnifiedExpression CreateIterationStatement(XElement node)
{
Contract.Requires(node != null);
Contract.Requires(node.Name() == "iteration_statement");
/*
* iteration_statement
* : 'while' '(' expression ')' statement
| 'do' statement 'while' '(' expression ')' ';'
| 'for' '(' expression_statement expression_statement expression? ')' statement
*/
var first = node.FirstElement().Value;
var body =
UnifiedBlock.Create(
CreateStatement(node.FirstElement("statement")));
switch (first)
{
case "while":
return
(UnifiedWhile.Create(
CreateExpression(node.NthElement(2)).First(),
body));
case "do":
return
(UnifiedDoWhile.Create(
CreateExpression(node.NthElement(4)).First(),
body));
case "for":
var step = node.Element("expression") != null?
CreateExpression
(
node
.
FirstElement
(
"expression"))
.
First
()
: null;
return(UnifiedFor.Create(
CreateExpressionStatement(node.NthElement(2)),
CreateExpressionStatement(node.NthElement(3)),
step, body));
default:
throw new InvalidOperationException();
}
}
public override bool Visit(UnifiedFor element, VisitorArgument arg)
{
element.Initializer.TryAccept(this, arg.Set(CommaDelimiter));
Writer.Write("while ");
element.Condition.TryAccept(this, arg);
Writer.WriteLine(":");
arg = arg.IncrementDepth();
element.Body.TryAccept(this, arg);
WriteIndent(arg.IndentDepth);
element.Step.TryAccept(this, arg.Set(SemiColonDelimiter));
return(false);
}
public override bool Visit(UnifiedFor element, VisitorArgument arg)
{
Writer.Write("for(");
element.Initializer.TryAccept(this, arg.Set(CommaDelimiter));
Writer.Write("; ");
element.Condition.TryAccept(this, arg.Set(CommaDelimiter));
Writer.Write(";");
element.Step.TryAccept(this, arg.Set(CommaDelimiter));
Writer.Write(")");
element.Body.TryAccept(this, arg.Set(ForBlock));
return(false);
}
public UnifiedElement VisitForStatement(
ForStatement forStmt, object data)
{
// C#はstatementは一つのStatementあるいはBlockなためFirstOrDefaultで問題ない。
// 複数あるのはVBを表す場合のため。
var initStmt = forStmt.Initializers
.Select(s => s.TryAcceptForExpression(this))
.FirstOrDefault();
var condExpr = forStmt.Condition.TryAcceptForExpression(this);
var stepStmt = forStmt.Iterators
.Select(s => s.TryAcceptForExpression(this))
.FirstOrDefault();
var body =
forStmt.EmbeddedStatement.TryAcceptForExpression(this).
ToBlock();
return(UnifiedFor.Create(initStmt, condExpr, stepStmt, body));
}
public override bool Visit(UnifiedFor element, VisitorArgument arg)
{
Writer.Write("for(");
element.Initializer.TryAccept(this, arg.Set(CommaDelimiter));
Writer.Write("; ");
element.Condition.TryAccept(this, arg.Set(CommaDelimiter));
Writer.Write(";");
element.Step.TryAccept(this, arg.Set(CommaDelimiter));
Writer.Write(")");
element.Body.TryAccept(this, arg.Set(ForBlock));
return false;
}
public static Namespace GetNamespace(UnifiedFor forNode)
{
var type = NamespaceType.TemporaryScope;
var parents =
DetectorHelper.GetParentTypes(type).Select(
t => DetectorHelper.Namespace2UnifiedType(t));
var parentNode = DetectorHelper.GetFirstFoundNode(forNode, parents);
return new Namespace {
Value = "(for)",
NamespaceType = type,
Parent = Dispatcher(parentNode)
};
}
public override bool Visit(UnifiedFor element, VisitorArgument arg)
{
element.Initializer.TryAccept(this, arg.Set(CommaDelimiter));
Writer.Write("while ");
element.Condition.TryAccept(this, arg);
Writer.WriteLine(":");
arg = arg.IncrementDepth();
element.Body.TryAccept(this, arg);
WriteIndent(arg.IndentDepth);
element.Step.TryAccept(this, arg.Set(SemiColonDelimiter));
return false;
}
