Package com.io7m.cedarbridge.schema.typer.api

Interface CBTypeCheckerFactoryType

All Known Implementing Classes:

CBTypeCheckerFactory

public interface CBTypeCheckerFactoryType

A factory of package type checkers.

Method Summary

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

Method Details

createTypeChecker

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

Create a type checker.

Parameters:

errors - A receiver of type checker errors

parsedPackage - A parsed package

lineLog - A line log, for diagnostic messages

Returns:

A new type checker