de.uka.ilkd.key.rule.match

Class TacletMatcherKit.LegacyTacletMatcherKit

java.lang.Object

de.uka.ilkd.key.rule.match.TacletMatcherKit

de.uka.ilkd.key.rule.match.TacletMatcherKit.LegacyTacletMatcherKit

Enclosing class:

TacletMatcherKit

private static final class TacletMatcherKit.LegacyTacletMatcherKit
extends TacletMatcherKit

The concrete factory for the legacy taclet matcher.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	LegacyTacletMatcherKit()

Method Summary

Modifier and Type	Method and Description
TacletMatcher	createTacletMatcher(Taclet taclet) the creator method returning the matcher for the specified taclet

Methods inherited from class de.uka.ilkd.key.rule.match.TacletMatcherKit

getKit

Methods inherited from class java.lang.Object

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

Constructor Detail

LegacyTacletMatcherKit

private LegacyTacletMatcherKit()

Method Detail

createTacletMatcher

public TacletMatcher createTacletMatcher(Taclet taclet)

Description copied from class: TacletMatcherKit

the creator method returning the matcher for the specified taclet

Specified by:

createTacletMatcher in class TacletMatcherKit

Parameters:

taclet - the Taclet for which to create a matcher

Returns:

the matcher for the given taclet