eu.bandm.tools.d2d2.base

Class Resolver3.Instance

java.lang.Object

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

All Implemented Interfaces:

Cloneable

Enclosing class:

Resolver3

protected class Resolver3.Instance
extends Object
implements Cloneable

The parametrized instance of one particular d2d model Definition. Goes through several states:

      \(creation by resolveAllPublics(..))
        \ 
          ownClass
          [isClass=true,hypo=requires=false,representative=null]
                                            ^
                                            |
      \(creation by newHypthesis(old))      |setIsClass()
        \                                   |
          hypoEquivalent                    |
        h=[isClass=requires=falsified=false, hypo=true,representative=old,requiredBy={}]
            |^     |^                         |    |           ^
            ||     ||                         |    |           |
            ||Equivalence.match(h)            |    |hypothesisFalsified()  
            || with currentHypothesis=x       |    |           |newHypothesis(old)
            ||     ||                         |    |           |
            ||     ||Equivalence.match(some hypo)  |           |
            ||     ||with currentHypothesis=h |    |           |
            V|     ||                         |    |           |
          [  ..., requiredBy={x...}]          |    V           |
                   |V                         |  falsified     |
          [ ..., requires=true, ...]          |  [.., representative=null, falsified=true,..]
                                              |   
                         hypothesisConfirmed()|   
                                              V
                                       equivWithOther                   
                                       [.. hypothetical=false..]

  

Method Summary

Modifier and Type	Method and Description
Format	format()
void	hypothesisConfirmed() The hypothetical equivalence to representative is changed to a confirmed equivalence.
void	hypothesisFalsified() The hypothetical equivalence to representative has been falsified.
boolean	isBound() Is its own class or hypothetically bound or confirmed bound.
boolean	isClass()
Resolver3.Instance	newHypothesis(Resolver3.Instance other) Delivers an instance which is hypothetically equivalent with "other".
Resolver3.Instance	representative()
void	setIsClass()

Methods inherited from class java.lang.Object

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

Method Detail

setIsClass

public void setIsClass()

isClass

public boolean isClass()

isBound

public boolean isBound()

Is its own class or hypothetically bound or confirmed bound. "Unbound" only happens after a hypothesis has failed. I

representative

public Resolver3.Instance representative()

newHypothesis

public Resolver3.Instance newHypothesis(Resolver3.Instance other)

Delivers an instance which is hypothetically equivalent with "other". Other must be a class on its own (i.e. a representative).
If the current instance depends on other hypotheses (indicated by requires==true, technically a new object must be built, because the existing one is in (at least) one set for delivering future fail events. Otherwise the object can be reused.
The returned setting is "this.representative=other; hypothetical=true;falsified=false;"

hypothesisConfirmed

public void hypothesisConfirmed()

The hypothetical equivalence to representative is changed to a confirmed equivalence.

hypothesisFalsified

public void hypothesisFalsified()

The hypothetical equivalence to representative has been falsified. This is reflected by setting that field to ==null. This failure is propagated to al Instances in #dependent. It is memorized in different for quick check of later hypotheses. It is memorized in falsified only for optimization, to skip propagation in case of multiple calls to this method.

format

public Format format()