src/parser/Parse_Table.cc
void Parse_Table::set_flags(unsigned char const f) {
  flags_ = f;

  add(nullptr, 0U);
  // The keyword list needs to be sorted and checked.  For example, if the
  // options are changed so that a previously case-sensitive Parse_Table is no
  // longer case-sensitive, then the ordering changes, and previously
  // unambiguous keywords may become ambiguous.

  Ensure(check_class_invariants());
  Ensure(get_flags() == f);
}
//------------------------------------------------------------------------------------------------//
/*!
 * \param f Flags to be set, ORed together.
 */
\param f Flags to be set, ORed together.
\ param f Flags to be set ORed together .
void Parse_Table::set_flags(unsigned char const f) {
  flags_ = f;
  add(nullptr, 0U);
  Ensure(check_class_invariants());
  Ensure(get_flags() == f);
}
void Parse_Table :: set_flags ( unsigned char const f ) { flags_ = f ; add ( nullptr , 0U ) ; Ensure ( check_class_invariants ( ) ) ; Ensure ( get_flags ( ) == f ) ; }
\param f Flags to be set, ORed together.
\ param f Flags to be set ORed together .
// The keyword list needs to be sorted and checked.  For example, if the // options are changed so that a previously case-sensitive Parse_Table is no // longer case-sensitive, then the ordering changes, and previously // unambiguous keywords may become ambiguous.