Package com.io7m.cedarbridge.schema.typer

Class CBTypeCheckerFactory

java.lang.Object

com.io7m.cedarbridge.schema.typer.CBTypeCheckerFactory

All Implemented Interfaces:

CBTypeCheckerFactoryType

public final class CBTypeCheckerFactory
extends Object
implements CBTypeCheckerFactoryType

A factory of type checkers.

Constructor Summary

Constructors

Constructor	Description
CBTypeCheckerFactory()	A factory of type checkers.
CBTypeCheckerFactory(CBStringsType inStrings)	A factory of type checkers.

Method Summary

Modifier and Type	Method	Description
CBTypeCheckerType	createTypeChecker(Consumer<CBError> errors, CBExpressionLineLogType lineLog, CBASTPackage parsedPackage)	Create a type checker.

Methods inherited from class java.lang.Object

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

Constructor Details

CBTypeCheckerFactory

public CBTypeCheckerFactory(CBStringsType inStrings)

A factory of type checkers.

Parameters:

inStrings - String resources

CBTypeCheckerFactory

public CBTypeCheckerFactory()

A factory of type checkers.

Method Details

createTypeChecker

public CBTypeCheckerType createTypeChecker(Consumer<CBError> errors,
 CBExpressionLineLogType lineLog,
 CBASTPackage parsedPackage)

Description copied from interface: CBTypeCheckerFactoryType

Create a type checker.

Specified by:

createTypeChecker in interface CBTypeCheckerFactoryType

Parameters:

errors - A receiver of type checker errors

lineLog - A line log, for diagnostic messages

parsedPackage - A parsed package

Returns:

A new type checker