CBTypeProtocolChecker

java.lang.Object

com.io7m.cedarbridge.schema.typer.internal.CBTypeProtocolChecker

All Implemented Interfaces:: CBElementCheckerType<CBASTProtocolDeclaration>

public final class CBTypeProtocolChecker extends Object implements CBElementCheckerType<CBASTProtocolDeclaration>

Type checking of protocol declarations.

Constructor Summary

Constructors

Constructor

Description

CBTypeProtocolChecker()

Type checking of protocol declarations.
Method Summary

Modifier and Type

Method

Description

void

check(CBTyperContextType context, CBASTProtocolDeclaration item)

Check the type of an element.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- CBTypeProtocolChecker
  
  public CBTypeProtocolChecker()
  
  Type checking of protocol declarations.
Method Details
- check
  
  public void check(CBTyperContextType context, CBASTProtocolDeclaration item) throws CBTypeCheckFailedException
  
  Description copied from interface: CBElementCheckerType
  
  Check the type of an element.
  
  Specified by:
  
  check in interface CBElementCheckerType<CBASTProtocolDeclaration>
  
  Parameters:
  
  context - The typing context
  
  item - The element
  
  Throws:
  
  CBTypeCheckFailedException - On type errors