本文整理汇总了Python中ufora.native.FORA.makePythonAstConverter方法的典型用法代码示例。如果您正苦于以下问题：Python FORA.makePythonAstConverter方法的具体用法？Python FORA.makePythonAstConverter怎么用？Python FORA.makePythonAstConverter使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类ufora.native.FORA的用法示例。
在下文中一共展示了FORA.makePythonAstConverter方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: __init__
# 需要导入模块: from ufora.native import FORA [as 别名]
# 或者: from ufora.native.FORA import makePythonAstConverter [as 别名]
def __init__(self,
nativeConstantConverter,
nativeDictConverter,
nativeTupleConverter,
nativeListConverter,
vdmOverride,
builtinMemberMapping,
purePythonModuleImplVal):
self.boundExpressions = {}
self.constantConverter = ConstantConverter.ConstantConverter(
nativeConstantConverter=nativeConstantConverter
)
self.nativeDictConverter = nativeDictConverter
self.nativeTupleConverter = nativeTupleConverter
self.nativeListConverter = nativeListConverter
self.vdm_ = vdmOverride
self.nativeConverter = ForaNative.makePythonAstConverter(
nativeConstantConverter,
nativeListConverter,
nativeTupleConverter,
nativeDictConverter,
purePythonModuleImplVal,
builtinMemberMapping
)示例2: __init__
# 需要导入模块: from ufora.native import FORA [as 别名]
# 或者: from ufora.native.FORA import makePythonAstConverter [as 别名]
def __init__(self,
nativeConstantConverter=None,
nativeListConverter=None,
nativeTupleConverter=None,
nativeDictConverter=None,
singletonAndExceptionConverter=None,
vdmOverride=None,
purePythonModuleImplVal=None,
foraBuiltinsImplVal=None):
self.convertedValues = {}
self.boundExpressions = {}
self.constantConverter = ConstantConverter.ConstantConverter(
nativeConstantConverter=nativeConstantConverter
)
self.singletonAndExceptionConverter = singletonAndExceptionConverter
self.nativeListConverter = nativeListConverter
self.nativeTupleConverter = nativeTupleConverter
self.nativeDictConverter = nativeDictConverter
self.vdm_ = vdmOverride
self.pyforaBoundMethodClass = purePythonModuleImplVal.getObjectMember("PyBoundMethod")
builtinMemberMapping = Converter.computeBuiltinMemberMapping(
purePythonModuleImplVal=purePythonModuleImplVal,
foraBuiltinsImplVal=foraBuiltinsImplVal
)
self.nativeConverter = ForaNative.makePythonAstConverter(
nativeConstantConverter,
self.nativeListConverter,
self.nativeTupleConverter,
self.nativeDictConverter,
purePythonModuleImplVal,
builtinMemberMapping
)