Package net.hydromatic.morel.ast

Class Core.Exp

java.lang.Object

net.hydromatic.morel.ast.AstNode

net.hydromatic.morel.ast.Core.BaseNode

net.hydromatic.morel.ast.Core.Exp

Direct Known Subclasses:

Core.Apply, Core.Case, Core.Fn, Core.From, Core.Id, Core.Let, Core.Literal, Core.Local, Core.RecordSelector, Core.Tuple

Enclosing class:

Core

public abstract static class Core.Exp
extends Core.BaseNode

Base class of core expressions.

Field Summary

Fields

Modifier and Type	Field	Description
final Type	type

Fields inherited from class net.hydromatic.morel.ast.AstNode

op, pos

Constructor Summary

Constructors

Constructor	Description
Exp(Pos pos, Op op, Type type)

Method Summary

Modifier and Type	Method	Description
abstract Core.Exp	accept(Shuttle shuttle)	Accepts a shuttle, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.
Core.Exp	arg(int i)	Returns the ith argument.
void	forEachArg(ObjIntConsumer<Core.Exp> action)
boolean	isCallTo(BuiltIn builtIn)	Returns whether this expression is a call to the given built-in.
boolean	isConstant()	Returns whether this expression is a constant.
Type	type()	Returns the type.

Methods inherited from class net.hydromatic.morel.ast.Core.BaseNode

accept

Methods inherited from class net.hydromatic.morel.ast.AstNode

toString, unparse, unparse

Methods inherited from class java.lang.Object

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

Field Details

type

public final Type type

Constructor Details

Exp

Exp(Pos pos,
 Op op,
 Type type)

Method Details

forEachArg

public void forEachArg(ObjIntConsumer<Core.Exp> action)

arg

public Core.Exp arg(int i)

Returns the i^th argument.

type

public Type type()

Returns the type.

accept

public abstract Core.Exp accept(Shuttle shuttle)

Description copied from class: AstNode

Accepts a shuttle, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.

Overrides:

accept in class Core.BaseNode

isConstant

public boolean isConstant()

Returns whether this expression is a constant.

Examples include literals 1, true, constructors applied to constants, records and tuples whose arguments are constant.

isCallTo

public boolean isCallTo(BuiltIn builtIn)

Returns whether this expression is a call to the given built-in.