Python FnXprDictionaryRecord.__init__ Examples

Example #1

File: XXpr.py Project: static-analysis-engineering/CodeHawk-Binary

 def __init__(self, xd: "FnXprDictionary",
              ixval: IndexedTableValue) -> None:
     FnXprDictionaryRecord.__init__(self, xd, ixval)

Example #2

File: XConstant.py Project: static-analysis-engineering/CodeHawk-Binary

 def __init__(self, xd: "chb.invariants.FnXprDictionary.FnXprDictionary",
              ixval: IndexedTableValue) -> None:
     FnXprDictionaryRecord.__init__(self, xd, ixval)