de.uka.ilkd.key.proof

Class TacletIndexKit.SingleThreadedTacletIndexKit

java.lang.Object

de.uka.ilkd.key.proof.TacletIndexKit

de.uka.ilkd.key.proof.TacletIndexKit.SingleThreadedTacletIndexKit

Enclosing class:

TacletIndexKit

private static class TacletIndexKit.SingleThreadedTacletIndexKit
extends TacletIndexKit

Concrete factory creating the single threaded version of the TacletIndex

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SingleThreadedTacletIndexKit()

Method Summary

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

Methods inherited from class de.uka.ilkd.key.proof.TacletIndexKit

getKit

Methods inherited from class java.lang.Object

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

Constructor Detail

SingleThreadedTacletIndexKit

private SingleThreadedTacletIndexKit()

Method Detail

createTacletIndex

public TacletIndex createTacletIndex()

Description copied from class: TacletIndexKit

abstract factory method to create an empty TacletIndex

Specified by:

createTacletIndex in class TacletIndexKit

Returns:

the created TacletIndex

createTacletIndex

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

Description copied from class: TacletIndexKit

abstract factory method to create a TacletIndex containing the provided taclets

Specified by:

createTacletIndex in class TacletIndexKit

Returns:

the created TacletIndex