public static interface SHARPXMI.Options
java.io.File
getBatchesDirectory()
boolean
getGenerateXMI()
getXMIDirectory()
java.io.File getBatchesDirectory()
java.io.File getXMIDirectory()
boolean getGenerateXMI()