AutomaticColoringOfEffects
cps.macros.observatory.AutomaticColoringOfEffectsQuoteScope.AutomaticColoringOfEffects
Attributes
- Source:
- AutomaticColoringOfEffects.scala
- Graph
- Supertypes
Members list
Concise view
Value members
Concrete methods
called after tree traverse, to report errors if any
called after tree traverse, to report errors if any
Attributes
- Definition Classes
- Source:
- AutomaticColoringOfEffects.scala
Attributes
def checkApply[F[_] : Type](applyTerm: Term, fun: Term, args: List[Term], tails: List[List[Term]], ctx: ObservationContext[F], owner: Symbol): Unit
Attributes
def checkAwait[F[_] : Type](term: Term, arg: Term, awaitCpsMonadType: TypeRepr, awaitCpsMonad: Term, ctx: ObservationContext[F], owner: Symbol): Unit
Attributes
def checkFunSelect[F[_] : Type](applyTerm: Term, fun: Term, args: List[Term], obj: Term, method: String, tails: List[List[Term]], ctx: ObservationContext[F], owner: Symbol): Unit
Attributes
Called for each element of tree batched with other analysis in traversor.
Called for each element of tree batched with other analysis in traversor.
During prelimnary analysis stge, preliminaryTreeVisit will called for each tree and each subtrees.
Attributes
- Returns:
- true if we want to process subtrees of this tree, otherwise - false.
- Definition Classes
- Source:
- AutomaticColoringOfEffects.scala
Inherited methods
called for each tree when we leave node.
Concrete fields
Attributes
Inherited fields
Attributes
- Inherited from:
- Analysis
- Source:
- Analysis.scala