public interface VDMApplicationOperations
Modifier and Type | Method and Description |
---|---|
void |
DestroyTag(short id) |
VDMCodeGenerator |
GetCodeGenerator() |
VDMErrors |
GetErrorHandler() |
VDMInterpreter |
GetInterpreter() |
VDMModuleRepos |
GetModuleRepos() |
VDMParser |
GetParser() |
VDMPrettyPrinter |
GetPrettyPrinter() |
VDMProject |
GetProject() |
VDMTypeChecker |
GetTypeChecker() |
VDMFactory |
GetVDMFactory() |
void |
PushTag(short id) |
short |
Register() |
ToolType |
Tool() |
void |
Unregister(short id) |
ToolType Tool()
short Register()
void Unregister(short id)
VDMProject GetProject()
VDMInterpreter GetInterpreter()
VDMCodeGenerator GetCodeGenerator()
VDMParser GetParser()
VDMTypeChecker GetTypeChecker()
VDMPrettyPrinter GetPrettyPrinter()
VDMErrors GetErrorHandler()
VDMModuleRepos GetModuleRepos()
VDMFactory GetVDMFactory()
void PushTag(short id)