Class CBTyperContext

java.lang.Object

com.io7m.cedarbridge.schema.typer.internal.CBTyperContext

public final class CBTyperContext
extends Object

Contextual information for type checking.

Constructor Summary

Constructors

Constructor	Description
CBTyperContext(CBStringsType inStrings, CBExpressionLineLogType inLineLog, CBASTLanguage inLanguage, Consumer<CBError> inErrorConsumer)	Contextual information for type checking.

Method Summary

Modifier and Type	Method	Description
CBTyperContextType	current()

Methods inherited from class Object

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

Constructor Details

CBTyperContext

public CBTyperContext(CBStringsType inStrings,
 CBExpressionLineLogType inLineLog,
 CBASTLanguage inLanguage,
 Consumer<CBError> inErrorConsumer)

Contextual information for type checking.

Parameters:

inStrings - String resources

inLineLog - The line log for incoming expressions

inLanguage - The language being checked

inErrorConsumer - A consumer of errors

Method Details

current

public CBTyperContextType current()

Returns:

The current typing context