Package eu.bandm.tools.d2d2.base

Class Resolver3.Binding<T>

java.lang.Object

eu.bandm.tools.d2d2.base.Resolver3.Binding<T>

Enclosing class:

Resolver3

protected class Resolver3.Binding<T>
extends Object

Stack frame which memorizes a particular single rewriting clause, mapping an identifier to an expression. The chain of all rewritings is realized as a linked list by the field predec. The start of the chain is dynamicaly kept in Resolver3.currentLocalSubsts. The type parameter T is the type of the bound values.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final T	exp
(package private) final String	id
(package private) final @Opt Resolver3.Binding<T>	predec

Constructor Summary

Constructors

Constructor	Description
Binding(Resolver3.Binding<T> predec, String id, T exp)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

predec

@Opt
final @Opt Resolver3.Binding<T> predec

id

final String id

exp

final T exp

Constructor Details

Binding

Binding(Resolver3.Binding<T> predec,
 String id,
 T exp)