codehawkc
Contents:
CodeHawk-C File Organization
chc package
Subpackages
chc.api package
chc.app package
Submodules
chc.app.AssignDictionaryRecord module
chc.app.CApplication module
chc.app.CAttributes module
chc.app.CCompInfo module
chc.app.CConst module
chc.app.CContext module
chc.app.CContextDictionary module
chc.app.CDeclarations module
chc.app.CDictionary module
chc.app.CDictionaryRecord module
chc.app.CEnumInfo module
chc.app.CEnumItem module
chc.app.CExp module
chc.app.CFieldInfo module
chc.app.CFile module
chc.app.CFileAssignment module
chc.app.CFileAssignmentDictionary module
chc.app.CFileDeclarations module
chc.app.CFileDictionary module
chc.app.CFileGlobals module
chc.app.CFunDeclarations module
chc.app.CFunction module
chc.app.CGXrefs module
chc.app.CGlobalDeclarations module
chc.app.CGlobalDictionary module
chc.app.CHVersion module
chc.app.CInitInfo module
chc.app.CInstr module
chc.app.CLHost module
chc.app.CLocation module
chc.app.CLval module
chc.app.COffset module
chc.app.CStmt module
chc.app.CTyp module
chc.app.CTypeInfo module
chc.app.CTypsig module
chc.app.CVarInfo module
chc.app.IndexManager module
chc.cmdline package
chc.invariants package
chc.jsoninterface package
chc.linker package
chc.proof package
chc.reporting package
chc.source package
chc.util package
codehawkc
»
chc package
»
chc.app package
»
chc.app.CDeclarations module
View page source
chc.app.CDeclarations module
Abstract super class for CGlobalDeclarations and CFileDeclarations.
class
chc.app.CDeclarations.
CDeclarations
[source]
Bases:
abc.ABC
abstract
property
cfile
:
CFile
abstract
property
dictionary
:
chc.app.CDictionary.CDictionary
expand
(
name
:
str
)
→
CTyp
[source]
abstract
get_compinfo_by_ckey
(
ckey
:
int
)
→
CCompInfo
[source]
abstract
get_fieldinfo
(
ix
:
int
)
→
CFieldInfo
[source]
abstract
get_initinfo
(
ix
:
int
)
→
CInitInfo
[source]
get_location
(
ix
:
int
)
→
CLocation
[source]
abstract
get_offset_init
(
ix
:
int
)
→
COffsetInitInfo
[source]
property
varinfo_storage_classes
:
Dict
[
int
,
Set
[
str
]
]