CBTypeDeclarationChecker

java.lang.Object

com.io7m.cedarbridge.schema.typer.internal.CBTypeDeclarationChecker

All Implemented Interfaces:: CBElementCheckerType<CBASTTypeDeclarationType>

public final class CBTypeDeclarationChecker extends Object implements CBElementCheckerType<CBASTTypeDeclarationType>

Type checking of type declarations.

Constructor Summary

Constructors

Constructor

Description

CBTypeDeclarationChecker()

Type checking of type declarations.
Method Summary

Modifier and Type

Method

Description

void

check(CBTyperContextType context, CBASTTypeDeclarationType 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
- CBTypeDeclarationChecker
  
  public CBTypeDeclarationChecker()
  
  Type checking of type declarations.
Method Details
- check
  
  public void check(CBTyperContextType context, CBASTTypeDeclarationType item) throws CBTypeCheckFailedException
  
  Description copied from interface: CBElementCheckerType
  
  Check the type of an element.
  
  Specified by:
  
  check in interface CBElementCheckerType<CBASTTypeDeclarationType>
  
  Parameters:
  
  context - The typing context
  
  item - The element
  
  Throws:
  
  CBTypeCheckFailedException - On type errors