Package eu.bandm.tools.d2d2.base

Class Classifier.Instance

java.lang.Object

eu.bandm.tools.d2d2.base.Classifier.Instance

All Implemented Interfaces:

Cloneable

Enclosing class:

Classifier

protected class Classifier.Instance
extends Object
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	cyclic
(package private) final Set<ImportContext>	different
(package private) ImportContext	ic
(package private) final Definition	raw
(package private) final Set<Classifier.Instance>	requiredBy
(package private) boolean	rewriteDone
(package private) final Definition	rewritten
(package private) final @Opt Binding	substs

Constructor Summary

Constructors

Constructor	Description
Instance(ImportContext ic, Definition raw, Definition rewritten, @Opt Binding substs)

Method Summary

Modifier and Type	Method	Description
protected Classifier.Instance	clone()	Makes shallow copy.
Format	format()
(package private) @Opt Classifier.Instance	get_representative()
void	hypothesisConfirmed()
void	hypothesisFalsified()
boolean	isBound()
boolean	isClass()
(package private) Classifier.Instance	newHypothesis(Classifier.Instance other)
Classifier.Instance	representative()
void	setIsClass()
(package private) Definition	validDefinition()

Methods inherited from class java.lang.Object

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

Field Details

cyclic

protected boolean cyclic

rewriteDone

boolean rewriteDone

ic

ImportContext ic

raw

final Definition raw

rewritten

final Definition rewritten

substs

@Opt
final @Opt Binding substs

requiredBy

final Set<Classifier.Instance> requiredBy

different

final Set<ImportContext> different

Constructor Details

Instance

Instance(ImportContext ic,
 Definition raw,
 Definition rewritten,
 @Opt
 @Opt Binding substs)

Method Details

get_representative

@Opt
@Opt Classifier.Instance get_representative()

clone

protected Classifier.Instance clone()

Makes shallow copy. Delegates to Object.clone().

Overrides:

clone in class Object

setIsClass

public void setIsClass()

isClass

public boolean isClass()

isBound

public boolean isBound()

representative

public Classifier.Instance representative()

newHypothesis

Classifier.Instance newHypothesis(Classifier.Instance other)

hypothesisConfirmed

public void hypothesisConfirmed()

hypothesisFalsified

public void hypothesisFalsified()

validDefinition

Definition validDefinition()

format

public Format format()