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