de.fosd.typechef.crewrite

CFGInNonVoidFunc

class CFGInNonVoidFunc extends IntraCFG

Linear Supertypes
IntraCFG, ConditionalNavigation, ASTNavigation, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. CFGInNonVoidFunc
  2. IntraCFG
  3. ConditionalNavigation
  4. ASTNavigation
  5. AnyRef
  6. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CFGInNonVoidFunc(env: ASTEnv, ts: CTypeSystemFrontend)

Type Members

  1. class CFGCache extends AnyRef

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

    Definition Classes
    IntraCFG

Value Members

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

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

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

    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  5. def cfgInNonVoidFunc(f: FunctionDef): List[Opt[AST]]

  6. def childAST(e: Product): AST

    Definition Classes
    ASTNavigation
  7. def clone(): AnyRef

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

    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  10. def filterASTElems[T <: AST](a: Any, ctx: FeatureExpr, env: ASTEnv)(implicit m: ClassTag[T]): List[T]

    Definition Classes
    ASTNavigation
  11. def filterASTElems[T <: AST](a: Any)(implicit m: ClassTag[T]): List[T]

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

    Definition Classes
    ASTNavigation
  13. def filterAllASTElems[T <: AST](a: Any)(implicit m: ClassTag[T]): List[T]

    Definition Classes
    ASTNavigation
  14. def filterAllFeatureExpr(e: Product): List[FeatureExpr]

    Definition Classes
    ConditionalNavigation
  15. def filterAllOptElems(e: Product): List[Opt[_]]

    Definition Classes
    ConditionalNavigation
  16. def filterAllVariableElems(e: Product): List[Product]

    Definition Classes
    ConditionalNavigation
  17. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. def findPriorASTElem[T <: AST](a: Product, env: ASTEnv)(implicit m: ClassTag[T]): Option[T]

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

    Definition Classes
    ASTNavigation
  20. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  21. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  22. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  23. def isPartOf(subterm: Product, term: Any): Boolean

    Attributes
    protected
    Definition Classes
    IntraCFG
  24. def isVariable(e: Product): Boolean

    Definition Classes
    ConditionalNavigation
  25. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  26. def nextAST(e: Product, env: ASTEnv): AST

    Definition Classes
    ASTNavigation
  27. def nextASTElems(e: Product, env: ASTEnv): List[AST]

    Definition Classes
    ASTNavigation
  28. def nextOpt(e: Opt[_], env: ASTEnv): Opt[_]

    Definition Classes
    ConditionalNavigation
  29. final def notify(): Unit

    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  31. def parentAST(e: Product, env: ASTEnv): AST

    Definition Classes
    ASTNavigation
  32. def parentOpt(e: Product, env: ASTEnv): Opt[_]

    Definition Classes
    ConditionalNavigation
  33. def pred(source: Product, env: ASTEnv): CFG

    Definition Classes
    IntraCFG
  34. def predHelper(source: Product, ctx: FeatureExpr, oldres: CFGRes, env: ASTEnv): CFGRes

    Definition Classes
    IntraCFG
  35. def prevAST(e: Product, env: ASTEnv): AST

    Definition Classes
    ASTNavigation
  36. def prevASTElems(e: Product, env: ASTEnv): List[AST]

    Definition Classes
    ASTNavigation
  37. def prevOpt(e: Opt[_], env: ASTEnv): Opt[_]

    Definition Classes
    ConditionalNavigation
  38. def succ(source: AST, env: ASTEnv): CFG

    Definition Classes
    IntraCFG
  39. val succCCFGCache: CFGCache

    Attributes
    protected
    Definition Classes
    IntraCFG
  40. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  41. def toString(): String

    Definition Classes
    AnyRef → Any
  42. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from IntraCFG

Inherited from ConditionalNavigation

Inherited from ASTNavigation

Inherited from AnyRef

Inherited from Any

Ungrouped