//
// Copyright (c) 2002 by Stephen C. Dewhurst
// Permission to use, copy, modify, distribute and sell this software for any purpose is
// hereby granted without fee, provided that the above copyright notice appears in all copies
// and that both that copyright notice and this permission notice appear in supporting documentation.
// The author makes no representations about the suitability of this software for any purpose.
// It is provided "as is" without express or implied warranty.
//

// "typeof" operator implementation
//
// Described in CUJ 20(8, 10, and 12), August, October, and December 2002:  "A Bit-Wise Typeof"
// This version is a re-write of the original implementation that employs the typeint implementation
// of extended precision compile time arithmetic.  Typeints are described in CUJ online experts
// column, February 2003.
// 
#ifndef TYPEOF_H
#define TYPEOF_H

#include "gengn.h"
#include "gentype.h"

//
//	Roundtrip:  Use function template argument deduction to instantiate the Godel number for
//	the expression's type, then decode the Godel number to regenerate the type.
//
#define NT_TYPEOF( e ) \
	GenType< \
	Or< \
		LShift< \
			Or< \
				LShift< \
					Or< \
						LShift< \
							TypeInt<sizeof(*genGN4(e))-1>::R, \
							nb \
						>::R, \
						TypeInt<sizeof(*genGN3(e))-1>::R \
					>::R, \
					nb \
				>::R, \
				TypeInt<sizeof(*genGN2(e))-1>::R \
			>::R, \
			nb \
		>::R, \
		TypeInt<sizeof(*genGN1(e))-1>::R \
	>::R \
	>::GTR

#define TYPEOF( e ) typename NT_TYPEOF(e)

#endif