la.la

Class Expression.Const

java.lang.Object

la.la.Expression

la.la.Expression.Const

Enclosing class:

Expression

public static class Expression.Const
extends Expression

Various Constants (literals) of the language; can be eval-uated at "compile" time; see defer.

Nested Class Summary

Nested classes/interfaces inherited from class la.la.Expression

Expression.Application, Expression.Binary, Expression.Block, Expression.Const, Expression.Ident, Expression.IfExp, Expression.LambdaExp, Expression.Tuple, Expression.Unary

Field Summary

Fields

Modifier and Type	Field and Description
Value	v The Value denoted by 'this' Const (literal).

Fields inherited from class la.la.Expression

APPLICATION, BINARY, BLOCK, CONST, ffalse, IDENT, IFEXP, LAMBDAEXP, nilCon, triv, ttrue, TUPLE, UNARY

Constructor Summary

Constructors

Constructor and Description
Const(Value v)

Method Summary

Modifier and Type	Method and Description
void	appendSB(java.lang.StringBuffer sb) The use of a StringBuffer, sb, gives linear complexity when printing large Values; also see Expression.toString().
Value	defer(Environment e) It is safe to return Value v, which is known at "compile"-time; also see Expression.defer(la.la.Environment).
Value	eval(Environment e) Note, a Const was evaluated, to v, at "compile"-time.
int	n() n(), the numerical code (tag) of a subclass of Expression, for example, for switch-ing.

Methods inherited from class la.la.Expression

error, toString

Methods inherited from class java.lang.Object

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

Field Detail

v

public final Value v

The Value denoted by 'this' Const (literal).

Constructor Detail

Const

public Const(Value v)

Method Detail

n

public int n()

Description copied from class: Expression

n(), the numerical code (tag) of a subclass of Expression, for example, for switch-ing.

Specified by:

n in class Expression

defer

public Value defer(Environment e)

It is safe to return Value v, which is known at "compile"-time; also see Expression.defer(la.la.Environment).

Overrides:

defer in class Expression

eval

public Value eval(Environment e)

Note, a Const was evaluated, to v, at "compile"-time.

Overrides:

eval in class Expression

appendSB

public void appendSB(java.lang.StringBuffer sb)

Description copied from class: Expression

The use of a StringBuffer, sb, gives linear complexity when printing large Values; also see Expression.toString().

Specified by:

appendSB in class Expression