org.semanticweb.elk.reasoner.saturation.rules

Class DecompositionRuleApplicationCounterVisitor

java.lang.Object

org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor

All Implemented Interfaces:

DecompositionRuleApplicationVisitor

public class DecompositionRuleApplicationCounterVisitor
extends Object
implements DecompositionRuleApplicationVisitor

A DecompositionRuleApplicationVisitor wrapper for a given DecompositionRuleApplicationVisitor that additionally records the number of invocations of the methods using the given DecompositionRuleApplicationCounter.

Author:

"Yevgeny Kazakov"

Constructor Summary

Constructors

Constructor and Description
DecompositionRuleApplicationCounterVisitor(DecompositionRuleApplicationVisitor visitor, DecompositionRuleApplicationCounter counter) Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and counts the number of invocations of the corresponding methods using the given DecompositionRuleApplicationCounter.

Method Summary

Methods

Modifier and Type	Method and Description
void	visit(IndexedClass ice, Context context)
void	visit(IndexedDataHasValue ice, Context context)
void	visit(IndexedObjectComplementOf ice, Context context)
void	visit(IndexedObjectIntersectionOf ice, Context context)
void	visit(IndexedObjectSomeValuesFrom ice, Context context)

Methods inherited from class java.lang.Object

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

Constructor Detail

DecompositionRuleApplicationCounterVisitor

public DecompositionRuleApplicationCounterVisitor(DecompositionRuleApplicationVisitor visitor,
                                          DecompositionRuleApplicationCounter counter)

Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and counts the number of invocations of the corresponding methods using the given DecompositionRuleApplicationCounter.

Parameters:

visitor - the DecompositionRuleApplicationVisitor used to execute the methods

counter - the DecompositionRuleApplicationCounter used to count the number of method invocations

Method Detail

visit

public void visit(IndexedClass ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedObjectComplementOf ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedObjectIntersectionOf ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedObjectSomeValuesFrom ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor

visit

public void visit(IndexedDataHasValue ice,
         Context context)

Specified by:

visit in interface DecompositionRuleApplicationVisitor