org.eidola.kernel
Class Function.Compilation

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

Enclosing class:

Function

public class Function.Compilation

extends NamedElement.Compilation

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

elementsUsed

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

contents

Constructor Summary

Function.Compilation()

Method Summary

protected void	calculateDerived() Calculates the contents of this function.
protected void	checkLazy() Check the collection structure.
boolean	specializes(NamedElement other) Returns true if other is a function with the same number of input and output parameters, and each parameter of this function specializes a corresponding parameter of other with the same name.

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

Function.Compilation

public Function.Compilation()

Method Detail

specializes

public boolean specializes(NamedElement other)

Returns true if other is a function with the same number of input and output parameters, and each parameter of this function specializes a corresponding parameter of other with the same name.

Overrides:

specializes in class NamedElement.Compilation

calculateDerived

protected void calculateDerived()

Calculates the contents of this function.

Overrides:

calculateDerived in class Container.Compilation

checkLazy

protected void checkLazy()

Check the collection structure. A Function must satisfy the following conditions, in addition to the conditions required by Element.Compilation.checkLazy():

• This function must own its parameters and its body.
• The names of all parameters must be unique.
• No parameter can appear twice in either the input or output list (although it can appear once in each).

Overrides:

checkLazy in class NamedElement.Compilation

Returns:

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