Package com.semedy.reasoner.api.rewriter

Class RewriterProvider

java.lang.Object

com.semedy.reasoner.api.rewriter.RewriterProvider

All Implemented Interfaces:

Iterable<Rewriter>

public class RewriterProvider
extends Object
implements Iterable<Rewriter>

manages a list of rule rewriters and the sequence they are applied to the intensional database

Constructor Summary

Constructors

Constructor	Description
RewriterProvider(BuiltinProvider builtinProvider)

Method Summary

Modifier and Type	Method	Description
IntensionalDB	applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, BuiltinProvider builtins, SystemMonitor statistics, Configuration config, Properties prp)	Apply rewriters of rewriterList in that sequence which is given by their indices and indicated by their enumeration
Iterator<Rewriter>	iterator()	Enumerate the rewriters.
void	registerRewriter(Rewriter rewriter, int index)	add a rewriter at index
void	removeRewriter(int i)	remove rewriter in rewriterList at index i

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

RewriterProvider

public RewriterProvider(BuiltinProvider builtinProvider)

Method Details

iterator

public Iterator<Rewriter> iterator()

Enumerate the rewriters.
This sequence also shows the application sequence of the rewriters

Specified by:

iterator in interface Iterable<Rewriter>

Returns:

registerRewriter

public void registerRewriter(Rewriter rewriter,
 int index)

add a rewriter at index

Parameters:

rewriter -

index -

applyRewriter

public IntensionalDB applyRewriter(IntensionalDB input,
 ExtensionalDB[] edbs,
 SymbolTable symbols,
 ExternalDataTypeProvider datatypes,
 BuiltinProvider builtins,
 SystemMonitor statistics,
 Configuration config,
 Properties prp)
                            throws InterruptedException,
IOException,
SemReasonerException

Apply rewriters of rewriterList in that sequence which is given by their indices and indicated by their enumeration

Parameters:

input - , intensional database

edbs - , extensional databases, the last one is used for snapshot transaction data

symbols - , symbol table

datatypes - , external datatypes

builtins - , the built-ins

statistics - , collector for statistics

config - , the configuration

Returns:

Throws:

InterruptedException

IOException

SemReasonerException

removeRewriter

public void removeRewriter(int i)

remove rewriter in rewriterList at index i

Parameters:

i -