Package net.hydromatic.morel.ast

Class Ast.Require

java.lang.Object

net.hydromatic.morel.ast.AstNode

net.hydromatic.morel.ast.Ast.FromStep

net.hydromatic.morel.ast.Ast.Require

Enclosing class:

Ast

public static class Ast.Require
extends Ast.FromStep

A require step in a forall expression.

Field Summary

Fields

Modifier and Type	Field	Description
final Ast.Exp	exp

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

op, pos

Constructor Summary

Constructors

Constructor	Description
Require(Pos pos, Ast.Exp exp)

Method Summary

Modifier and Type	Method	Description
AstNode	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.
void	accept(Visitor visitor)	Accepts a visitor, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.
Ast.Require	copy(Ast.Exp exp)
(package private) AstWriter	unparse(AstWriter w, int left, int right)

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

toString, unparse

Methods inherited from class java.lang.Object

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

Field Details

exp

public final Ast.Exp exp

Constructor Details

Require

Require(Pos pos,
 Ast.Exp exp)

Method Details

unparse

AstWriter unparse(AstWriter w,
 int left,
 int right)

Specified by:

unparse in class AstNode

accept

public AstNode 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.

Specified by:

accept in class AstNode

accept

public void accept(Visitor visitor)

Description copied from class: AstNode

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

Specified by:

accept in class AstNode

copy

public Ast.Require copy(Ast.Exp exp)