def f(index, key):
return ST.STNumConstant(self, index, tags, args)
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),
'ax': lambda x: ST.STArithmeticExpr(*x),
'fs': lambda x: ST.STFormattedOutputSize(*x),
'rt': lambda x: ST.STRuntimeValue(*x)
}
xpredicate_constructors = {
'ab': lambda x: XP.XAllocationBase(*x),
'bw': lambda x: XP.XBlockWrite(*x),
'b': lambda x: XP.XBuffer(*x),