org.eidola.kernel
Class Class.Compilation

java.lang.Object
  |
  +--org.eidola.kernel.Container.Compilation
        |
        +--org.eidola.kernel.Element.Compilation
              |
              +--org.eidola.kernel.NamedElement.Compilation
                    |
                    +--org.eidola.kernel.Capsule.Compilation
                          |
                          +--org.eidola.kernel.Class.Compilation

Enclosing class:

Class

public class Class.Compilation

extends Capsule.Compilation

Fields inherited from class org.eidola.kernel.Element.Compilation

elementsUsed

Fields inherited from class org.eidola.kernel.Container.Compilation

contents

Constructor Summary

Class.Compilation()
Creates a compilation.

Method Summary

protected void	calculateDerived() Calculates the elements used and the generalizations.
protected void	checkLazy() Checks the class structure.
Set	getGeneralizations() Returns the set which includes this class, its parent, their parents, and so on.
boolean	specializes(NamedElement other) Returns true if the other class is a generalization of this class.

Methods inherited from class org.eidola.kernel.Element.Compilation

getElementsUsed

Methods inherited from class org.eidola.kernel.Container.Compilation

addError, getCompileVersion, getContents, getErrors, hasErrors, isCurrent, run, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Class.Compilation

public Class.Compilation()

Creates a compilation.

Method Detail

specializes

public boolean specializes(NamedElement other)

Returns true if the other class is a generalization of this class.

Overrides:

specializes in class NamedElement.Compilation

getGeneralizations

public Set getGeneralizations()

Returns the set which includes this class, its parent, their parents, and so on.

See Also:

Class.getParents()

calculateDerived

protected void calculateDerived()

Calculates the elements used and the generalizations. If and only if the set of generalizations changes, this method broadcasts a GeneralizationsChanged event.

Overrides:

calculateDerived in class Capsule.Compilation

checkLazy

protected void checkLazy()

Checks the class structure. A class must satisfy the following condition, in addition to the conditions required by Capsule.Compilation.checkLazy():

• For every public member A of every parent, there must be a public member member B of this class such that B specializes A and has the same name.

Overrides:

checkLazy in class Capsule.Compilation

Returns:

A list of SemanticViolations, or an empty list if the structure is OK.