Package eu.bandm.tools.d2d2.base

Class Resolver3.LocalInstance

java.lang.Object

eu.bandm.tools.d2d2.base.Resolver3.Instance

eu.bandm.tools.d2d2.base.Resolver3.LocalInstance

All Implemented Interfaces:

Cloneable

Enclosing class:

Resolver3

class Resolver3.LocalInstance
extends Resolver3.Instance

Represents rewrite results of insertion operators which must be reified because of recursion. E.g.

   A.B { 
     a =  @b ^(c/d) , @b
   }       |
           A.B .a .0 .b

   A.B { 
     import C = cc ^( a /  @b ^(c/d)) in f ^( g /  @b ^(c/d))
   }                                                |
                                                    A.B .C.1.b

  

Field Summary

Fields

Modifier and Type	Field	Description
(package private) boolean	cycleFound	Whether the rewrite reached a cyclic reference, thus requiring reification.
(package private) final @Opt XRegExp	defContext	Definition hosting the inserted reference.
(package private) final @Opt ImportItem	impContext	ImportItem hosting the inserted reference.
(package private) final int	referencePosition	The number n of the occurence of the inserted reference in defContext.

Fields inherited from class eu.bandm.tools.d2d2.base.Resolver3.Instance

different, ic, reprRef, requiredBy, rewritten

Constructor Summary

Constructors

Constructor	Description
LocalInstance(Resolver3.ImportContext ic, Definition rewritten, Reference reprRef, ImportItem impContext, int pos)
LocalInstance(Resolver3.ImportContext ic, Definition rewritten, Reference reprRef, XRegExp defContext, int pos)

Method Summary

Methods inherited from class eu.bandm.tools.d2d2.base.Resolver3.Instance

format, hypothesisConfirmed, hypothesisFalsified, isBound, isClass, newHypothesis, representative, setIsClass, validDefinition

Methods inherited from class java.lang.Object

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

Field Details

impContext

@Opt
final @Opt ImportItem impContext

ImportItem hosting the inserted reference. This is the nth occurence in all import rewrite expressions. If ==null, then defContext!=null.

defContext

@Opt
final @Opt XRegExp defContext

Definition hosting the inserted reference. It is the nth occurence in the ".value" expression. If ==null, then impContext!=null.

referencePosition

final int referencePosition

The number n of the occurence of the inserted reference in defContext.

cycleFound

boolean cycleFound

Whether the rewrite reached a cyclic reference, thus requiring reification.

Constructor Details

LocalInstance

LocalInstance(Resolver3.ImportContext ic,
 Definition rewritten,
 Reference reprRef,
 XRegExp defContext,
 int pos)

LocalInstance

LocalInstance(Resolver3.ImportContext ic,
 Definition rewritten,
 Reference reprRef,
 ImportItem impContext,
 int pos)