public static class Expression.IfExp extends Expression
Expression.Application
-- of
cond = \x1.\x2.\x3.x1 x2 x3Expression.Application, Expression.Binary, Expression.Block, Expression.Const, Expression.Ident, Expression.IfExp, Expression.LambdaExp, Expression.Tuple, Expression.Unary
Modifier and Type | Field and Description |
---|---|
Expression |
e1 |
Expression |
e2 |
Expression |
e3 |
Constructor and Description |
---|
IfExp(Expression e1,
Expression e2,
Expression e3) |
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() . |
int |
n()
n(), the numerical code (tag) of a subclass of Expression,
for example, for switch-ing.
|
defer, error, eval, toString
public final Expression e1
public final Expression e2
public final Expression e3
public IfExp(Expression e1, Expression e2, Expression e3)
public int n()
Expression
n
in class Expression
public void appendSB(java.lang.StringBuffer sb)
Expression
Expression.toString()
.appendSB
in class Expression