com.hp.hpl.jena.eyeball
Class EyeballRepair

java.lang.Object
  com.hp.hpl.jena.eyeball.EyeballRepair

public class EyeballRepair
extends java.lang.Object

Field Summary

protected com.hp.hpl.jena.ontology.OntModel	assume
protected Inspector	inspector
protected Renderer	renderer

Constructor Summary

EyeballRepair(Inspector inspector, com.hp.hpl.jena.ontology.OntModel assume, Renderer renderer)

Method Summary

com.hp.hpl.jena.ontology.OntModel	getAssumptions()
Inspector	getInspector()
java.lang.Object	getRenderer()
Report	inspect(Report r, com.hp.hpl.jena.ontology.OntModel m)
void	render(Report r, java.io.PrintStream out)
Report	repair(Report r, com.hp.hpl.jena.ontology.OntModel m)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

inspector

protected final Inspector inspector

assume

protected final com.hp.hpl.jena.ontology.OntModel assume

renderer

protected final Renderer renderer

Constructor Detail

EyeballRepair

public EyeballRepair(Inspector inspector,
                     com.hp.hpl.jena.ontology.OntModel assume,
                     Renderer renderer)

Method Detail

getInspector

public Inspector getInspector()

getRenderer

public java.lang.Object getRenderer()

getAssumptions

public com.hp.hpl.jena.ontology.OntModel getAssumptions()

inspect

public Report inspect(Report r,
                      com.hp.hpl.jena.ontology.OntModel m)

repair

public Report repair(Report r,
                     com.hp.hpl.jena.ontology.OntModel m)

render

public void render(Report r,
                   java.io.PrintStream out)