def f_revbuffer(index: int, key: object) -> XP.XRevBuffer:
return XP.XRevBuffer(self, index, tags, args)
def f(index, key):
return XP.XRevBuffer(self, index, tags, args)
"ifs": lambda x: XP.XInputFormatString(*x),
"nm": lambda x: XP.XNewMemory(*x),
"no": lambda x: XP.XNoOverlap(*x),
"nn": lambda x: XP.XNotNull(*x),
"nng": lambda x: XP.XNonNegative(*x),
"nz": lambda x: XP.XNotZero(*x),
"null": lambda x: XP.XNull(*x),
"nt": lambda x: XP.XNullTerminated(*x),
"ofs": lambda x: XP.XOutputFormatString(*x),
"pr": lambda x: XP.XPreservesMemory(*x),
"pv": lambda x: XP.XPreservesValue(*x),
"prm": lambda x: XP.XPreservesAllMemory(*x),
"prmx": lambda x: XP.XPreservesAllMemoryX(*x),
"prn": lambda x: XP.XPreservesNullTermination(*x),
"prv": lambda x: XP.XPreservesValidity(*x),
"rb": lambda x: XP.XRevBuffer(*x),
"rep": lambda x: XP.XRepositioned(*x),
"sa": lambda x: XP.XStackAddress(*x),
"x": lambda x: XP.XRelationalExpr(*x),
"cf": lambda x: XP.XConfined(*x),
"tt": lambda x: XP.XTainted(*x),
"up": lambda x: XP.XUniquePointer(*x),
"vm": lambda x: XP.XValidMem(*x),
}
class InterfaceDictionary(object):
"""Function interface constructs."""
def __init__(self, cfile: "CFile"):
self.cfile = cfile
self.declarations = self.cfile.declarations
'ifs': lambda x: XP.XInputFormatString(*x),
'nm': lambda x: XP.XNewMemory(*x),
'no': lambda x: XP.XNoOverlap(*x),
'nn': lambda x: XP.XNotNull(*x),
'nng': lambda x: XP.XNonNegative(*x),
'nz': lambda x: XP.XNotZero(*x),
'null': lambda x: XP.XNull(*x),
'nt': lambda x: XP.XNullTerminated(*x),
'ofs': lambda x: XP.XOutputFormatString(*x),
'pr': lambda x: XP.XPreservesMemory(*x),
'pv': lambda x: XP.XPreservesValue(*x),
'prm': lambda x: XP.XPreservesAllMemory(*x),
'prmx': lambda x: XP.XPreservesAllMemoryX(*x),
'prn': lambda x: XP.XPreservesNullTermination(*x),
'prv': lambda x: XP.XPreservesValidity(*x),
'rb': lambda x: XP.XRevBuffer(*x),
'rep': lambda x: XP.XRepositioned(*x),
'sa': lambda x: XP.XStackAddress(*x),
'x': lambda x: XP.XRelationalExpr(*x),
'cf': lambda x: XP.XConfined(*x),
'tt': lambda x: XP.XTainted(*x),
'up': lambda x: XP.XUniquePointer(*x),
'vm': lambda x: XP.XValidMem(*x)
}
class InterfaceDictionary(object):
"""Function interface constructs."""
def __init__(self, cfile):
self.cfile = cfile
self.declarations = self.cfile.declarations
