def f(index, key): return XP.XTainted(self, index, tags, args)
def f_validmem(index: int, key: object) -> XP.XValidMem: return XP.XValidMem(self, index, tags, args)
def f_revbuffer(index: int, key: object) -> XP.XRevBuffer: return XP.XRevBuffer(self, index, tags, args)
def f_initialized(index: int, key: object) -> XP.XInitialized: return XP.XInitialized(self, index, tags, args)
def f_allocationbase(index: int, key: object) -> XP.XAllocationBase: return XP.XAllocationBase(self, index, tags, args)
def f_notzero(index: int, key: object) -> XP.XNotZero: return XP.XNotZero(self, index, tags, args)
def f_preservesallmemory(index: int, key: object) -> XP.XPreservesAllMemory: return XP.XPreservesAllMemory(self, index, tags, args)
def f(index, key): return XP.XInitializedRange(self, index, tags, args)
"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), "ax": lambda x: ST.STArithmeticExpr(*x), "fs": lambda x: ST.STFormattedOutputSize(*x), "rt": lambda x: ST.STRuntimeValue(*x), } xpredicate_constructors: Dict[ str, Callable[[Tuple["InterfaceDictionary", int, List[str], List[int]]], XPredicate], ] = { "ab": lambda x: XP.XAllocationBase(*x), "bw": lambda x: XP.XBlockWrite(*x), "b": lambda x: XP.XBuffer(*x), "c": lambda x: XP.XConstTerm(*x), "cr": lambda x: XP.XControlledResource(*x), "f": lambda x: XP.XFalse(*x), "fi": lambda x: XP.XFormattedInput(*x), "fr": lambda x: XP.XFreed(*x), "fn": lambda x: XP.XFunctional(*x), "ga": lambda x: XP.XGlobalAddress(*x), "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),
def f(index, key): return XP.XNewMemory(self, index, tags, args)
def f(index, key): return XP.XRevBuffer(self, index, tags, args)
def f(index, key): return XP.XValidMem(self, index, tags, args)
def f(index, key): return XP.XBlockWrite(self, index, tags, args)
def f(index, key): return XP.XAllocationBase(self, index, tags, args)
def f_heapaddress(index: int, key: object) -> XP.XHeapAddress: return XP.XHeapAddress(self, index, tags, args)
def f_stackaddress(index: int, key: object) -> XP.XStackAddress: return XP.XStackAddress(self, index, p.tags, args)
def f_notnull(index: int, key: object) -> XP.XNotNull: return XP.XNotNull(self, index, tags, args)
def f_null(index: int, key: object) -> XP.XNull: return XP.XNull(self, index, p.tags, args)
def f_nonnegative(index: int, key: object) -> XP.XNonNegative: return XP.XNonNegative(self, index, tags, args)
def f_nullterminated(index: int, key: object) -> XP.XNullTerminated: return XP.XNullTerminated(self, index, p.tags, args)
def f_false(index: int, key: object) -> XP.XFalse: return XP.XFalse(self, index, tags, args)
def f_buffer(index: int, key: object) -> XP.XBuffer: return XP.XBuffer(self, index, p.tags, args)
def f_tainted(index: int, key: object) -> XP.XTainted: return XP.XTainted(self, index, tags, args)
def f_controlledresource(index: int, key: object) -> XP.XControlledResource: return XP.XControlledResource(self, index, p.tags, args)
def f_blockwrite(index: int, key: object) -> XP.XBlockWrite: return XP.XBlockWrite(self, index, tags, args)
def f_relationalexpr(index: int, key: object) -> XP.XRelationalExpr: return XP.XRelationalExpr(self, index, tags, args)
def f_newmemory(index: int, key: object) -> XP.XNewMemory: return XP.XNewMemory(self, index, tags, args)
def f_globaladdress(index: int, key: object) -> XP.XGlobalAddress: return XP.XGlobalAddress(self, index, tags, args)
def f_initializedrange(index: int, key: object) -> XP.XInitializedRange: return XP.XInitializedRange(self, index, tags, args)
def f(index, key): return XP.XFalse(self, index, tags, args)