CDeclUse

Type Members

type EnumEnv = Map[String, (FeatureExpr, Id)]

Enum Environment: Just a set of names that are valid enums.
Enum Environment: Just a set of names that are valid enums. No need to remember fields etc, because they are integers anyway and no further checking is done in C

Definition Classes
CEnv
class Env extends AnyRef

Attributes
protected
Definition Classes
CEnv
type LabelEnv = Map[String, FeatureExpr]

label environment: stores which labels are reachable from a goto.
label environment: stores which labels are reachable from a goto.
the environment is filled upon function entry for the entire function and just stores under which condition a label is defined

Definition Classes
CEnv
class StructEnv extends AnyRef

Definition Classes
CEnv
case class StructTag(isComplete: Boolean, fields: ConditionalTypeMap, scope: Int, id: Option[Id] = None) extends Product with Serializable

for struct and union ConditionalTypeMap represents for the fields of the struct
for struct and union ConditionalTypeMap represents for the fields of the struct
structs do not need to be defined, but they can be complete (with fields) or incomplete
we store whether a structure with this name is complete (FeatureExpr). a redeclaration in an inner scope may reduce completeness again
we do not distinguish between alternative structures. fields are merged in one ConditionalTypeMap entry, but by construction they cannot overlap if the structure declarations do not overlap variant-wise
the structEnv maps a tag name to a conditional tuple (isComplete, fields, scope)

Definition Classes
CEnv
type VarTypingContext = ConditionalVarEnv

*** Variable-Typing context (collects all top-level and local declarations) variables with local scope overwrite variables with global scope
*** Variable-Typing context (collects all top-level and local declarations) variables with local scope overwrite variables with global scope

Definition Classes
CEnv

Value Members

final def !=(arg0: Any): Boolean

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

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

Definition Classes
AnyRef → Any
object EmptyEnv extends Env

Definition Classes
CEnv
def addAnonStructUse(id: Id, fields: ConditionalTypeMap): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addDecl(current: Any, featureExpr: FeatureExpr, env: Env, isDefinition: Boolean = true): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addDefinition(definition: AST, env: Env, feature: FeatureExpr, isFunctionDeclarator: Boolean = false): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addEnumUse(entry: AST, env: Env, feature: FeatureExpr): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addEnv(ast: AST, env: Env): Unit

invoked before every external decl, statement and expression with the environment of that node
invoked before every external decl, statement and expression with the environment of that node
for example to debug the environment
mixed in from CEnvCache

Attributes
protected
Definition Classes
CEnvCache → CTypeSystemInterface
def addJumpStatements(compoundStatement: CompoundStatement): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addOldStyleParameters(oldStyleParameters: List[Opt[OldParameterDeclaration]], declarator: Declarator, expr: FeatureExpr, env: Env): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addStructDeclUse(entry: Id, env: Env, isUnion: Boolean, feature: FeatureExpr): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addStructDefinition(definition: AST, env: Env, feature: FeatureExpr): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addStructRedeclaration(env: Env, declaration: Id, feature: FeatureExpr, isUnion: Boolean): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addStructUse(entry: AST, featureExpr: FeatureExpr, env: Env, structName: String, isUnion: Boolean): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addTypeUse(entry: AST, env: Env, feature: FeatureExpr): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def addUse(entry: AST, feature: FeatureExpr, env: Env): Unit

Definition Classes
CDeclUse → CDeclUseInterface
final def asInstanceOf[T0]: T0

Definition Classes
Any
def assertTypeSystemConstraint(condition: Boolean, featureExpr: FeatureExpr, msg: String, where: AST): Boolean

Attributes
protected
Definition Classes
CTypeSystemInterface
def checkDefuse(ast: AST, declUseMap: IdentityIdHashMap, useDeclMap: IdentityIdHashMap, fm: FeatureModel = ...): (String, Int, Int, Int)
def checkingExternal(externalDef: ExternalDef): Unit

invoked before checking an external declaration (for example used for progress reports)
invoked before checking an external declaration (for example used for progress reports)

Attributes
protected
Definition Classes
CTypeSystemInterface
def clearDeclUseMap(): Unit

Definition Classes
CDeclUse → CDeclUseInterface
def clone(): AnyRef

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

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

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getDeclUseMap: IdentityIdHashMap
def getUseDeclMap: IdentityIdHashMap
def hashCode(): Int

Definition Classes
AnyRef → Any
def init(): Unit

Definition Classes
CDeclUse → CDeclUseInterface
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def issueTypeError(severity: Severity, condition: FeatureExpr, msg: String, where: AST, severityExtra: String = ""): Unit

error reporting for type errors
error reporting for type errors

Attributes
protected
Definition Classes
CTypeSystemInterface
def lookupEnv(ast: AST): Env

Definition Classes
CEnvCache
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val numberOfBuiltinFunctions: Int
final def reportTypeError(featureExpr: FeatureExpr, txt: String, where: AST, severity: Severity = Severity.OtherError, severityExtra: String = ""): CUnknown

Attributes
protected
Definition Classes
CTypeSystemInterface
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def typedExpr(expr: Expr, ctype: Conditional[CType], featureExpr: FeatureExpr, env: Env): Unit

invoked after typing an expression
invoked after typing an expression
refined by CTypeCache if desired

Attributes
protected
Definition Classes
CTypeSystemInterface
def typedFunction(fun: FunctionDef, ctype: Conditional[CType], featureExpr: FeatureExpr): Unit

invoked after typing a function definition (top level declaration, not nested function)
invoked after typing a function definition (top level declaration, not nested function)

Attributes
protected
Definition Classes
CTypeSystemInterface
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package typesystem

trait CDeclUse extends CDeclUseInterface with CEnv with CEnvCache

Type Members

type EnumEnv = Map[String, (FeatureExpr, Id)]

class Env extends AnyRef

type LabelEnv = Map[String, FeatureExpr]

class StructEnv extends AnyRef

case class StructTag(isComplete: Boolean, fields: ConditionalTypeMap, scope: Int, id: Option[Id] = None) extends Product with Serializable

type VarTypingContext = ConditionalVarEnv

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object EmptyEnv extends Env

def addAnonStructUse(id: Id, fields: ConditionalTypeMap): Unit

def addDecl(current: Any, featureExpr: FeatureExpr, env: Env, isDefinition: Boolean = true): Unit

def addDefinition(definition: AST, env: Env, feature: FeatureExpr, isFunctionDeclarator: Boolean = false): Unit

def addEnumUse(entry: AST, env: Env, feature: FeatureExpr): Unit

def addEnv(ast: AST, env: Env): Unit

def addJumpStatements(compoundStatement: CompoundStatement): Unit

def addOldStyleParameters(oldStyleParameters: List[Opt[OldParameterDeclaration]], declarator: Declarator, expr: FeatureExpr, env: Env): Unit

def addStructDeclUse(entry: Id, env: Env, isUnion: Boolean, feature: FeatureExpr): Unit

def addStructDefinition(definition: AST, env: Env, feature: FeatureExpr): Unit

def addStructRedeclaration(env: Env, declaration: Id, feature: FeatureExpr, isUnion: Boolean): Unit

def addStructUse(entry: AST, featureExpr: FeatureExpr, env: Env, structName: String, isUnion: Boolean): Unit

def addTypeUse(entry: AST, env: Env, feature: FeatureExpr): Unit

def addUse(entry: AST, feature: FeatureExpr, env: Env): Unit

final def asInstanceOf[T0]: T0

def assertTypeSystemConstraint(condition: Boolean, featureExpr: FeatureExpr, msg: String, where: AST): Boolean

def checkDefuse(ast: AST, declUseMap: IdentityIdHashMap, useDeclMap: IdentityIdHashMap, fm: FeatureModel = ...): (String, Int, Int, Int)

def checkingExternal(externalDef: ExternalDef): Unit

def clearDeclUseMap(): Unit

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def getDeclUseMap: IdentityIdHashMap

def getUseDeclMap: IdentityIdHashMap

def hashCode(): Int

def init(): Unit

final def isInstanceOf[T0]: Boolean

def issueTypeError(severity: Severity, condition: FeatureExpr, msg: String, where: AST, severityExtra: String = ""): Unit

def lookupEnv(ast: AST): Env

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val numberOfBuiltinFunctions: Int

final def reportTypeError(featureExpr: FeatureExpr, txt: String, where: AST, severity: Severity = Severity.OtherError, severityExtra: String = ""): CUnknown

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

def toString(): String

def typedExpr(expr: Expr, ctype: Conditional[CType], featureExpr: FeatureExpr, env: Env): Unit

def typedFunction(fun: FunctionDef, ctype: Conditional[CType], featureExpr: FeatureExpr): Unit

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from CEnvCache

Inherited from CTypeSystemInterface

Inherited from CDeclUseInterface

Inherited from CEnv

Inherited from AnyRef

Inherited from Any

Ungrouped