owltools.io
Class OWLPrettyPrinter.LabelProvider

java.lang.Object
  extended by owltools.io.OWLPrettyPrinter.LabelProvider
All Implemented Interfaces:
org.semanticweb.owlapi.util.ShortFormProvider
Enclosing class:
OWLPrettyPrinter

public class OWLPrettyPrinter.LabelProvider
extends Object
implements org.semanticweb.owlapi.util.ShortFormProvider


Constructor Summary
OWLPrettyPrinter.LabelProvider(OWLGraphWrapper graph)
           
 
Method Summary
 void dispose()
           
 String getShortForm(org.semanticweb.owlapi.model.OWLEntity entity)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OWLPrettyPrinter.LabelProvider

public OWLPrettyPrinter.LabelProvider(OWLGraphWrapper graph)
Method Detail

getShortForm

public String getShortForm(org.semanticweb.owlapi.model.OWLEntity entity)
Specified by:
getShortForm in interface org.semanticweb.owlapi.util.ShortFormProvider

dispose

public void dispose()
Specified by:
dispose in interface org.semanticweb.owlapi.util.ShortFormProvider


Copyright © 2010-2011. All Rights Reserved.