public ForStatement(Statement initialization, ToBoolean condition, Expression increment, Statement body)
: base(condition, body)
{
Initialization = initialization;
Increment = increment;
Use(Increment);
Use(Initialization);
}
public ForStatement(Statement initialization, ToBoolean condition, Expression increment, Statement body)
: base(condition, body)
{
Initialization = initialization;
Increment = increment;
Use(Increment);
Use(Initialization);
}
public IfStatement(ToBoolean condition, Statement thenStatement, Statement elseStatement = null)
{
Condition = condition;
Then = thenStatement;
Else = elseStatement;
SourceOffset = condition.SourceOffset;
Use(Condition);
Use(Then);
Use(Else);
m.Util.Diagnose.Debug.Assert(Condition != null, "Cannot have if without condition");
m.Util.Diagnose.Debug.Assert(Then != null, "Cannot have if without then statement");
}
public IfStatement(ToBoolean condition, Statement thenStatement, Statement elseStatement = null)
{
Condition = condition;
Then = thenStatement;
Else = elseStatement;
SourceOffset = condition.SourceOffset;
Use(Condition);
Use(Then);
Use(Else);
m.Util.Diagnose.Debug.Assert(Condition != null, "Cannot have if without condition");
m.Util.Diagnose.Debug.Assert(Then != null, "Cannot have if without then statement");
}
public WhileStatement(ToBoolean condition, Statement body)
: base(condition, body)
{
}
public DoWhileStatement(ToBoolean condition, Statement body)
: base(condition, body)
{ }
public override void Visit(ToBoolean node)
{
Visit((ConversionExpression)node);
}
public override void Visit(ToBoolean node)
{
unfinishedClone = new ToBoolean(GetCloneOf(node.Expression));
base.Visit(node);
}
public override void Visit(ToBoolean node)
{
UpdateType(node, TypeCalculator.GetType(node));
}
public override void Visit(ToBoolean node)
{
AssignToImplicitReturn(node);
}