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()));
}
