org.dhallj.core.typechecking

Class Context

java.lang.Object

org.dhallj.core.typechecking.Context

public final class Context
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static Context	EMPTY

Method Summary

Modifier and Type	Method and Description
Context	decrement(java.lang.String name)
Context	increment(java.lang.String name)
Context	insert(java.lang.String key, Expr value)
Expr	lookup(java.lang.String targetKey, long index)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final Context EMPTY

Method Detail

lookup

public Expr lookup(java.lang.String targetKey,
                   long index)

insert

public Context insert(java.lang.String key,
                      Expr value)

increment

public Context increment(java.lang.String name)

decrement

public Context decrement(java.lang.String name)