internal override void ResolveVariableOrigins(ParserContext parser, VariableScope varIds, VariableIdAllocPhase phase)
{
this.Condition.ResolveVariableOrigins(parser, varIds, phase);
if (phase != VariableIdAllocPhase.REGISTER_AND_ALLOC || this.TrueCode.Length == 0 || this.FalseCode.Length == 0)
{
foreach (Executable ex in this.TrueCode.Concat(this.FalseCode))
{
ex.ResolveVariableOrigins(parser, varIds, phase);
}
}
else
{
// branch the variable ID allocator.
VariableScope trueVars = VariableScope.CreatedNestedBlockScope(varIds);
VariableScope falseVars = VariableScope.CreatedNestedBlockScope(varIds);
// Go through and register and allocate all variables.
// The allocated ID's are going to be garbage, but this enforces that they must be
// declared before being used.
foreach (Executable ex in this.TrueCode)
{
ex.ResolveVariableOrigins(parser, trueVars, VariableIdAllocPhase.REGISTER_AND_ALLOC);
}
foreach (Executable ex in this.FalseCode)
{
ex.ResolveVariableOrigins(parser, falseVars, VariableIdAllocPhase.REGISTER_AND_ALLOC);
}
// Now that the code is as correct as we can verify, merge the branches back together
// creating a new set of variable ID's.
trueVars.MergeToParent();
falseVars.MergeToParent();
if (!this.CompilationScope.IsStaticallyTyped)
{
// Go back through and do another allocation pass and assign the correct variable ID's.
foreach (Executable ex in this.TrueCode.Concat(this.FalseCode))
{
ex.ResolveVariableOrigins(parser, varIds, VariableIdAllocPhase.ALLOC);
}
}
}
}
