@FunctionalInterface
public static interface MasterHandler.SymbolIntroducer
MasterHandler.translationState
with a key
suffixed with ".intro". It is then invoked when a symbol is to be
introduced.Modifier and Type | Method and Description |
---|---|
void |
introduce(MasterHandler masterHandler,
java.lang.String name) |
void introduce(MasterHandler masterHandler, java.lang.String name) throws SMTTranslationException
SMTTranslationException
Copyright © 2003-2019 The KeY-Project.