Object

de.fosd.typechef.typesystem.CEnv

EmptyEnv

Related Doc: package CEnv

Permalink

object EmptyEnv extends Env

Linear Supertypes
Env, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. EmptyEnv
  2. Env
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

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 addCompletenessCheck(check: (Env) ⇒ Unit): Env

    Permalink
    Definition Classes
    Env

  5. def addTypedef(name: String, f: FeatureExpr, d: AST, t: Conditional[CType]): Env

    Permalink
    Definition Classes
    Env

  6. def addTypedefs(typedefs: Seq[(String, FeatureExpr, (AST, Conditional[CType]))]): Env

    Permalink
    Definition Classes
    Env

  7. def addTypedefs(typedefs: ConditionalTypeMap): Env

    Permalink
    Definition Classes
    Env

  8. def addVar(name: String, f: FeatureExpr, d: AST, t: Conditional[CType], kind: DeclarationKind, scope: Int, linkage: Conditional[Linkage]): Env

    Permalink
    Definition Classes
    Env

  9. def addVars(vars: Seq[(String, FeatureExpr, AST, Conditional[CType])], kind: DeclarationKind, scope: Int, linkage: Linkage): Env

    Permalink
    Definition Classes
    Env

  10. def addVars(vars: Seq[(String, FeatureExpr, AST, Conditional[CType], DeclarationKind, Linkage)], scope: Int): Env

    Permalink
    Definition Classes
    Env

  11. def addVars2(vars: Seq[(String, FeatureExpr, AST, Conditional[CType], DeclarationKind, Conditional[Linkage])], scope: Int): Env

    Permalink
    Definition Classes
    Env

  12. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  13. def clone(): AnyRef

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

  14. val enumEnv: EnumEnv

    Permalink
    Definition Classes
    Env

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

    Permalink
    Definition Classes
    AnyRef

  16. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  17. val expectedReturnType: Option[Conditional[CType]]

    Permalink
    Definition Classes
    Env

  18. def finalize(): Unit

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

  19. def forceOpenCompletenessChecks(): Unit

    Permalink
    Definition Classes
    Env

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

    Permalink
    Definition Classes
    AnyRef → Any

  21. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  22. def incScope(): Env

    Permalink
    Definition Classes
    Env

  23. val isDeadCode: FeatureExpr

    Permalink
    Definition Classes
    Env

  24. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  25. def isSecurityRelevantLocation: Boolean

    Permalink
    Definition Classes
    Env

  26. val labelEnv: LabelEnv

    Permalink
    Definition Classes
    Env

  27. def markDead(condition: FeatureExpr): Env

    Permalink
    Definition Classes
    Env

  28. def markSecurityRelevant(mark: Boolean, reason: String): Env

    Permalink
    Definition Classes
    Env

  29. def markSecurityRelevant(reason: String): Env

    Permalink
    Definition Classes
    Env

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

    Permalink
    Definition Classes
    AnyRef

  31. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  32. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  33. val openCompletenessChecks: List[(Env) ⇒ Unit]

    Permalink
    Definition Classes
    Env

  34. val scope: Int

    Permalink
    Definition Classes
    Env

  35. val securityRelevantLocation: Option[String]

    Permalink
    Definition Classes
    Env

  36. def setExpectedReturnType(newExpectedReturnType: Conditional[CType]): Env

    Permalink
    Definition Classes
    Env

  37. val structEnv: StructEnv

    Permalink
    Definition Classes
    Env

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

    Permalink
    Definition Classes
    AnyRef

  39. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  40. val typedefEnv: ConditionalTypeMap

    Permalink
    Definition Classes
    Env

  41. def updateEnumEnv(s: EnumEnv): Env

    Permalink
    Definition Classes
    Env

  42. def updateLabelEnv(s: LabelEnv): Env

    Permalink
    Definition Classes
    Env

  43. def updateStructEnv(s: StructEnv): Env

    Permalink
    Definition Classes
    Env

  44. def updateVarEnv(newVarEnv: VarTypingContext): Env

    Permalink
    Definition Classes
    Env

  45. val varEnv: VarTypingContext

    Permalink
    Definition Classes
    Env

  46. final def wait(): Unit

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

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

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

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

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

Inherited from Env

Inherited from AnyRef

Inherited from Any

Ungrouped