Python STerm.STArgNoOffsetの例

コード例 #1

ファイル: InterfaceDictionary.py プロジェクト: static-analysis-engineering/CodeHawk-C

 def f_nooffset(index: int, key: object) -> ST.STArgNoOffset:
     return ST.STArgNoOffset(self, index, tags, [])

コード例 #2

ファイル: InterfaceDictionary.py プロジェクト: static-analysis-engineering/CodeHawk-C

    "MAXUINT32": "4294967295",
    "MININT64": "-9223372036854775808",
    "MAXINT64": "9223372036854775807",
    "MAXUINT64": "18446744073709551615",
}

api_parameter_constructors: Dict[
    str, Callable[[Tuple["InterfaceDictionary", int, List[str], List[int]]],
                  ApiParameter], ] = {
                      "pf": lambda x: AP.APFormal(*x),
                      "pg": lambda x: AP.APGlobal(*x),
                  }

s_offset_constructors: Dict[str, Callable[
    [Tuple["InterfaceDictionary", int, List[str], List[int]]], SOffset], ] = {
        "no": lambda x: ST.STArgNoOffset(*x),
        "fo": lambda x: ST.STArgFieldOffset(*x),
        "io": lambda x: ST.STArgIndexOffset(*x),
    }

s_term_constructors: Dict[str, Callable[
    [Tuple["InterfaceDictionary", int, List[str], List[int]]], STerm], ] = {
        "av": lambda x: ST.STArgValue(*x),
        "rv": lambda x: ST.STReturnValue(*x),
        "nc": lambda x: ST.STNamedConstant(*x),
        "ic": lambda x: ST.STNumConstant(*x),
        "is": lambda x: ST.STIndexSize(*x),
        "bs": lambda x: ST.STByteSize(*x),
        "fo": lambda x: ST.STFieldOffset(*x),
        "aa": lambda x: ST.STArgAddressedValue(*x),
        "at": lambda x: ST.STArgNullTerminatorPos(*x),

コード例 #3

 def f(index, key):
     return ST.STArgNoOffset(self, index, t.tags, t.args)

コード例 #4

 def f(index, key):
     return ST.STArgNoOffset(self, index, tags, [])

コード例 #5

    "MAXUINT16": "65535",
    "MININT32": "-2147483648",
    "MAXINT32": "2147483647",
    "MAXUINT32": "4294967295",
    "MININT64": "-9223372036854775808",
    "MAXINT64": "9223372036854775807",
    "MAXUINT64": "18446744073709551615"
}

api_parameter_constructors = {
    'pf': lambda x: AP.APFormal(*x),
    'pg': lambda x: AP.APGlobal(*x)
}

s_offset_constructors = {
    'no': lambda x: ST.STArgNoOffset(*x),
    'fo': lambda x: ST.STArgFieldOffset(*x),
    'io': lambda x: ST.STArgIndexOffset(*x)
}

s_term_constructors = {
    'av': lambda x: ST.STArgValue(*x),
    'rv': lambda x: ST.STReturnValue(*x),
    'nc': lambda x: ST.STNamedConstant(*x),
    'ic': lambda x: ST.STNumConstant(*x),
    'is': lambda x: ST.STIndexSize(*x),
    'bs': lambda x: ST.STByteSize(*x),
    'fo': lambda x: ST.STFieldOffset(*x),
    'aa': lambda x: ST.STArgAddressedValue(*x),
    'at': lambda x: ST.STArgNullTerminatorPos(*x),
    'st': lambda x: ST.STArgSizeOfType(*x),