Package com.io7m.cedarbridge.schema.typer.internal

Class CBTypeChecker

java.lang.Object

com.io7m.cedarbridge.schema.typer.internal.CBTypeChecker

All Implemented Interfaces:

CBTypeCheckerType, AutoCloseable

public final class CBTypeChecker
extends Object
implements CBTypeCheckerType

The main type checker.

Constructor Summary

Constructors

Constructor	Description
CBTypeChecker(Consumer<CBError> inErrors, CBExpressionLineLogType inLineLog, CBASTPackage inPackage, CBStringsType inStrings)	The main type checker.

Method Summary

Modifier and Type	Method	Description
void	close()
void	execute()	Execute the type checker.

Methods inherited from class java.lang.Object

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

Constructor Details

CBTypeChecker

public CBTypeChecker(Consumer<CBError> inErrors,
 CBExpressionLineLogType inLineLog,
 CBASTPackage inPackage,
 CBStringsType inStrings)

The main type checker.

Parameters:

inLineLog - The line log for incoming expressions

inErrors - An error consumer

inStrings - String resources

inPackage - The package being checked

Method Details

execute

public void execute()
             throws CBTypeCheckFailedException

Description copied from interface: CBTypeCheckerType

Execute the type checker.

Specified by:

execute in interface CBTypeCheckerType

Throws:

CBTypeCheckFailedException - On errors

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface CBTypeCheckerType