org.coode.patterns.protege.ui

Class LocalityCheckerActionListener

java.lang.Object

org.coode.patterns.locality.LocalityChecker

org.coode.patterns.protege.ui.LocalityCheckerActionListener

All Implemented Interfaces:

ActionListener, EventListener

public class LocalityCheckerActionListener
extends LocalityChecker
implements ActionListener

locality checker

Field Summary

Fields

Modifier and Type	Field and Description
protected static int	DIMENSION

Fields inherited from class org.coode.patterns.locality.LocalityChecker

scratchpad

Constructor Summary

Constructors

Constructor and Description
LocalityCheckerActionListener(org.protege.editor.owl.OWLEditorKit kit, Set<org.semanticweb.owlapi.model.OWLEntity> signature, JButton resultButton, RuntimeExceptionHandler handler)

Method Summary

Methods

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent e)
Icon	generateIcon(Color color)
TableModel	print()

Methods inherited from class org.coode.patterns.locality.LocalityChecker

buildMinimalBindingNodes, collectEntities, extractAllPossibleBindingNodes, getEntities, getEvaluator, getExploredNodes, getExploredNodesLocality, getHandler, getInstantiatedPatternModel, getNonLocalAxioms, getSigmaMinus, getSigmaPlus, getSigmaValues, isLocal, setEvaluator, setInstantiatedPatternModel, setSignature

Methods inherited from class java.lang.Object

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

Field Detail

DIMENSION

protected static final int DIMENSION

See Also:

Constant Field Values

Constructor Detail

LocalityCheckerActionListener

public LocalityCheckerActionListener(org.protege.editor.owl.OWLEditorKit kit,
                             Set<org.semanticweb.owlapi.model.OWLEntity> signature,
                             JButton resultButton,
                             RuntimeExceptionHandler handler)

Parameters:

kit - kit

signature - signature

resultButton - resultButton

handler - handler

Method Detail

generateIcon

public Icon generateIcon(Color color)

Parameters:

color - color

Returns:

icon

actionPerformed

public void actionPerformed(ActionEvent e)

Specified by:

actionPerformed in interface ActionListener

print

public TableModel print()

Returns:

table model