de.fosd.typechef.typesystem
storing the following information per variable:
* name * AST -> declaring AST element, for debugging purposes and giving error messages with locations * CType -> type * DeclarationKind -> declaration, definition, enum, or parameter * Int -> Scope (0=top level, 1 = function, ...) * Linkage (isInternal) -> internal/external
apply returns a type, possibly CUndefined or a choice type
returns only the type information, not the ast
storing the following information per variable:
* name * AST -> declaring AST element, for debugging purposes and giving error messages with locations * CType -> type * DeclarationKind -> declaration, definition, enum, or parameter * Int -> Scope (0=top level, 1 = function, ...) * Linkage (isInternal) -> internal/external