org.kiama.attribution

DynamicAttribution

object DynamicAttribution extends AttributionBase

Support for dynamic attribution of syntax trees. Dynamic attributes definitions can be extended at runtime.

Linear Supertypes
AttributionBase, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. DynamicAttribution
  2. AttributionBase
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Type Members

  1. type ChangeBuffer = ArrayBuffer[(org.kiama.attribution.DynamicAttribution.DynamicAttribute[_, _], org.kiama.package.==>[_, _])]

  2. class CircularAttribute [T <: AnyRef, U] extends $eq$eq$greater[T, U]

    An attribute of a node type T with value of type U which has a circular definition.

  3. class ComposedPartialFunction [T, U] extends $eq$eq$greater[T, U]

    A partial function composed of an ordered, mutable buffer of PartialFunction instances.

  4. class DynamicAttribute [T, U] extends $eq$eq$greater[T, U]

  5. class ParamAttributeKey extends AnyRef

    Support for parameterised attributes: argument, node pair comparison.

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  6. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  7. def attr [T <: AnyRef, U] (f: $eq$eq$greater[T, U]): $eq$eq$greater[T, U]

    Define an attribute of T nodes of type U by the function f.

  8. def childAttr [T <: Attributable, U] (f: (T) ⇒ $eq$eq$greater[Attributable, U]): $eq$eq$greater[T, U]

    Define an attribute of T nodes of type U by the function f, which takes the current node and its parent as its arguments.

    Define an attribute of T nodes of type U by the function f, which takes the current node and its parent as its arguments. T must be Attributable so that parents can be accessed.

  9. def circular [T <: AnyRef, U] (init: U)(f: $eq$eq$greater[T, U]): $eq$eq$greater[T, U]

    Define a circular attribute of T nodes of type U by the function f.

    Define a circular attribute of T nodes of type U by the function f. f is allowed to depend on the value of this attribute, which will be given by init initially and will be evaluated iteratively until a fixed point is reached (in conjunction with other circular attributes on which it depends). The final value is cached.

    Definition Classes
    AttributionBase
  10. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  11. def constant [T <: AnyRef, U] (u: ⇒ U): $eq$eq$greater[T, U]

    Define an attribute of T nodes of type U given by the constant value u.

    Define an attribute of T nodes of type U given by the constant value u. u is evaluated at most once.

    Definition Classes
    AttributionBase
  12. def endUse (attributeInitializer: AnyRef): Unit

    Deactivates a module that defines dynamic attributes, activated using #use.

  13. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  14. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  15. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  16. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef
  17. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  18. implicit def internalToDynamicAttribute [T <: AnyRef, U] (f: Function[T, U]): DynamicAttribute[T, U]

    Implicitly converts partial functions to support the + operator.

    Implicitly converts partial functions to support the + operator.

    Attributes
    implicit
  19. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  20. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  21. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  22. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  23. def resetMemo (): Unit

    Lazily resets all memoisation tables.

  24. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  25. def toString (): String

    Definition Classes
    AnyRef → Any
  26. def use [T] (attributeInitializer: ⇒ AnyRef): Unit

    Activates a module that defines dynamic attributes, allowing it to be deactivated again using #endUse.

  27. def using [T] (attributeInitializer: ⇒ AnyRef)(block: ⇒ T): T

    Defines a new scope in which a dynamic attribution module is active.

    Defines a new scope in which a dynamic attribution module is active. At the end of the scope, the module is unloaded again.

    attributeInitializer

    A module defining dynamic attributes.

    block

    A block to evaluate.

  28. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  29. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  30. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AttributionBase

Inherited from AnyRef

Inherited from Any