ontologyportal/sigmakee

Formula.logicallyEquals is marked as deprecated

arademaker opened this issue · 1 comments

arademaker commented

What is the alternative to this method?

    [javac] /Users/ar/workspace/sigmakee/src/java/com/articulate/sigma/CELTTestSuite.java:110: warning: [deprecation] logicallyEquals(String) in Formula has been deprecated
    [javac]                     if (f.logicallyEquals(celtResult))
    [javac]                          ^
    [javac] /Users/ar/workspace/sigmakee/src/java/com/articulate/sigma/InferenceTestSuite.java:173: warning: [deprecation] tptpParse(Formula,boolean,KB) in SUMOformulaToTPTPformula has been deprecated
    [javac]     	stptp.tptpParse(conjectureFormula,true,kb);
    [javac]     	     ^
    [javac] /Users/ar/workspace/sigmakee/test/unit/java/com/articulate/sigma/FormulaTest.java:692: warning: [deprecation] logicallyEquals(String) in Formula has been deprecated
    [javac]         assertTrue(actual.logicallyEquals(expected));
    [javac]                          ^
    [javac] /Users/ar/workspace/sigmakee/test/unit/java/com/articulate/sigma/FormulaTest.java:717: warning: [deprecation] logicallyEquals(String) in Formula has been deprecated
    [javac]         assertTrue(actual.logicallyEquals(expected));
    [javac]                          ^
    [javac] /Users/ar/workspace/sigmakee/test/unit/java/com/articulate/sigma/FormulaTest.java:736: warning: [deprecation] logicallyEquals(String) in Formula has been deprecated
    [javac]         assertTrue(actual.logicallyEquals(expected));
    [javac]                          ^
    [javac] /Users/ar/workspace/sigmakee/test/unit/java/com/articulate/sigma/FormulaTest.java:755: warning: [deprecation] logicallyEquals(String) in Formula has been deprecated
    [javac]         assertFalse(actual.toString() + "\n should not be logically equal to \n" + expected, actual.logicallyEquals(expected));
    [javac]                                                                                                    ^
    [javac] /Users/ar/workspace/sigmakee/src/java/TPTPWorld/InterfaceTPTP.java:505: warning: [deprecation] tptpParse(Formula,boolean,KB) in SUMOformulaToTPTPformula has been deprecated
    [javac]     	stptp.tptpParse(conjectureFormula,true, kb);
    [javac]     	     ^
apease commented

logicallyEquals(Formula) is the correct one...fixing