public interface VDMPrettyPrinterOperations
boolean
PrettyPrint(java.lang.String name)
PrettyPrintList(java.lang.String[] names)
boolean PrettyPrint(java.lang.String name) throws APIError
APIError
boolean PrettyPrintList(java.lang.String[] names) throws APIError