- All Superinterfaces:
- org.omg.CORBA.portable.IDLEntity, org.omg.CORBA.Object, java.io.Serializable, VDMTypeCheckerOperations
- All Known Implementing Classes:
- _VDMTypeCheckerStub
public interface VDMTypeChecker
extends VDMTypeCheckerOperations, org.omg.CORBA.Object, org.omg.CORBA.portable.IDLEntity
jp/vdmtools/api/corba/ToolboxAPI/VDMTypeChecker.java .
Generated by the IDL-to-Java compiler (portable), version "3.2"
from corba_api.idl
Sunday, June 10, 2018 8:39:43 AM JST