public abstract class TacletIndexKit
extends java.lang.Object
TacletIndex
instancesConstructor and Description |
---|
TacletIndexKit() |
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 |
public static TacletIndexKit getKit()
TacletIndex
public abstract TacletIndex createTacletIndex()
TacletIndex
TacletIndex
public abstract TacletIndex createTacletIndex(java.lang.Iterable<Taclet> tacletSet)
TacletIndex
containing the provided tacletsTacletIndex
Copyright © 2003-2019 The KeY-Project.