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

# Class CBTypeExpressionChecker

java.lang.Object
com.io7m.cedarbridge.schema.typer.internal.CBTypeExpressionChecker

All Implemented Interfaces:
  `CBElementCheckerType<CBASTTypeExpressionType>`

public final class CBTypeExpressionChecker extends Object implements CBElementCheckerType<CBASTTypeExpressionType>
Type checking of type expressions.

- ## Constructor Summary

  Constructors
  Constructor
  Description
  `CBTypeExpressionChecker()`
  Type checking of type expressions.

- ## Method Summary

  Modifier and Type
  Method
  Description
  `void`
  `check(CBTyperContextType context, CBASTTypeExpressionType item)`
  Check the type of an element.

  ### Methods inherited from class java.lang.Object

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

- ## Constructor Details

  - ### CBTypeExpressionChecker

    public CBTypeExpressionChecker()
    Type checking of type expressions.

- ## Method Details

  - ### check

    public void check(CBTyperContextType context, CBASTTypeExpressionType item) throws CBTypeCheckFailedException
    Description copied from interface: `CBElementCheckerType`
    Check the type of an element.
    Specified by:
      `check` in interface `CBElementCheckerType<CBASTTypeExpressionType>`
    Parameters:
      `context` - The typing context
      `item` - The element
    Throws:
      `CBTypeCheckFailedException` - On type errors