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:
      `inErrors` - An error consumer
      `inLineLog` - The line log for incoming expressions
      `inPackage` - The package being checked
      `inStrings` - String resources

- ## 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`