Package eu.bandm.tools.d2d2.base

Class Resolver3.FlattenContext

java.lang.Object

eu.bandm.tools.d2d2.base.Resolver3.FlattenContext

Enclosing class:

Resolver3

protected class Resolver3.FlattenContext
extends Object

Stack frame which memorizes the situation when parsing an "insert operator" = "@". This includes saving the crrent rewriting stack, the current import context, and the name of the current definition, for selecting the appropriate "local import rewritings".

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final String	definitionName
(package private) final Resolver3.ImportContext	importContext
(package private) final Resolver3.Binding<Expression>	localSubsts
(package private) boolean	nabla	Flag indicating that the inlining has not yet happened.
(package private) final @Opt Resolver3.FlattenContext	predec

Constructor Summary

Constructors

Constructor	Description
FlattenContext(Resolver3.FlattenContext predec, Resolver3.Binding<Expression> localSubsts, Resolver3.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 Resolver3.FlattenContext predec

localSubsts

final Resolver3.Binding<Expression> localSubsts

importContext

final Resolver3.ImportContext importContext

definitionName

final String definitionName

nabla

boolean nabla

Flag indicating that the inlining has not yet happened.

Constructor Details

FlattenContext

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