Env

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. def addCompletenessCheck(check: (Env) ⇒ Unit): Env

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

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

9. def addTypedefs(typedefs: ConditionalTypeMap): Env

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

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

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

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

14. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

15. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

16. val enumEnv: EnumEnv

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

    Definition Classes

    AnyRef

18. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

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

20. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

21. def forceOpenCompletenessChecks(): Unit

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

    Definition Classes

    AnyRef → Any

23. def hashCode(): Int

    Definition Classes

    AnyRef → Any

24. def incScope(): Env

25. val isDeadCode: FeatureExpr

26. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

27. def isSecurityRelevantLocation: Boolean

28. val labelEnv: LabelEnv

29. def markDead(condition: FeatureExpr): Env

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

31. def markSecurityRelevant(reason: String): Env

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

    Definition Classes

    AnyRef

33. final def notify(): Unit

    Definition Classes

    AnyRef

34. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

36. val scope: Int

37. val securityRelevantLocation: Option[String]

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

39. val structEnv: StructEnv

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

    Definition Classes

    AnyRef

41. def toString(): String

    Definition Classes

    AnyRef → Any

42. val typedefEnv: ConditionalTypeMap

43. def updateEnumEnv(s: EnumEnv): Env

44. def updateLabelEnv(s: LabelEnv): Env

45. def updateStructEnv(s: StructEnv): Env

46. def updateVarEnv(newVarEnv: VarTypingContext): Env

47. val varEnv: VarTypingContext

48. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )