Multiple changes

- Changed the return value of ObjGenDelOps::IsA.
- Added Object::HasInstance.
- Added the operator ~ to Boolean.
- Updated the quickbook docs.
- Other minor changes.

doc/quickbook/oalplus/quickref/object/optional.qbk

@@ -1,4 +1,4 @@
-[/ Copyright 2014-2015 Matus Chochlik. Distributed under the Boost       ]
+[/ Copyright 2014-2015 Matus Chochlik. Distributed under the Boost  ]
 [/ Software License, Version 1.0. (See accompanying file            ]
 [/ LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) ]
 
@@ -13,7 +13,7 @@ objects] and in contrast to [^__Object] it [*does] allow to construct uninitiali
 instances which can be initialized later.
 
 An [^Optional<__Object>] can be used everywhere an [^__Object] could be
-used, but it must be initialized (the [^IsInitialized()] member function
+used, but it must be initialized (the [^HasValidName()] member function
 must return true), otherwise usage results in undefined behavior.
 
 [import optional.hpp]

doc/quickbook/oglplus/quickref/object/optional.hpp

@@ -1,5 +1,5 @@
 /*
- *  Copyright 2014 Matus Chochlik. Distributed under the Boost
+ *  Copyright 2014-2015 Matus Chochlik. Distributed under the Boost
  *  Software License, Version 1.0. (See accompanying file
  *  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  */
@@ -33,12 +33,12 @@ class Optional
 	>*/
 
 	explicit operator bool (void) const; /*<
-	Equivalent to [^IsInitialized].
+	Equivalent to [^HasValidName].
 	>*/
-	bool IsInitialized(void) const noexcept; /*<
-	Returns true if the object is initialized, false otherwise.
+	bool HasValidName(void) const noexcept; /*<
+	Returns true if the object has a valid name, false otherwise.
 	The only things that can safely be done with
-	an uninitialized [^Optional<__Object>] is assignment,
+	an invalid name [^Optional<__Object>] is assignment,
 	moving, destruction and checking whether it is
 	initialized. On the other hand initialized
 	[^Optional<__Object>] can be used everywhere where

doc/quickbook/oglplus/quickref/object/optional.qbk

@@ -1,4 +1,4 @@
-[/ Copyright 2014 Matus Chochlik. Distributed under the Boost       ]
+[/ Copyright 2014-2015 Matus Chochlik. Distributed under the Boost  ]
 [/ Software License, Version 1.0. (See accompanying file            ]
 [/ LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) ]
 
@@ -13,7 +13,7 @@ objects] and in contrast to [^__Object] it [*does] allow to construct uninitiali
 instances which can be initialized later.
 
 An [^Optional<__Object>] can be used everywhere an [^__Object] could be
-used, but it must be initialized (the [^IsInitialized()] member function
+used, but it must be initialized (the [^HasValidName()] member function
 must return true), otherwise usage results in undefined behavior.
 
 [import optional.hpp]

include/oglplus/buffer.hpp

@@ -68,10 +68,12 @@ class ObjGenDelOps<tag::Buffer>
 		OGLPLUS_VERIFY_SIMPLE(DeleteBuffers);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsBuffer)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsBuffer)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsBuffer);
 		return result;
 	}

include/oglplus/detail/boolean.hpp

@@ -19,10 +19,43 @@
 
 namespace oglplus {
 
+template <typename T, T TrueVal, T FalseVal>
+struct BoolImpl;
+
+template <typename T, T TrueVal, T FalseVal>
+struct WeakBoolImpl
+{
+private:
+	T _v;
+
+	explicit
+	WeakBoolImpl(T v)
+	 : _v(v)
+	{ }
+
+	friend struct BoolImpl<T, TrueVal, FalseVal>;
+public:
+	operator bool (void) const
+	OGLPLUS_NOEXCEPT(true)
+	{
+		return _v != FalseVal;
+	}
+
+	bool operator ! (void) const
+	OGLPLUS_NOEXCEPT(true)
+	{
+		return _v != TrueVal;
+	}
+};
+
 template <typename T, T TrueVal, T FalseVal>
 struct BoolImpl
 {
 private:
+	static_assert(TrueVal != FalseVal, "");
+	static_assert(TrueVal >= 0, "");
+	static_assert(FalseVal>= 0, "");
+
 	T _v;
 public:
 	// implementation detail
@@ -68,6 +101,12 @@ struct BoolImpl
 		}
 	}
 
+	static
+	BoolImpl Indeterminate(void)
+	{
+		return BoolImpl(TrueVal+FalseVal+1);
+	}
+
 	operator bool (void) const
 	OGLPLUS_NOEXCEPT(true)
 	{
@@ -79,6 +118,11 @@ struct BoolImpl
 	{
 		return _v == FalseVal;
 	}
+
+	WeakBoolImpl<T, TrueVal, FalseVal> operator ~ (void) const
+	{
+		return WeakBoolImpl<T, TrueVal, FalseVal>(_v);
+	}
 };
 
 } // namespace oglplus

include/oglplus/ext/AMD_performance_monitor.hpp

@@ -304,10 +304,9 @@ class ObjGenDelOps<tag::PerfMonitorAMD>
 		OGLPLUS_VERIFY_SIMPLE(DeleteSamplers);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint /*name*/)
 	{
-		assert(name != 0);
-		return GL_TRUE;
+			return Boolean::Indeterminate();
 	}
 };
 

include/oglplus/ext/NV_path_rendering/path.hpp

@@ -65,10 +65,12 @@ class ObjGenDelOps<tag::PathNV>
 		OGLPLUS_VERIFY_SIMPLE(DeletePathsNV);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsPathNV)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsPathNV)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsPathNV);
 		return result;
 	}

include/oglplus/framebuffer.hpp

@@ -65,10 +65,12 @@ class ObjGenDelOps<tag::Framebuffer>
 		OGLPLUS_VERIFY_SIMPLE(DeleteFramebuffers);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsFramebuffer)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsFramebuffer)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsFramebuffer);
 		return result;
 	}

include/oglplus/object/name_tpl.hpp

@@ -146,8 +146,8 @@ class ObjectName
 		return *this;
 	}
 
-	/// Returns true if the object name is initialized, false otherwise
-	bool IsInitialized(void) const
+	/// Returns true if the object name is valid, false otherwise
+	bool HasValidName(void) const
 	OGLPLUS_NOEXCEPT(true)
 	{
 		return this->_name != _invalid_name();

include/oglplus/object/optional.hpp

@@ -24,7 +24,7 @@ namespace oglplus {
  *  instances which can be initialized later.
  *
  *  An Optional<Object> can be used everywhere an Object could be
- *  used, but it must be initialized (the IsInitialized() member function
+ *  used, but it must be initialized (the HasValidName() member function
  *  must return true), otherwise usage results in undefined behavior.
  *
  *  @ingroup modifier_classes
@@ -40,7 +40,7 @@ class OptionalImpl<tag::Object, Object>
 	 *  moving, destruction and checking whether it is
 	 *  initialized.
 	 *
-	 *  @see IsInitialized
+	 *  @see HasValidName
 	 *  @see Assign
 	 */
 	OptionalImpl(void)
@@ -53,7 +53,7 @@ class OptionalImpl<tag::Object, Object>
 	 *  a plain Object could be used, furthermore Optional<Object>
 	 *  can also be cleared (this brings it in uninitialized state)
 	 *
-	 *  @see IsInitialized
+	 *  @see HasValidName
 	 *  @see Clear
 	 */
 	OptionalImpl(Object&& temp)
@@ -77,7 +77,7 @@ class OptionalImpl<tag::Object, Object>
 	operator bool (void) const
 	OGLPLUS_NOEXCEPT(true)
 	{
-		return this->IsInitialized();
+		return this->HasValidName();
 	}
 
 	/// Releases the stored object and makes this Optional uninitialized

include/oglplus/object/wrap_tpl.hpp

@@ -332,6 +332,13 @@ class ObjectTpl
 		return *this;
 	}
 
+	static
+	auto HasInstance(ObjectName<ObjTag> name) ->
+		decltype(ObjGenDelOps<ObjTag>::IsA(GetName(name))) // TODO
+	{
+		return ObjGenDelOps<ObjTag>::IsA(GetName(name));
+	}
+
 	/// Returns the textual description of this object
 	const std::string& Description(void) const
 	{

include/oglplus/program.hpp

@@ -68,10 +68,12 @@ class ObjGenDelOps<tag::Program>
 		}
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsProgram)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsProgram)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsProgram);
 		return result;
 	}

include/oglplus/program_pipeline.hpp

@@ -64,10 +64,12 @@ class ObjGenDelOps<tag::ProgramPipeline>
 		OGLPLUS_VERIFY_SIMPLE(DeleteProgramPipelines);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsProgramPipeline)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsProgramPipeline)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsProgramPipeline);
 		return result;
 	}

include/oglplus/query.hpp

@@ -70,10 +70,12 @@ class ObjGenDelOps<tag::Query>
 		OGLPLUS_VERIFY_SIMPLE(DeleteQueries);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsQuery)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsQuery)(name), 
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsQuery);
 		return result;
 	}

include/oglplus/renderbuffer.hpp

@@ -57,10 +57,12 @@ class ObjGenDelOps<tag::Renderbuffer>
 		OGLPLUS_VERIFY_SIMPLE(DeleteRenderbuffers);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsRenderbuffer)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsRenderbuffer)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsRenderbuffer);
 		return result;
 	}

include/oglplus/sampler.hpp

@@ -67,10 +67,12 @@ class ObjGenDelOps<tag::Sampler>
 		OGLPLUS_VERIFY_SIMPLE(DeleteSamplers);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsSampler)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsSampler)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsSampler);
 		return result;
 	}

include/oglplus/shader.hpp

@@ -67,10 +67,12 @@ class ObjGenDelOps<tag::Shader>
 		}
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsShader)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsShader)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsShader);
 		return result;
 	}

include/oglplus/texture.hpp

@@ -86,10 +86,12 @@ class ObjGenDelOps<tag::Texture>
 		OGLPLUS_VERIFY_SIMPLE(DeleteTextures);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsTexture)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsTexture)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsTexture);
 		return result;
 	}

include/oglplus/transform_feedback.hpp

@@ -60,10 +60,12 @@ class ObjGenDelOps<tag::TransformFeedback>
 		OGLPLUS_VERIFY_SIMPLE(DeleteTransformFeedbacks);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsTransformFeedback)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsTransformFeedback)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsTransformFeedback);
 		return result;
 	}

include/oglplus/vertex_array.hpp

@@ -16,6 +16,7 @@
 #include <oglplus/glfunc.hpp>
 #include <oglplus/object/wrapper.hpp>
 #include <oglplus/error/object.hpp>
+#include <oglplus/boolean.hpp>
 #include <cassert>
 
 namespace oglplus {
@@ -54,10 +55,12 @@ class ObjGenDelOps<tag::VertexArray>
 		OGLPLUS_VERIFY_SIMPLE(DeleteVertexArrays);
 	}
 
-	static GLboolean IsA(GLuint name)
+	static Boolean IsA(GLuint name)
 	{
-		assert(name != 0);
-		GLboolean result = OGLPLUS_GLFUNC(IsVertexArray)(name);
+		Boolean result(
+			OGLPLUS_GLFUNC(IsVertexArray)(name),
+			std::nothrow
+		);
 		OGLPLUS_VERIFY_SIMPLE(IsVertexArray);
 		return result;
 	}