de.uka.ilkd.key.rule.match

Class TacletMatcherKit.VMTacletMatcherKit

java.lang.Object

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

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

Enclosing class:

TacletMatcherKit

private static final class TacletMatcherKit.VMTacletMatcherKit
extends TacletMatcherKit

The concrete factory for the vm based taclet matcher.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	VMTacletMatcherKit()

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

VMTacletMatcherKit

private VMTacletMatcherKit()

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