Esempio n. 1
0
def test2():
    
    error.sink = sys.stdout

    passed = []
    failed = []
    test_count = 0
    for test, prem, conc in test_cases.Core_or_BLD_PET_AST():

        test_count += 1
        print '\n\n\n\n\nTest %d: %s' % (test_count, test)
        pattern = query.from_conclusion(conc)

        try:
            prem2 = do_import.Plugin().transform(prem)
        except do_import.RDFLibParseError, e:
            error.notify(e)
            continue

        if prem is prem2:
            pass
        else:
            print "Did IMPORT processing"
            prem = prem2

        try:
            result = run_query(prem, pattern, msg="From test "+test)
        except error.Error, e:
            error.notify(e)
            continue 
Esempio n. 2
0
def test():
    import xml_in_etree

    tc = 'Frames'
               
    kb = xml_in_etree.Plugin().parse_file('tc/%s/%s-premise.rif' % (tc, tc))
    conclusion = xml_in_etree.Plugin().parse_file('tc/%s/%s-conclusion.rif' % (tc, tc))
    pattern = query.from_conclusion(conclusion)
                    
    result = run_query(kb, pattern)
    pass_count = 0
    fail_count = 0
    if result:
        n = 1
        for r in result:
            print "Result %d: %s" % (n, r)
            n += 1
        pass_count += 1
    else:
        print "Failed."
        fail_count += 1