private static boolean CheckForConflictingSpecOptions(){
  if ((PcalParams.SpecOption ? 1 : 0) + (PcalParams.MyspecOption ? 1 : 0) + (PcalParams.Spec2Option ? 1 : 0)+ (PcalParams.Myspec2Option ? 1 : 0)+ (PcalParams.WriteASTFlag ? 1 : 0) > 1) {
    CommandLineError("\nCan have at most one of the options " + "-spec, -myspec, -spec2, -myspec2, writeAST");
    return true;
  }
  ;
  return false;
}

private static boolean CheckForConflictingSpecOptions ( ) { if ( ( PcalParams . SpecOption ? 1 : 0 ) + ( PcalParams . MyspecOption ? 1 : 0 ) + ( PcalParams . Spec2Option ? 1 : 0 ) + ( PcalParams . Myspec2Option ? 1 : 0 ) + ( PcalParams . WriteASTFlag ? 1 : 0 ) > 1 ) { CommandLineError ( "\nCan have at most one of the options " + "-spec, -myspec, -spec2, -myspec2, writeAST" ) ; return true ; } ; return false ; }
returns if the options are conflicting
