"ha": lambda x: XP.XHeapAddress(*x),
"i": lambda x: XP.XInitialized(*x),
"ir": lambda x: XP.XInitializedRange(*x),
"iv": lambda x: XP.XInvalidated(*x),
"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):
def f_preservesallmemory(index: int,
key: object) -> XP.XPreservesAllMemory:
return XP.XPreservesAllMemory(self, index, tags, args)
def f(index, key):
return XP.XPreservesAllMemory(self, index, tags, args)
