Class

de.fosd.typechef.crewrite

ReachingDefinitions

Related Doc: package crewrite

Permalink

class ReachingDefinitions extends MonotoneFWIdLab with IntraCFG with CFGHelper with ASTNavigation with UsedDefinedDeclaredVariables

Linear Supertypes
UsedDefinedDeclaredVariables, MonotoneFWIdLab, MonotoneFW[(Id, Int)], CFGHelper, IntraCFG, ConditionalNavigation, ASTNavigation, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ReachingDefinitions
  2. UsedDefinedDeclaredVariables
  3. MonotoneFWIdLab
  4. MonotoneFW
  5. CFGHelper
  6. IntraCFG
  7. ConditionalNavigation
  8. ASTNavigation
  9. AnyRef
  10. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ReachingDefinitions(env: ASTEnv, dum: DeclUseMap, udm: UseDeclMap, fm: FeatureModel, f: FunctionDef)

    Permalink

Type Members

  1. class CFGCache extends AnyRef

    Permalink
    Definition Classes
    IntraCFG

  2. type CFGRes = List[(FeatureExpr, FeatureExpr, CFGStmt)]

    Permalink
    Definition Classes
    IntraCFG

  3. type CIR = (Boolean, L)

    Permalink
    Definition Classes
    MonotoneFW

  4. type CPR = (Boolean, L)

    Permalink
    Definition Classes
    MonotoneFW

  5. type L = Map[(Id, Int), FeatureExpr]

    Permalink
    Definition Classes
    MonotoneFW

  6. type PGT = (Id, Int)

    Permalink
    Definition Classes
    MonotoneFW

  7. type POI = (Boolean, L)

    Permalink
    Definition Classes
    MonotoneFW

  8. type R = (CIR, POI)

    Permalink
    Definition Classes
    MonotoneFW

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 F(e: AST): CFG

    Permalink
    Attributes
    protected
    Definition Classes
    ReachingDefinitions → MonotoneFW

  5. def addAnnotations(in: List[PGT]): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab

  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  7. def b: Map[(Id, Int), FeatureExpr]

    Permalink
    Attributes
    protected
    Definition Classes
    ReachingDefinitions → MonotoneFW

  8. def childAST(e: Product): AST

    Permalink
    Definition Classes
    ASTNavigation

  9. def circle(e: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  11. def combinationOperator(l1: L, l2: L): L

    Permalink
    Attributes
    protected
    Definition Classes
    ReachingDefinitions → MonotoneFW

  12. val combinator: (AST) ⇒ L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  13. def createFreshDefinition(i: (Id, Int)): (Id, Int)

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  14. val declares: (AnyRef) ⇒ List[Id]

    Permalink
    Definition Classes
    UsedDefinedDeclaredVariables

  15. val defines: (AnyRef) ⇒ List[Id]

    Permalink
    Definition Classes
    UsedDefinedDeclaredVariables

  16. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  17. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  18. val f_l: (AST) ⇒ L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  19. def filterASTElems[T <: AST](a: Any, ctx: FeatureExpr, env: ASTEnv)(implicit m: ClassTag[T]): List[T]

    Permalink
    Definition Classes
    ASTNavigation

  20. def filterASTElems[T <: AST](a: Any)(implicit m: ClassTag[T]): List[T]

    Permalink
    Definition Classes
    ASTNavigation

  21. def filterAllASTElems[T <: AST](a: Any, ctx: FeatureExpr, env: ASTEnv)(implicit m: ClassTag[T]): List[T]

    Permalink
    Definition Classes
    ASTNavigation

  22. def filterAllASTElems[T <: AST](a: Any)(implicit m: ClassTag[T]): List[T]

    Permalink
    Definition Classes
    ASTNavigation

  23. def filterAllFeatureExpr(e: Product): List[FeatureExpr]

    Permalink
    Definition Classes
    ConditionalNavigation

  24. def filterAllOptElems(e: Product): List[Opt[_]]

    Permalink
    Definition Classes
    ConditionalNavigation

  25. def filterAllVariableElems(e: Product): List[Product]

    Permalink
    Definition Classes
    ConditionalNavigation

  26. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  27. def findPriorASTElem[T <: AST](a: Product, env: ASTEnv)(implicit m: ClassTag[T]): Option[T]

    Permalink
    Definition Classes
    ASTNavigation

  28. def findPriorASTElems[T <: AST](a: Product, env: ASTEnv)(implicit m: ClassTag[T]): List[T]

    Permalink
    Definition Classes
    ASTNavigation

  29. def flow(e: AST): CFG

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  30. def flowR(e: AST): CFG

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  31. val fm: FeatureModel

    Permalink
    Definition Classes
    MonotoneFW

  32. def fromCache(i: Id, isKill: Boolean = false): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab

  33. def gen(a: AST): L

    Permalink
    Definition Classes
    ReachingDefinitions → MonotoneFW

  34. def getAllPred(i: AST, env: ASTEnv): List[(AST, CFG)]

    Permalink
    Definition Classes
    CFGHelper

  35. def getAllSucc(i: AST, env: ASTEnv): List[(AST, CFG)]

    Permalink
    Definition Classes
    CFGHelper

  36. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  37. def getFreshDefinition(i: (Id, Int)): (Id, Int)

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  38. def getFreshDefinitionFromUsage(i: (Id, Int)): Set[(Id, Int)]

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  39. def getOriginal(i: (Id, Int)): (Id, Int)

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  40. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  41. val i: L

    Permalink
    Attributes
    protected
    Definition Classes
    ReachingDefinitions → MonotoneFW

  42. def in(a: AST): List[((Id, Int), FeatureExpr)]

    Permalink
    Definition Classes
    MonotoneFW

  43. def infunction(a: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    ReachingDefinitions → MonotoneFW

  44. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  45. def isPartOf(subterm: Product, term: Any): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    IntraCFG

  46. def isVariable(e: Product): Boolean

    Permalink
    Definition Classes
    ConditionalNavigation

  47. def kill(a: AST): Map[(Id, Int), FeatureExpr]

    Permalink
    Definition Classes
    ReachingDefinitions → MonotoneFW

  48. def l: Map[(Id, Int), FeatureExpr]

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  49. def mapGenKillElements2MonotoneElements(s: L): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  50. val memo: IdentityHashMapCache[R]

    Permalink
    Definition Classes
    MonotoneFW

  51. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  52. def nextAST(e: Product, env: ASTEnv): AST

    Permalink
    Definition Classes
    ASTNavigation

  53. def nextASTElems(e: Product, env: ASTEnv): List[AST]

    Permalink
    Definition Classes
    ASTNavigation

  54. def nextOpt(e: Opt[_], env: ASTEnv): Opt[_]

    Permalink
    Definition Classes
    ConditionalNavigation

  55. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  56. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  57. def out(a: AST): List[((Id, Int), FeatureExpr)]

    Permalink
    Definition Classes
    MonotoneFW

  58. def outfunction(a: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    ReachingDefinitions → MonotoneFW

  59. def parentAST(e: Product, env: ASTEnv): AST

    Permalink
    Definition Classes
    ASTNavigation

  60. def parentOpt(e: Product, env: ASTEnv): Opt[_]

    Permalink
    Definition Classes
    ConditionalNavigation

  61. def point(e: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  62. def pred(source: Product, env: ASTEnv): CFG

    Permalink
    Definition Classes
    IntraCFG

  63. def predHelper(source: Product, ctx: FeatureExpr, oldres: CFGRes, env: ASTEnv): CFGRes

    Permalink
    Definition Classes
    IntraCFG

  64. def prevAST(e: Product, env: ASTEnv): AST

    Permalink
    Definition Classes
    ASTNavigation

  65. def prevASTElems(e: Product, env: ASTEnv): List[AST]

    Permalink
    Definition Classes
    ASTNavigation

  66. def prevOpt(e: Opt[_], env: ASTEnv): Opt[_]

    Permalink
    Definition Classes
    ConditionalNavigation

  67. def succ(source: AST, env: ASTEnv): CFG

    Permalink
    Definition Classes
    IntraCFG

  68. val succCCFGCache: CFGCache

    Permalink
    Attributes
    protected
    Definition Classes
    IntraCFG

  69. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  70. def t2SetT(i: PGT): Set[(Id, Int)]

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  71. def t2T(i: PGT): PGT

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  72. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  73. def union(l: L, l2: L): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  74. val uses: (AnyRef) ⇒ List[Id]

    Permalink
    Definition Classes
    UsedDefinedDeclaredVariables

  75. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  76. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  77. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from UsedDefinedDeclaredVariables

Inherited from MonotoneFWIdLab

Inherited from MonotoneFW[(Id, Int)]

Inherited from CFGHelper

Inherited from IntraCFG

Inherited from ConditionalNavigation

Inherited from ASTNavigation

Inherited from AnyRef

Inherited from Any

Ungrouped