de.uka.ilkd.key.taclettranslation

Interface SkeletonGenerator

All Known Implementing Classes:

AbstractSkeletonGenerator, DefaultTacletTranslator

public interface SkeletonGenerator

Field Summary

Fields

Modifier and Type	Field and Description
static SkeletonGenerator	DEFAULT_TACLET_TRANSLATOR

Method Summary

Modifier and Type	Method and Description
Term	translate(Taclet t, TermServices services) Override this method to introduce a translating mechanism for taclets.

Field Detail

DEFAULT_TACLET_TRANSLATOR

static final SkeletonGenerator DEFAULT_TACLET_TRANSLATOR

Method Detail

translate

Term translate(Taclet t,
               TermServices services)
        throws IllegalTacletException

Override this method to introduce a translating mechanism for taclets.

Parameters:

t - taclet to be translated.

services - TODO

Returns:

returns the translation of the taclet.

Throws:

IllegalTacletException