public interface SkeletonGenerator
Modifier and Type | Field and Description |
---|---|
static SkeletonGenerator |
DEFAULT_TACLET_TRANSLATOR |
Modifier and Type | Method and Description |
---|---|
Term |
translate(Taclet t,
TermServices services)
Override this method to introduce a translating mechanism for taclets.
|
static final SkeletonGenerator DEFAULT_TACLET_TRANSLATOR
Term translate(Taclet t, TermServices services) throws IllegalTacletException
t
- taclet to be translated.services
- TODOIllegalTacletException