Class

de.fosd.typechef.typesystem.CEnv

Env

Related Doc: package CEnv

Permalink

class Env extends AnyRef

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

Instance Constructors

  1. new Env(typedefEnv: ConditionalTypeMap, varEnv: VarTypingContext, structEnv: StructEnv, enumEnv: EnumEnv, labelEnv: LabelEnv, expectedReturnType: Option[Conditional[CType]], scope: Int, isDeadCode: FeatureExpr, openCompletenessChecks: List[(Env) ⇒ Unit], securityRelevantLocation: Option[String])

    Permalink

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

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

    Permalink

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

    Permalink

  7. def addTypedefs(typedefs: ConditionalTypeMap): Env

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  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

  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

  18. def finalize(): Unit

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

  19. def forceOpenCompletenessChecks(): Unit

    Permalink

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

    Permalink
    Definition Classes
    AnyRef → Any

  21. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  22. def incScope(): Env

    Permalink

  23. val isDeadCode: FeatureExpr

    Permalink

  24. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  25. def isSecurityRelevantLocation: Boolean

    Permalink

  26. val labelEnv: LabelEnv

    Permalink

  27. def markDead(condition: FeatureExpr): Env

    Permalink

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

    Permalink

  29. def markSecurityRelevant(reason: String): Env

    Permalink

  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

  34. val scope: Int

    Permalink

  35. val securityRelevantLocation: Option[String]

    Permalink

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

    Permalink

  37. val structEnv: StructEnv

    Permalink

  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

  41. def updateEnumEnv(s: EnumEnv): Env

    Permalink

  42. def updateLabelEnv(s: LabelEnv): Env

    Permalink

  43. def updateStructEnv(s: StructEnv): Env

    Permalink

  44. def updateVarEnv(newVarEnv: VarTypingContext): Env

    Permalink

  45. val varEnv: VarTypingContext

    Permalink

  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 AnyRef

Inherited from Any

Ungrouped