// ----------------------------------------------------------------------
//
// library.cc - Confirm that all mandated headers are available.
//
// History:
//   21-Jun-1999  WEB  Initial draft
//   24-Jun-1999  WEB  Polish
//   29-Jun-1999  WEB  Add the deprecated <strstream>
//   30-Jun-1999  WEB  Correct typo
//   02-Jul-1999  WEB  Add double-checks for correct inclusion
//   06-Jul-1999  WEB  Remove superfluous #ifndef's
//   27-Apr-2000  WEB  Include headers only conditionally
//   25-Apr-2001  WEB  s/<ISOcxxSyntax.hh>/"ISOcxx\/ISOcxxSyntax.hh"/
//
// ----------------------------------------------------------------------


#include "ISOcxx/ISOcxxSyntax.hh"


// ----------------------------------------------------------------------
// C++ headers:
// ----------------------------------------------------------------------

#ifdef ISOcxx_ALGORITHM_HEADER
  #include <algorithm>
  #ifndef ISOcxx_ALGORITHM_INCLUDED
    #error "got wrong <algorithm> header!"
  #endif
#endif

#ifdef ISOCXX_BITSET_HEADER
  #include <bitset>
  #ifndef ISOcxx_BITSET_INCLUDED
    #error "got wrong <bitset> header!"
  #endif
#endif

#ifdef ISOCXX_COMPLEX_HEADER
  #include <complex>
  #ifndef ISOcxx_COMPLEX_INCLUDED
    #error "got wrong <complex> header!"
  #endif
#endif

#ifdef ISOCXX_DEQUE_HEADER
  #include <deque>
  #ifndef ISOcxx_DEQUE_INCLUDED
    #error "got wrong <deque> header!"
  #endif
#endif

#ifdef ISOCXX_EXCEPTION_HEADER
  #include <exception>
  #ifndef ISOcxx_EXCEPTION_INCLUDED
    #error "got wrong <exception> header!"
  #endif
#endif

#ifdef ISOCXX_FSTREAM_HEADER
  #include <fstream>
  #ifndef ISOcxx_FSTREAM_INCLUDED
    #error "got wrong <fstream> header!"
  #endif
#endif

#ifdef ISOCXX_FUNCTIONAL_HEADER
  #include <functional>
  #ifndef ISOcxx_FUNCTIONAL_INCLUDED
    #error "got wrong <functional> header!"
  #endif
#endif

#ifdef ISOCXX_IOMANIP_HEADER
  #include <iomanip>
  #ifndef ISOcxx_IOMANIP_INCLUDED
    #error "got wrong <iomanip> header!"
  #endif
#endif

#ifdef ISOCXX_IOS_HEADER
  #include <ios>
  #ifndef ISOcxx_IOS_INCLUDED
    #error "got wrong <ios> header!"
  #endif
#endif

#ifdef ISOCXX_IOSFWD_HEADER
  #include <iosfwd>
  #ifndef ISOcxx_IOSFWD_INCLUDED
    #error "got wrong <iosfwd> header!"
  #endif
#endif

#ifdef ISOCXX_IOSTREAM_HEADER
  #include <iostream>
  #ifndef ISOcxx_IOSTREAM_INCLUDED
    #error "got wrong <iostream> header!"
  #endif
#endif

#ifdef ISOCXX_ISTREAM_HEADER
  #include <istream>
  #ifndef ISOcxx_ISTREAM_INCLUDED
    #error "got wrong <istream> header!"
  #endif
#endif

#ifdef ISOCXX_ITERATOR_HEADER
  #include <iterator>
  #ifndef ISOcxx_ITERATOR_INCLUDED
    #error "got wrong <iterator> header!"
  #endif
#endif

#ifdef ISOCXX_LIMITS_HEADER
  #include <limits>
  #ifndef ISOcxx_LIMITS_INCLUDED
    #error "got wrong <limits> header!"
  #endif
#endif

#ifdef ISOCXX_LIST_HEADER
  #include <list>
  #ifndef ISOcxx_LIST_INCLUDED
    #error "got wrong <list> header!"
  #endif
#endif

#ifdef ISOCXX_LOCALE_HEADER
  #include <locale>
  #ifndef ISOcxx_LOCALE_INCLUDED
    #error "got wrong <locale> header!"
  #endif
#endif

#ifdef ISOCXX_MAP_HEADER
  #include <map>
  #ifndef ISOcxx_MAP_INCLUDED
    #error "got wrong <map> header!"
  #endif
#endif

#ifdef ISOCXX_MEMORY_HEADER
  #include <memory>
  #ifndef ISOcxx_MEMORY_INCLUDED
    #error "got wrong <memory> header!"
  #endif
#endif

#ifdef ISOCXX_NEW_HEADER
  #include <new>
  #ifndef ISOcxx_NEW_INCLUDED
    #error "got wrong <new> header!"
  #endif
#endif

#ifdef ISOCXX_NUMERIC_HEADER
  #include <numeric>
  #ifndef ISOcxx_NUMERIC_INCLUDED
    #error "got wrong <numeric> header!"
  #endif
#endif

#ifdef ISOCXX_OSTREAM_HEADER
  #include <ostream>
  #ifndef ISOcxx_OSTREAM_INCLUDED
    #error "got wrong <ostream> header!"
  #endif
#endif

#ifdef ISOCXX_QUEUE_HEADER
  #include <queue>
  #ifndef ISOcxx_QUEUE_INCLUDED
    #error "got wrong <queue> header!"
  #endif
#endif

#ifdef ISOCXX_SET_HEADER
  #include <set>
  #ifndef ISOcxx_SET_INCLUDED
    #error "got wrong <set> header!"
  #endif
#endif

#ifdef ISOCXX_SSTREAM_HEADER
  #include <sstream>
  #ifndef ISOcxx_SSTREAM_INCLUDED
    #error "got wrong <sstream> header!"
  #endif
#endif

#ifdef ISOCXX_STACK_HEADER
  #include <stack>
  #ifndef ISOcxx_STACK_INCLUDED
    #error "got wrong <stack> header!"
  #endif
#endif

#ifdef ISOCXX_STDEXCEPT_HEADER
  #include <stdexcept>
  #ifndef ISOcxx_STDEXCEPT_INCLUDED
    #error "got wrong <stdexcept> header!"
  #endif
#endif

#ifdef ISOCXX_STREAMBUF_HEADER
  #include <streambuf>
  #ifndef ISOcxx_STREAMBUF_INCLUDED
    #error "got wrong <streambuf> header!"
  #endif
#endif

#ifdef ISOCXX_STRING_HEADER
  #include <string>
  #ifndef ISOcxx_STRING_INCLUDED
    #error "got wrong <string> header!"
  #endif
#endif

#ifdef ISOCXX_STRSTREAM_HEADER
  #include <strstream>
  #ifndef ISOcxx_STRSTREAM_INCLUDED
    #error "got wrong <strstream> header!"
  #endif
#endif

#ifdef ISOCXX_TYPEINFO_HEADER
  #include <typeinfo>
  #ifndef ISOcxx_TYPEINFO_INCLUDED
    #error "got wrong <typeinfo> header!"
  #endif
#endif

#ifdef ISOCXX_UTILITY_HEADER
  #include <utility>
  #ifndef ISOcxx_UTILITY_INCLUDED
    #error "got wrong <utility> header!"
  #endif
#endif

#ifdef ISOCXX_VALARRAY_HEADER
  #include <valarray>
  #ifndef ISOcxx_VALARRAY_INCLUDED
    #error "got wrong <valarray> header!"
  #endif
#endif

#ifdef ISOCXX_VECTOR_HEADER
  #include <vector>
  #ifndef ISOcxx_VECTOR_INCLUDED
    #error "got wrong <vector> header!"
  #endif
#endif


// ----------------------------------------------------------------------
// C++ versions of C headers
// ----------------------------------------------------------------------

#ifdef ISOCXX_CASSERT_HEADER
  #include <cassert>
  #ifndef ISOcxx_CASSERT_INCLUDED
    #error "got wrong <cassert> header!"
  #endif
#endif

#ifdef ISOCXX_CCTYPE_HEADER
  #include <cctype>
  #ifndef ISOcxx_CCTYPE_INCLUDED
    #error "got wrong <cctype> header!"
  #endif
#endif

#ifdef ISOCXX_CERRNO_HEADER
  #include <cerrno>
  #ifndef ISOcxx_CERRNO_INCLUDED
    #error "got wrong <cerrno> header!"
  #endif
#endif

#ifdef ISOCXX_CFLOAT_HEADER
  #include <cfloat>
  #ifndef ISOcxx_CFLOAT_INCLUDED
    #error "got wrong <cfloat> header!"
  #endif
#endif

#ifdef ISOCXX_CISO646_HEADER
  #include <ciso646>
  #ifndef ISOcxx_CISO646_INCLUDED
    #error "got wrong <ciso646> header!"
  #endif
#endif

#ifdef ISOCXX_CLIMITS_HEADER
  #include <climits>
  #ifndef ISOcxx_CLIMITS_INCLUDED
    #error "got wrong <climits> header!"
  #endif
#endif

#ifdef ISOCXX_CLOCALE_HEADER
  #include <clocale>
  #ifndef ISOcxx_CLOCALE_INCLUDED
    #error "got wrong <clocale> header!"
  #endif
#endif

#ifdef ISOCXX_CMATH_HEADER
  #include <cmath>
  #ifndef ISOcxx_CMATH_INCLUDED
    #error "got wrong <cmath> header!"
  #endif
#endif

#ifdef ISOCXX_CSETJMP_HEADER
  #include <csetjmp>
  #ifndef ISOcxx_CSETJMP_INCLUDED
    #error "got wrong <csetjmp> header!"
  #endif
#endif

#ifdef ISOCXX__HEADER
  #include <csignal>
  #ifndef ISOcxx_CSIGNAL_INCLUDED
    #error "got wrong <csignal> header!"
  #endif
#endif

#ifdef ISOCXX_CSTDARG_HEADER
  #include <cstdarg>
  #ifndef ISOcxx_CSTDARG_INCLUDED
    #error "got wrong <cstdarg> header!"
  #endif
#endif

#ifdef ISOCXX_CSTDDEF_HEADER
  #include <cstddef>
  #ifndef ISOcxx_CSTDDEF_INCLUDED
    #error "got wrong <cstddef> header!"
  #endif
#endif

#ifdef ISOCXX_CSTDIO_HEADER
  #include <cstdio>
  #ifndef ISOcxx_CSTDIO_INCLUDED
    #error "got wrong <cstdio> header!"
  #endif
#endif

#ifdef ISOCXX_CSTDLIB_HEADER
  #include <cstdlib>
  #ifndef ISOcxx_CSTDLIB_INCLUDED
    #error "got wrong <cstdlib> header!"
  #endif
#endif

#ifdef ISOCXX_CSTRING_HEADER
  #include <cstring>
  #ifndef ISOcxx_CSTRING_INCLUDED
    #error "got wrong <cstring> header!"
  #endif
#endif

#ifdef ISOCXX_CTIME_HEADER
  #include <ctime>
  #ifndef ISOcxx_CTIME_INCLUDED
    #error "got wrong <ctime> header!"
  #endif
#endif

#ifdef ISOCXX_CWCHAR_HEADER
  #include <cwchar>
  #ifndef ISOcxx_CWCHAR_INCLUDED
    #error "got wrong <cwchar> header!"
  #endif
#endif

#ifdef ISOCXX_CWCTYPE_HEADER
  #include <cwctype>
  #ifndef ISOcxx_CWCTYPE_INCLUDED
    #error "got wrong <cwctype> header!"
  #endif
#endif


// ----------------------------------------------------------------------
// C headers
// ----------------------------------------------------------------------

#ifdef ISOCXX_ASSERT_H_HEADER
  #include <assert.h>
  #ifndef ISOcxx_ASSERT_H_INCLUDED
    #error "got wrong <assert.h> header!"
  #endif
#endif

#ifdef ISOCXX_CTYPE_H_HEADER
  #include <ctype.h>
  #ifndef ISOcxx_CTYPE_H_INCLUDED
    #error "got wrong <ctype.h> header!"
  #endif
#endif

#ifdef ISOCXX_ERRNO_H_HEADER
  #include <errno.h>
  #ifndef ISOcxx_ERRNO_H_INCLUDED
    #error "got wrong <errno.h> header!"
  #endif
#endif

#ifdef ISOCXX_FLOAT_H_HEADER
  #include <float.h>
  #ifndef ISOcxx_FLOAT_H_INCLUDED
    #error "got wrong <float.h> header!"
  #endif
#endif

#ifdef ISOCXX_ISO646_H_HEADER
  #include <iso646.h>
  #ifndef ISOcxx_ISO646_H_INCLUDED
    #error "got wrong <iso646.h> header!"
  #endif
#endif

#ifdef ISOCXX_LIMITS_H_HEADER
  #include <limits.h>
  #ifndef ISOcxx_LIMITS_H_INCLUDED
    #error "got wrong <limits.h> header!"
  #endif
#endif

#ifdef ISOCXX_LOCALE_H_HEADER
  #include <locale.h>
  #ifndef ISOcxx_LOCALE_H_INCLUDED
    #error "got wrong <locale.h> header!"
  #endif
#endif

#ifdef ISOCXX_MATH_H_HEADER
  #include <math.h>
  #ifndef ISOcxx_MATH_H_INCLUDED
    #error "got wrong <math.h> header!"
  #endif
#endif

#ifdef ISOCXX_SETJMP_H_HEADER
  #include <setjmp.h>
  #ifndef ISOcxx_SETJMP_H_INCLUDED
    #error "got wrong <setjmp.h> header!"
  #endif
#endif

#ifdef ISOCXX_SIGNAL_H_HEADER
  #include <signal.h>
  #ifndef ISOcxx_SIGNAL_H_INCLUDED
    #error "got wrong <signal.h> header!"
  #endif
#endif

#ifdef ISOCXX_STDARG_H_HEADER
  #include <stdarg.h>
  #ifndef ISOcxx_STDARG_H_INCLUDED
    #error "got wrong <stdarg.h> header!"
  #endif
#endif

#ifdef ISOCXX_STDDEF_H_HEADER
  #include <stddef.h>
  #ifndef ISOcxx_STDDEF_H_INCLUDED
    #error "got wrong <stddef.h> header!"
  #endif
#endif

#ifdef ISOCXX_STDIO_H_HEADER
  #include <stdio.h>
  #ifndef ISOcxx_STDIO_H_INCLUDED
    #error "got wrong <stdio.h> header!"
  #endif
#endif

#ifdef ISOCXX_STDLIB_H_HEADER
  #include <stdlib.h>
  #ifndef ISOcxx_STDLIB_H_INCLUDED
    #error "got wrong <stdlib.h> header!"
  #endif
#endif

#ifdef ISOCXX_STRING_H_HEADER
  #include <string.h>
  #ifndef ISOcxx_STRING_H_INCLUDED
    #error "got wrong <string.h> header!"
  #endif
#endif

#ifdef ISOCXX_TIME_H_HEADER
  #include <time.h>
  #ifndef ISOcxx_TIME_H_INCLUDED
    #error "got wrong <time.h> header!"
  #endif
#endif

#ifdef ISOCXX_WCHAR_H_HEADER
  #include <wchar.h>
  #ifndef ISOcxx_WCHAR_H_INCLUDED
    #error "got wrong <wchar.h> header!"
  #endif
#endif

#ifdef ISOCXX_WCTYPE_H_HEADER
  #include <wctype.h>
  #ifndef ISOcxx_WCTYPE_H_INCLUDED
    #error "got wrong <wctype.h> header!"
  #endif
#endif


// ----------------------------------------------------------------------
// Trivial program
// ----------------------------------------------------------------------

int  main()  {

  return  0;

}  // main()