Object

org.emmalanguage.ast.Transversers.TransverserAPI.BottomUp

exhaust

Related Doc: package BottomUp

Permalink

object exhaust extends AST.Strategy[HNil, HNil, HNil]

Bottom-up exhaustive traversal / transformation and attribute generation.

Linear Supertypes
AST.Strategy[HNil, HNil, HNil], Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. exhaust
  2. Strategy
  3. Serializable
  4. Serializable
  5. Product
  6. Equals
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Acc = HNil

    Permalink
    Definition Classes
    Strategy
  2. type Inh = HNil

    Permalink
    Definition Classes
    Strategy
  3. type Syn = HNil

    Permalink
    Definition Classes
    Strategy

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def accumulate[X](acc: AST.=?>[scala.reflect.api.Universe.Tree, X])(implicit arg0: Monoid[X]): AST.Strategy[::[X, HNil], HNil, HNil]

    Permalink

    Prepends an accumulated attribute based on trees only.

    Prepends an accumulated attribute based on trees only.

    Definition Classes
    Strategy
  5. def accumulateInit[X](init: X)(acc: AST.=?>[AST.Attr[::[X, HNil], HNil, HNil], X])(implicit arg0: Monoid[X]): AST.Strategy[::[X, HNil], HNil, HNil]

    Permalink

    Prepends an accumulated attribute based on all attributes.

    Prepends an accumulated attribute based on all attributes.

    Definition Classes
    Strategy
  6. def accumulateWith[X](acc: AST.=?>[AST.Attr[::[X, HNil], HNil, HNil], X])(implicit m: Monoid[X]): AST.Strategy[::[X, HNil], HNil, HNil]

    Permalink

    Prepends an accumulated attribute based on all attributes.

    Prepends an accumulated attribute based on all attributes.

    Definition Classes
    Strategy
  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  12. def inherit[X](inh: AST.=?>[scala.reflect.api.Universe.Tree, X])(implicit arg0: Monoid[X]): AST.Strategy[HNil, ::[X, HNil], HNil]

    Permalink

    Prepends an inherited attribute based on trees only.

    Prepends an inherited attribute based on trees only.

    Definition Classes
    Strategy
  13. def inheritInit[X](init: X)(inh: AST.=?>[AST.Attr[HNil, ::[X, HNil], HNil], X])(implicit arg0: Monoid[X]): AST.Strategy[HNil, ::[X, HNil], HNil]

    Permalink

    Prepends an inherited attribute based on inherited and synthesized attributes.

    Prepends an inherited attribute based on inherited and synthesized attributes.

    Definition Classes
    Strategy
  14. def inheritWith[X](inh: AST.=?>[AST.Attr[HNil, ::[X, HNil], HNil], X])(implicit m: Monoid[X]): AST.Strategy[HNil, ::[X, HNil], HNil]

    Permalink

    Prepends an inherited attribute based on inherited and synthesized attributes.

    Prepends an inherited attribute based on inherited and synthesized attributes.

    Definition Classes
    Strategy
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  20. def synthesize[X](syn: AST.=?>[scala.reflect.api.Universe.Tree, X])(implicit arg0: Monoid[X]): AST.Strategy[HNil, HNil, ::[X, HNil]]

    Permalink

    Prepends a synthesized attribute based on trees only.

    Prepends a synthesized attribute based on trees only.

    Definition Classes
    Strategy
  21. def synthesizeInit[X](init: X)(syn: AST.=?>[AST.Attr[HNil, HNil, ::[X, HNil]], X])(implicit arg0: Monoid[X]): AST.Strategy[HNil, HNil, ::[X, HNil]]

    Permalink

    Prepends a synthesized attribute based on all synthesized attributes.

    Prepends a synthesized attribute based on all synthesized attributes.

    Definition Classes
    Strategy
  22. def synthesizeWith[X](syn: AST.=?>[AST.Attr[HNil, HNil, ::[X, HNil]], X])(implicit m: Monoid[X]): AST.Strategy[HNil, HNil, ::[X, HNil]]

    Permalink

    Prepends a synthesized attribute based on all synthesized attributes.

    Prepends a synthesized attribute based on all synthesized attributes.

    Definition Classes
    Strategy
  23. def transform(template: AST.=?>[scala.reflect.api.Universe.Tree, scala.reflect.api.Universe.Tree]): AST.Transform[HNil, HNil, HNil]

    Permalink

    Transforms a tree without access to attributes.

    Transforms a tree without access to attributes.

    Definition Classes
    Strategy
  24. def transformSyn(template: AST.=?>[AST.Attr[HNil, HNil, (scala.reflect.api.Universe.Tree) ⇒ HNil], scala.reflect.api.Universe.Tree]): AST.Transform[HNil, HNil, HNil]

    Permalink

    Transforms a tree with access to all attributes (and a memoized synthesis function).

    Transforms a tree with access to all attributes (and a memoized synthesis function).

    Definition Classes
    Strategy
  25. def transformWith(template: AST.=?>[AST.Attr[HNil, HNil, HNil], scala.reflect.api.Universe.Tree]): AST.Transform[HNil, HNil, HNil]

    Permalink

    Transforms a tree with access to all attributes.

    Transforms a tree with access to all attributes.

    Definition Classes
    Strategy
  26. def traverse(callback: AST.=?>[scala.reflect.api.Universe.Tree, Unit]): AST.Traversal[HNil, HNil, HNil]

    Permalink

    Traverses a tree without access to attributes.

    Traverses a tree without access to attributes.

    Definition Classes
    Strategy
  27. def traverseAny: AST.Traversal[HNil, HNil, HNil]

    Permalink

    Shortcut for visiting every node in a tree.

    Shortcut for visiting every node in a tree.

    Definition Classes
    Strategy
  28. def traverseSyn(callback: AST.=?>[AST.Attr[HNil, HNil, (scala.reflect.api.Universe.Tree) ⇒ HNil], Unit]): AST.Traversal[HNil, HNil, HNil]

    Permalink

    Traverses a tree with access to all attributes (and a memoized synthesis function).

    Traverses a tree with access to all attributes (and a memoized synthesis function).

    Definition Classes
    Strategy
  29. def traverseWith(callback: AST.=?>[AST.Attr[HNil, HNil, HNil], Unit]): AST.Traversal[HNil, HNil, HNil]

    Permalink

    Traverses a tree with access to all attributes.

    Traverses a tree with access to all attributes.

    Definition Classes
    Strategy
  30. def unsafe: AST.Strategy[HNil, HNil, HNil]

    Permalink

    Skip type-safety assertions.

    Skip type-safety assertions. WARNING: Use only if you mean to change types in the tree.

    Definition Classes
    Strategy
  31. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. def withAncestors: AST.Strategy[HNil, ::[Vector[scala.reflect.api.Universe.Tree], HNil], HNil]

    Permalink

    Inherits all ancestors of the current node in a vector.

    Inherits all ancestors of the current node in a vector.

    Definition Classes
    Strategy
  35. def withAssignments: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, Int], HNil]]

    Permalink

    Counts all variable assignments contained in the current node and its children.

    Counts all variable assignments contained in the current node and its children.

    Definition Classes
    Strategy
  36. def withBindDefs: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, scala.reflect.api.Universe.ValDef], HNil]]

    Permalink

    Synthesizes all binding definitions contained in the current node and its children.

    Synthesizes all binding definitions contained in the current node and its children.

    Definition Classes
    Strategy
  37. def withBindUses: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, Int], HNil]]

    Permalink

    Counts all binding references contained in the current node and its children.

    Counts all binding references contained in the current node and its children.

    Definition Classes
    Strategy
  38. def withDefCalls: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.MethodSymbol, Int], HNil]]

    Permalink

    Counts all method calls contained in the current node and its children.

    Counts all method calls contained in the current node and its children.

    Definition Classes
    Strategy
  39. def withDefDefs: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.MethodSymbol, scala.reflect.api.Universe.DefDef], HNil]]

    Permalink

    Synthesizes all method definitions contained in the current node and its children.

    Synthesizes all method definitions contained in the current node and its children.

    Definition Classes
    Strategy
  40. def withDefs: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, scala.reflect.api.Universe.Tree], HNil]]

    Permalink

    Synthesizes all term definitions contained in the current node and its children.

    Synthesizes all term definitions contained in the current node and its children.

    Definition Classes
    Strategy
  41. def withOwner(default: scala.reflect.api.Universe.Symbol): AST.Strategy[HNil, ::[scala.reflect.api.Universe.Symbol, HNil], HNil]

    Permalink

    Inherits the owner of the current node.

    Inherits the owner of the current node.

    Definition Classes
    Strategy
  42. def withOwner: AST.Strategy[HNil, ::[scala.reflect.api.Universe.Symbol, HNil], HNil]

    Permalink

    Inherits the owner of the current node.

    Inherits the owner of the current node.

    Definition Classes
    Strategy
  43. def withOwnerChain: AST.Strategy[HNil, ::[Vector[scala.reflect.api.Universe.Symbol], HNil], HNil]

    Permalink

    Inherits the owner chain of the current node.

    Inherits the owner chain of the current node.

    Definition Classes
    Strategy
  44. def withParDefs: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, scala.reflect.api.Universe.ValDef], HNil]]

    Permalink

    Synthesizes all parameter definitions contained in the current node and its children.

    Synthesizes all parameter definitions contained in the current node and its children.

    Definition Classes
    Strategy
  45. def withParUses: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, Int], HNil]]

    Permalink

    Counts all parameter references contained in the current node and its children.

    Counts all parameter references contained in the current node and its children.

    Definition Classes
    Strategy
  46. def withParent: AST.Strategy[HNil, ::[Option[scala.reflect.api.Universe.Tree], HNil], HNil]

    Permalink

    Inherits the parent of the current node (None if the current node is the root).

    Inherits the parent of the current node (None if the current node is the root).

    Definition Classes
    Strategy
  47. def withRoot: AST.Strategy[HNil, ::[Option[scala.reflect.api.Universe.Tree], HNil], HNil]

    Permalink

    Inherits the root of the tree (None if the current node is the root).

    Inherits the root of the tree (None if the current node is the root).

    Definition Classes
    Strategy
  48. def withUses: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, Int], HNil]]

    Permalink

    Counts all term references contained in the current node and its children.

    Counts all term references contained in the current node and its children.

    Definition Classes
    Strategy
  49. def withValDefs: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, scala.reflect.api.Universe.ValDef], HNil]]

    Permalink

    Synthesizes all value definitions contained in the current node and its children.

    Synthesizes all value definitions contained in the current node and its children.

    Definition Classes
    Strategy
  50. def withValUses: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, Int], HNil]]

    Permalink

    Counts all value references contained in the current node and its children.

    Counts all value references contained in the current node and its children.

    Definition Classes
    Strategy
  51. def withVarDefs: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, scala.reflect.api.Universe.ValDef], HNil]]

    Permalink

    Synthesizes all variable definitions contained in the current node and its children.

    Synthesizes all variable definitions contained in the current node and its children.

    Definition Classes
    Strategy
  52. def withVarUses: AST.Strategy[HNil, HNil, ::[Map[scala.reflect.api.Universe.TermSymbol, Int], HNil]]

    Permalink

    Counts all variable references contained in the current node and its children.

    Counts all variable references contained in the current node and its children.

    Definition Classes
    Strategy

Inherited from AST.Strategy[HNil, HNil, HNil]

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped