public interface VDMApplication extends VDMApplicationOperations, org.omg.CORBA.Object, org.omg.CORBA.portable.IDLEntity
DestroyTag, GetCodeGenerator, GetErrorHandler, GetInterpreter, GetModuleRepos, GetParser, GetPrettyPrinter, GetProject, GetTypeChecker, GetVDMFactory, PushTag, Register, Tool, Unregister