Class

de.fosd.typechef.crewrite

StdLibFuncReturn

Related Doc: package crewrite

Permalink

sealed abstract class StdLibFuncReturn extends MonotoneFWIdLab with UsedDefinedDeclaredVariables

Linear Supertypes
UsedDefinedDeclaredVariables, MonotoneFWIdLab, MonotoneFW[(Id, Int)], CFGHelper, IntraCFG, ConditionalNavigation, ASTNavigation, AnyRef, Any
Known Subclasses
StdLibFuncReturn_EOF, StdLibFuncReturn_Null
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. StdLibFuncReturn
  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

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

Abstract Value Members

  1. abstract val errorreturn: List[AST]

    Permalink

  2. abstract val function: List[String]

    Permalink

Concrete 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
    StdLibFuncReturn → 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
    StdLibFuncReturn → MonotoneFW

  8. def checkForPotentialCalls(a: AST): List[Id]

    Permalink

  9. def childAST(e: Product): AST

    Permalink
    Definition Classes
    ASTNavigation

  10. def circle(e: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  11. def clone(): AnyRef

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

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

    Permalink
    Attributes
    protected
    Definition Classes
    StdLibFuncReturn → MonotoneFW

  13. val combinator: (AST) ⇒ L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Definition Classes
    UsedDefinedDeclaredVariables

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

    Permalink
    Definition Classes
    UsedDefinedDeclaredVariables

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

    Permalink
    Definition Classes
    AnyRef

  18. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  19. val f_l: (AST) ⇒ L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

  27. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ASTNavigation

  30. def flow(e: AST): CFG

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  31. def flowR(e: AST): CFG

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  32. val fm: FeatureModel

    Permalink
    Definition Classes
    MonotoneFW

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab

  34. def gen(a: AST): L

    Permalink
    Definition Classes
    StdLibFuncReturn → 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 getUsedVariables(a: AST): L

    Permalink

  42. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Attributes
    protected
    Definition Classes
    StdLibFuncReturn → MonotoneFW

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

    Permalink
    Definition Classes
    MonotoneFW

  45. def infunction(a: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    StdLibFuncReturn → MonotoneFW

  46. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Attributes
    protected
    Definition Classes
    IntraCFG

  48. def isVariable(e: Product): Boolean

    Permalink
    Definition Classes
    ConditionalNavigation

  49. def kill(a: AST): L

    Permalink
    Definition Classes
    StdLibFuncReturn → MonotoneFW

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

  51. def mapGenKillElements2MonotoneElements(s: L): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  52. val memo: IdentityHashMapCache[R]

    Permalink
    Definition Classes
    MonotoneFW

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

  57. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  58. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    MonotoneFW

  60. def outfunction(a: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    StdLibFuncReturn → MonotoneFW

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

  63. def point(e: AST): L

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Definition Classes
    IntraCFG

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

    Permalink
    Definition Classes
    IntraCFG

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ASTNavigation

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

    Permalink
    Definition Classes
    ConditionalNavigation

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

    Permalink
    Definition Classes
    IntraCFG

  70. val succCCFGCache: CFGCache

    Permalink
    Attributes
    protected
    Definition Classes
    IntraCFG

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  73. def t2T(i: PGT): PGT

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFWIdLab → MonotoneFW

  74. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Attributes
    protected
    Definition Classes
    MonotoneFW

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

    Permalink
    Definition Classes
    UsedDefinedDeclaredVariables

  77. final def wait(): Unit

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

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

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

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