|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use ILanguage | |
| jml2b.languages | |
| jml2b.languages.java | |
| Uses of ILanguage in jml2b.languages |
| Methods in jml2b.languages that return ILanguage | |
static ILanguage |
Languages.getLanguageClass(java.lang.String name)
Returns the language class instance for a given plugin name. |
| Methods in jml2b.languages with parameters of type ILanguage | |
static void |
Languages.register(java.lang.String name,
ILanguage il,
ITranslationResult rc,
IPrinter ip,
ProverStatus ps,
IInteractiveProver iip,
IObviousProver iop,
ProofTask pt)
Register a plugin |
| Uses of ILanguage in jml2b.languages.java |
| Classes in jml2b.languages.java that implement ILanguage | |
class |
JavaLanguage
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||