options.has(AND_STRING) ||options.has(NOT_STRING) ||options.has(OR_STRING)
|| options.has(APPEND_OPTION_STRING)) {
if (!options.has("r")) {
System.err.println("Operational bitfile name needed for bitstream operation");
cmdLineParser.printUsageAndExit();
}
String operationalBitstreamFileName = (String) options.valueOf("r");
// load operational bitstream (this is an odd way of doing it but I am copying Ben's code)
Bitstream opBitstream = BitstreamParser.parseBitstreamExitOnError(operationalBitstreamFileName);