Examples of LintFixer

Examples of com.clarkparsia.pellint.model.LintFixer

60
61
62
63
64
65
66
67
68
69
70
71
  public void testSimple() throws OWLException {
    OWLAxiom axiom = OWL.equivalentClasses(CollectionUtil.<OWLClassExpression>asSet(OWL.Thing, m_Cls[0], m_Cls[1]));
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
   
    LintFixer fixer = lint.getLintFixer();
    assertTrue(fixer.getAxiomsToRemove().contains(axiom));
    assertTrue(fixer.getAxiomsToAdd().isEmpty());
   
    assertNull(lint.getSeverity());
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here

Examples of com.clarkparsia.pellint.model.LintFixer

64
65
66
67
68
69
70
71
72
73
74
75
76
   
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
    assertTrue(lint.getParticipatingClasses().contains(m_Cls[0]));
   
    LintFixer fixer = lint.getLintFixer();
    assertTrue(fixer.getAxiomsToRemove().contains(axiom));
    OWLAxiom expectedAxiom = OWL.subClassOf(m_Cls[0], m_P0AllC0);
    assertTrue(fixer.getAxiomsToAdd().contains(expectedAxiom));
   
    assertNull(lint.getSeverity());
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.