本文整理汇总了Python中common.Common.load方法的典型用法代码示例。如果您正苦于以下问题：Python Common.load方法的具体用法？Python Common.load怎么用？Python Common.load使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类common.Common的用法示例。
在下文中一共展示了Common.load方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: run
# 需要导入模块: from common import Common [as 别名]
# 或者: from common.Common import load [as 别名]
def run(args):
'''
:param args: Python output file of the Clafer compiler. Generated with argument "-m python".
:type args: file
Starting point for ClaferSMT.
'''
if Options.MODE == Common.TEST:
TestClafers.run()
elif Options.MODE == Common.ONE:
TestClafers.runForOne()
elif Options.MODE == Common.ALL:
TestClafers.runForAll()
elif Options.MODE in [Common.NORMAL, Common.EXPERIMENT, Common.DEBUG, Common.REPL, Common.MODELSTATS]:
file = Options.FILE
module = Common.load(file)
model = ClaferModel(module)
model.run()