Class

de.fosd.typechef.crewrite

XFree

Related Doc: package crewrite

Permalink

class XFree 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. XFree
  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 XFree(env: ASTEnv, dum: DeclUseMap, udm: UseDeclMap, fm: FeatureModel, casestudy: String)

    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
    XFree → 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
    XFree → 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
    XFree → 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 freedVariables(a: AST): List[Id]

    Permalink

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab

  34. def gen(a: AST): L

    Permalink
    Definition Classes
    XFree → MonotoneFW

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

    Permalink
    Definition Classes
    CFGHelper

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

    Permalink
    Definition Classes
    CFGHelper

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

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  41. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  42. val i: Map[(Id, Int), FeatureExpr]

    Permalink
    Attributes
    protected
    Definition Classes
    XFree → MonotoneFW

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

    Permalink
    Definition Classes
    MonotoneFW

  44. def infunction(a: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    XFree → MonotoneFW

  45. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Attributes
    protected
    Definition Classes
    IntraCFG

  47. def isVariable(e: Product): Boolean

    Permalink
    Definition Classes
    ConditionalNavigation

  48. def kill(a: AST): L

    Permalink
    Definition Classes
    XFree → MonotoneFW

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  50. def mapGenKillElements2MonotoneElements(s: L): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  51. val memo: IdentityHashMapCache[R]

    Permalink
    Definition Classes
    MonotoneFW

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

  56. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  57. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    MonotoneFW

  59. def outfunction(a: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    XFree → MonotoneFW

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

  62. def point(e: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Definition Classes
    IntraCFG

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

    Permalink
    Definition Classes
    IntraCFG

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

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

    Permalink
    Definition Classes
    IntraCFG

  69. val succCCFGCache: CFGCache

    Permalink
    Attributes
    protected
    Definition Classes
    IntraCFG

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  72. def t2T(i: PGT): PGT

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  73. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Definition Classes
    UsedDefinedDeclaredVariables

  76. final def wait(): Unit

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

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

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

  78. 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