org.millscript.millscript.expr
Class BindingFromExpr

java.lang.Object
  org.millscript.millscript.expr.Expr<A>
      org.millscript.millscript.expr.ForConditionExpr<A>
          org.millscript.millscript.expr.BindingExpr<BindingFromAction>
              org.millscript.millscript.expr.BindingFromExpr

public final class BindingFromExpr
extends BindingExpr<BindingFromAction>

This class represents a for loop from counter binding expression. A from counter expression binds a counter to a name, where the counter increases on each iteration. This condition should never cause the for loop to terminate, as the counter should continue to infinity.

See Also:

ForSyntax, BindingFromAction

Constructor Summary

BindingFromExpr(NameExpr n, Expr<?> f)
Constructs a new from counter binding expression, with the suplied name and starting point expression.

Method Summary

BindingFromAction	compileIt() Compiles this expression into an action.
void	resolve(CompilerState state) Resolves any NameExpr in the tree so that they refer to the correct ident.

Methods inherited from class org.millscript.millscript.expr.Expr

arity, compile, isIntegerExpr, resolveList, setLineNumber, setOrigin, show, show

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BindingFromExpr

public BindingFromExpr(NameExpr n,
                       Expr<?> f)

Constructs a new from counter binding expression, with the suplied name and starting point expression.

Parameters:

n - the name expression to bind to

f - the counter starting point expression

Method Detail

compileIt

public BindingFromAction compileIt()

Description copied from class: Expr

Compiles this expression into an action.

Specified by:

compileIt in class Expr<BindingFromAction>

Returns:

the Action for this expression

See Also:

Expr.compileIt()

resolve

public void resolve(CompilerState state)

Description copied from class: Expr

Resolves any NameExpr in the tree so that they refer to the correct ident. e.g. This method is responsible for ensuring that references to a function argument in the body of a function actually refer to the correct value.

Specified by:

resolve in class Expr<BindingFromAction>

Parameters:

state - the compiler state we are resolving in

See Also:

Expr.resolve(org.millscript.millscript.vm.CompilerState)