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

Interface CBElementCheckerType<T extends CBASTElementType>

Type Parameters:

T - The type of elements

All Known Implementing Classes:

CBTypeDeclarationChecker, CBTypeExpressionChecker, CBTypeProtocolChecker

public interface CBElementCheckerType<T extends CBASTElementType>

Type checking for various AST elements.

Method Summary

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

Method Details

check

void check(CBTyperContextType context,
 T item)
    throws CBTypeCheckFailedException

Check the type of an element.

Parameters:

context - The typing context

item - The element

Throws:

CBTypeCheckFailedException - On type errors