public static void printDebugUsage(CommandlineOptions op) { org.kframework.utils.Error.helpMsg( USAGE_DEBUG, HEADER_STANDARD, FOOTER_STANDARD, op.getOptionsStandard(), new OptionComparator(op.getOptionList())); }
public static void printKRunUsageE(CommandlineOptions op) { org.kframework.utils.Error.helpMsg( USAGE_KRUN, HEADER_EXPERIMENTAL, FOOTER_EXPERIMENTAL, op.getOptionsExperimental(), new OptionComparator(op.getOptionList())); }