本文整理汇总了Python中ufora.native.FORA.parseStringToJOR方法的典型用法代码示例。如果您正苦于以下问题：Python FORA.parseStringToJOR方法的具体用法？Python FORA.parseStringToJOR怎么用？Python FORA.parseStringToJOR使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类ufora.native.FORA的用法示例。
在下文中一共展示了FORA.parseStringToJOR方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: test_joas
# 需要导入模块: from ufora.native import FORA [as 别名]
# 或者: from ufora.native.FORA import parseStringToJOR [as 别名]
def test_joas(self):
#"test assertions about JOAs of particular axioms"
for item in self.vals_to_test:
jovt = self.getJOVT(item[0])
if len(item) == 4:
assert item[3] == "hasSideEffects", "illegal third argument to JOA"
expected_joa = FORANative.JudgmentOnAction(
FORANative.parseStringToJOR(item[1]),
FORANative.parseStringToJOR(item[2]),
True if len(item) == 4 and item[3] == "hasSideEffects" else False
)
computed_joa = self.joa(jovt)
if computed_joa:
self.assertTrue(
expected_joa.resultPart() == computed_joa.resultPart(),
"for JOVT %s should have had JOA resultPart: %s, but had: %s" \
% (jovt, expected_joa.resultPart(), computed_joa.resultPart())
)
#be a little more relaxed on the throwParts
self.assertTrue(
expected_joa.throwPart().covers(computed_joa.throwPart()),
"for JOVT %s: expected JOA throwPart %s does not cover computed JOA %s" \
% (jovt, expected_joa.throwPart(), computed_joa.throwPart())
)
if len(expected_joa.throwPart()) > 0:
self.assertTrue(
len(computed_joa.throwPart()) > 0,
"for JOVT %s: expected JOA %s throws, but computed JOA %s does not" \
%(jovt, expected_joa, computed_joa)
)