Examples of com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

  private static final OWLIndividual    a  = OWL.Individual( "a" );


  protected void assertRendering(String expected, OWLObject obj) {
    StringWriter sw = new StringWriter();
    ManchesterSyntaxObjectRenderer renderer = new ManchesterSyntaxObjectRenderer(
        new TextBlockWriter( sw ) );
    obj.accept( renderer );
    String actual = sw.toString();


    assertEquals( expected, actual );
  }

    }
    else {
      output( "Non-entailments (" + nonEntailments.size() + "): " );
      
      int index = 1;
      TextBlockWriter writer = new TextBlockWriter( new PrintWriter( System.out ) );
      ManchesterSyntaxObjectRenderer renderer = new ManchesterSyntaxObjectRenderer( writer );
      writer.println();
      for( OWLAxiom axiom : nonEntailments ) {
        writer.print(index++);
        writer.print(")");
        writer.printSpace();


        writer.startBlock();
        axiom.accept( renderer );
        writer.endBlock();
        writer.println();
            }
      writer.flush();
    }
  }

Related Classes of com.clarkparsia.owlapi.explanation.io.manchester.TextBlockWriter

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.