Package eu.bandm.tools.d2d2.base

Class Resolver4.FlattenContext

java.lang.Object

eu.bandm.tools.d2d2.base.Resolver4.FlattenContext

Enclosing class:

Resolver4

protected class Resolver4.FlattenContext
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final String	definitionName
(package private) final Resolver4.ImportContext	importContext
(package private) final Resolver4.Binding<Expression>	localSubsts
(package private) boolean	nabla
(package private) final @Opt Resolver4.FlattenContext	predec

Constructor Summary

Constructors

Constructor	Description
FlattenContext(Resolver4.FlattenContext predec, Resolver4.Binding<Expression> localSubsts, Resolver4.ImportContext importContext, String definitionName)

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 Resolver4.FlattenContext predec

localSubsts

final Resolver4.Binding<Expression> localSubsts

importContext

final Resolver4.ImportContext importContext

definitionName

final String definitionName

nabla

boolean nabla

Constructor Details

FlattenContext

FlattenContext(Resolver4.FlattenContext predec,
 Resolver4.Binding<Expression> localSubsts,
 Resolver4.ImportContext importContext,
 String definitionName)