public abstract class TacletMatcherKit
extends java.lang.Object
getKit()
to get the concrete factory and call createTacletMatcher(Taclet)
to create a matcher for a Taclet
The active factory is chosen at runtime by passing a value for the system property taclet.match
Currently supported values are: legacy
and vm
. The legacy matching algorithm is
the one used since the beginning of KeY. It will soon become deprecated and replaced y vm
as default.Constructor and Description |
---|
TacletMatcherKit() |
Modifier and Type | Method and Description |
---|---|
abstract TacletMatcher |
createTacletMatcher(Taclet taclet)
the creator method returning the matcher for the specified taclet
|
static TacletMatcherKit |
getKit()
returns the currently enabled factory
|
public static TacletMatcherKit getKit()
public abstract TacletMatcher createTacletMatcher(Taclet taclet)
taclet
- the Taclet
for which to create a matcherCopyright © 2003-2019 The KeY-Project.