Package net.hydromatic.morel.ast

Class Ast.ConPat

java.lang.Object

net.hydromatic.morel.ast.AstNode

net.hydromatic.morel.ast.Ast.Pat

net.hydromatic.morel.ast.Ast.ConPat

Enclosing class:

Ast

public static class Ast.ConPat
extends Ast.Pat

Type constructor pattern with an argument.

For example, in "fun nvl NIL = 0 | OPTION x = x", "OPTION x" is a type constructor pattern that binds "x"; and "NIL" is a type constructor pattern whose pat is null.

See Also:

• Ast.Con0Pat

Field Summary

Fields

Modifier and Type	Field	Description
final Ast.Pat	pat
final Ast.Id	tyCon

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

op, pos

Constructor Summary

Constructors

Constructor	Description
ConPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)

Method Summary

Modifier and Type	Method	Description
Ast.Pat	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.ConPat	copy(Ast.Id tyCon, Ast.Pat pat)	Creates a copy of this ConPat with given contents, or this if the contents are the same.
void	forEachArg(ObjIntConsumer<Ast.Pat> action)
(package private) AstWriter	unparse(AstWriter w, int left, int right)

Methods inherited from class net.hydromatic.morel.ast.Ast.Pat

visit

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

tyCon

public final Ast.Id tyCon

pat

public final Ast.Pat pat

Constructor Details

ConPat

ConPat(Pos pos,
 Ast.Id tyCon,
 Ast.Pat pat)

Method Details

accept

public Ast.Pat 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 Ast.Pat

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

forEachArg

public void forEachArg(ObjIntConsumer<Ast.Pat> action)

Overrides:

forEachArg in class Ast.Pat

unparse

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

Specified by:

unparse in class AstNode

copy

public Ast.ConPat copy(Ast.Id tyCon,
 Ast.Pat pat)

Creates a copy of this ConPat with given contents, or this if the contents are the same.