Package net.hydromatic.morel.type

Class TypeSystem.VariableCollector

java.lang.Object

net.hydromatic.morel.type.TypeVisitor<Void>

net.hydromatic.morel.type.TypeSystem.VariableCollector

Enclosing class:

TypeSystem

private static class TypeSystem.VariableCollector
extends TypeVisitor<Void>

Visitor that finds all TypeVar instances within a Type.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Set<TypeVar>	vars

Constructor Summary

Constructors

Modifier	Constructor	Description
private	VariableCollector()

Method Summary

Modifier and Type	Method	Description
Void	visit(DataType dataType)	Visits a DataType.
Void	visit(TypeVar typeVar)	Visits a TypeVar.

Methods inherited from class net.hydromatic.morel.type.TypeVisitor

visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Field Details

vars

final Set<TypeVar> vars

Constructor Details

VariableCollector

private VariableCollector()

Method Details

visit

public Void visit(DataType dataType)

Description copied from class: TypeVisitor

Visits a DataType.

Overrides:

visit in class TypeVisitor<Void>

visit

public Void visit(TypeVar typeVar)

Description copied from class: TypeVisitor

Visits a TypeVar.

Overrides:

visit in class TypeVisitor<Void>