public override int Compile(FunctionContext context)
{
context.Line(FileName, Line);
var enumerator = context.DefineInternal("enumerator", true);
var stack = 0;
var start = context.MakeLabel("foreachStart");
var end = context.MakeLabel("foreachEnd");
// set enumerator
stack += Expression.Compile(context);
stack += context.LoadField(context.String("getEnumerator"));
stack += context.Call(0);
stack += context.Store(enumerator);
// loop while moveNext returns true
stack += context.Bind(start);
stack += context.Load(enumerator);
stack += context.LoadField(context.String("moveNext"));
stack += context.Call(0);
stack += context.JumpFalse(end);
// loop body
context.PushScope();
context.PushLoop(start, end);
if (!context.DefineIdentifier(Identifier))
{
throw new MondCompilerException(FileName, Line, CompilerError.IdentifierAlreadyDefined, Identifier);
}
var identifier = context.Identifier(Identifier);
stack += context.Load(enumerator);
stack += context.LoadField(context.String("current"));
stack += context.Store(identifier);
stack += Block.Compile(context);
stack += context.Jump(start);
context.PopLoop();
context.PopScope();
// after loop
stack += context.Bind(end);
stack += context.Load(enumerator);
stack += context.LoadField(context.String("dispose"));
stack += context.Call(0);
stack += context.Drop();
CheckStack(stack, 0);
return(stack);
}
public override void CompileBody(FunctionContext context)
{
var state = context.DefineInternal("state");
var enumerable = context.DefineInternal("enumerable");
var stack = 0;
var bodyToken = new Token(Token, TokenType.Fun, null);
var body = new SequenceBodyExpression(bodyToken, null, Block, "moveNext", state, enumerable);
var seqContext = new SequenceContext(context.Compiler, "moveNext", body, context);
var getEnumerator = context.MakeFunction("getEnumerator");
getEnumerator.Function(getEnumerator.FullName);
getEnumerator.Bind(getEnumerator.Label);
getEnumerator.Enter();
getEnumerator.Load(enumerable);
getEnumerator.Return();
var dispose = context.MakeFunction("dispose");
dispose.Function(dispose.FullName);
dispose.Bind(dispose.Label);
dispose.Enter();
dispose.LoadUndefined();
dispose.Return();
stack += context.Bind(context.Label);
stack += context.Enter();
if (OtherArguments != null)
{
stack += context.VarArgs(Arguments.Count);
}
stack += context.Load(context.Number(0));
stack += context.Store(state);
stack += context.NewObject();
stack += context.Dup();
stack += context.LoadUndefined();
stack += context.Swap();
stack += context.StoreField(context.String("current"));
stack += context.Dup();
stack += body.Compile(seqContext);
stack += context.Swap();
stack += context.StoreField(context.String("moveNext"));
stack += context.Dup();
stack += context.Closure(getEnumerator.Label);
stack += context.Swap();
stack += context.StoreField(context.String("getEnumerator"));
stack += context.Dup();
stack += context.Closure(dispose.Label);
stack += context.Swap();
stack += context.StoreField(context.String("dispose"));
stack += context.Store(enumerable);
stack += context.Load(enumerable);
stack += context.Return();
CheckStack(stack, 0);
}
public override int Compile(FunctionContext context)
{
context.Position(Token);
var stack = 0;
var start = context.MakeLabel("foreachStart");
var cont = context.MakeLabel("foreachContinue");
var brk = context.MakeLabel("foreachBreak");
var end = context.MakeLabel("foreachEnd");
var containsFunction = new LoopContainsFunctionVisitor();
Block.Accept(containsFunction);
var enumerator = context.DefineInternal("enumerator", true);
// set enumerator
context.Statement(Expression);
stack += Expression.Compile(context);
stack += context.LoadField(context.String("getEnumerator"));
stack += context.Call(0, new List <ImmediateOperand>());
stack += context.Store(enumerator);
var loopContext = containsFunction.Value ? new LoopContext(context) : context;
// loop body
loopContext.PushScope();
loopContext.PushLoop(containsFunction.Value ? cont : start, containsFunction.Value ? brk : end);
IdentifierOperand identifier;
if (DestructureExpression != null)
{
identifier = context.DefineInternal(Identifier, true);
}
else
{
// create the loop variable outside of the loop context (but inside of its scope!)
if (!context.DefineIdentifier(Identifier))
{
throw new MondCompilerException(this, CompilerError.IdentifierAlreadyDefined, Identifier);
}
identifier = context.Identifier(Identifier);
}
stack += loopContext.Bind(start); // continue (without function)
if (containsFunction.Value)
{
stack += loopContext.Enter();
}
// loop while moveNext returns true
context.Statement(InToken, InToken);
stack += loopContext.Load(enumerator);
stack += loopContext.LoadField(context.String("moveNext"));
stack += loopContext.Call(0, new List <ImmediateOperand>());
stack += loopContext.JumpFalse(containsFunction.Value ? brk : end);
stack += loopContext.Load(enumerator);
stack += loopContext.LoadField(context.String("current"));
stack += loopContext.Store(identifier);
if (DestructureExpression != null)
{
stack += loopContext.Load(identifier);
stack += DestructureExpression.Compile(loopContext);
}
stack += Block.Compile(loopContext);
if (containsFunction.Value)
{
stack += loopContext.Bind(cont); // continue (with function)
stack += loopContext.Leave();
}
stack += loopContext.Jump(start);
if (containsFunction.Value)
{
stack += loopContext.Bind(brk); // break (with function)
stack += loopContext.Leave();
}
loopContext.PopLoop();
loopContext.PopScope();
// after loop
stack += context.Bind(end); // break (without function)
stack += context.Load(enumerator);
stack += context.LoadField(context.String("dispose"));
stack += context.Call(0, new List <ImmediateOperand>());
stack += context.Drop();
CheckStack(stack, 0);
return(stack);
}
public override IdentifierOperand DefineInternal(string name, bool canHaveMultiple = false)
{
return(_forward.DefineInternal(name, canHaveMultiple));
}
