de.uka.ilkd.key.proof

Class TacletIndexKit

java.lang.Object

de.uka.ilkd.key.proof.TacletIndexKit

Direct Known Subclasses:

TacletIndexKit.MultiThreadedTacletIndexKit, TacletIndexKit.SingleThreadedTacletIndexKit

public abstract class TacletIndexKit
extends java.lang.Object

Abstract factory for creating TacletIndex instances

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	TacletIndexKit.MultiThreadedTacletIndexKit Concrete factory creating the multi threaded version of the TacletIndex (performs matching using multiple threads)
private static class	TacletIndexKit.SingleThreadedTacletIndexKit Concrete factory creating the single threaded version of the TacletIndex

Field Summary

Fields

Modifier and Type	Field and Description
private static TacletIndexKit	ACTIVE_TACLET_INDEX_KIT

Constructor Summary

Constructors

Constructor and Description
TacletIndexKit()

Method Summary

Modifier and Type	Method and Description
abstract TacletIndex	createTacletIndex() abstract factory method to create an empty TacletIndex
abstract TacletIndex	createTacletIndex(java.lang.Iterable<Taclet> tacletSet) abstract factory method to create a TacletIndex containing the provided taclets
static TacletIndexKit	getKit() return the currently used factory for the TacletIndex

Methods inherited from class java.lang.Object

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

Field Detail

ACTIVE_TACLET_INDEX_KIT

private static final TacletIndexKit ACTIVE_TACLET_INDEX_KIT

Constructor Detail

TacletIndexKit

public TacletIndexKit()

Method Detail

getKit

public static TacletIndexKit getKit()

return the currently used factory for the TacletIndex

Returns:

the concrete taclet index factory

createTacletIndex

public abstract TacletIndex createTacletIndex()

abstract factory method to create an empty TacletIndex

Returns:

the created TacletIndex

createTacletIndex

public abstract TacletIndex createTacletIndex(java.lang.Iterable<Taclet> tacletSet)

abstract factory method to create a TacletIndex containing the provided taclets

Returns:

the created TacletIndex