EFM-SYMBEX : Type

Source code structure

Interfaces

• ITypeSpecifier

Classes

• Primitive Type
• Enumeration Type
• Structure Type
• Union Type
• Choice Type

Factories

• TypeSpecifier as Smart Pointer