Class DlgpeInvokerFactory

java.lang.Object

fr.inria.rules.integraal.io.dlgpe2.DlgpeInvokerFactory

public class DlgpeInvokerFactory
extends Object

Creates and caches invokers referenced from DLGPE function IRIs.

Constructor Summary

Constructors

Constructor	Description
DlgpeInvokerFactory(IntegraalEnvironment env, SameObjectTermFactory sameObjectTermFactory)	Creates an invoker factory bound to the supplied environment and term factory.

Method Summary

Modifier and Type	Method	Description
Invoker	createOrGetInvoker(String iri)	Returns a cached invoker for the supplied IRI, creating it if necessary.

Methods inherited from class Object

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

Constructor Details

DlgpeInvokerFactory

public DlgpeInvokerFactory(IntegraalEnvironment env,
 SameObjectTermFactory sameObjectTermFactory)

Creates an invoker factory bound to the supplied environment and term factory.

Parameters:

env - the DLGPE parsing environment

sameObjectTermFactory - the term factory used by generated invokers

Method Details

createOrGetInvoker

public Invoker createOrGetInvoker(String iri)
                           throws Exception

Returns a cached invoker for the supplied IRI, creating it if necessary.

Parameters:

iri - the function IRI

Returns:

the resolved invoker

Throws:

Exception - if the invoker cannot be created