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

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 java.lang.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

inErrorConsumer - A consumer of errors

inLanguage - The language being checked

inLineLog - The line log for incoming expressions

Method Details

current

public CBTyperContextType current()

Returns:

The current typing context