aboutsummaryrefslogtreecommitdiff
path: root/0.8.0/paludis/util/validated.hh
diff options
context:
space:
mode:
authorAvatar Ciaran McCreesh <ciaran.mccreesh@googlemail.com> 2006-10-11 20:56:59 +0000
committerAvatar Ciaran McCreesh <ciaran.mccreesh@googlemail.com> 2006-10-11 20:56:59 +0000
commite3b86134db7baada7b3a1e779e7d6d046ab53a1a (patch)
tree6acb3c0de68e1b95dbba8f0e00f770b8f31e4bac /0.8.0/paludis/util/validated.hh
parentab9cdb1150d97449e857cd55fe706377c9ab2422 (diff)
downloadpaludis-0.8.0.tar.gz
paludis-0.8.0.tar.xz
Tag release 0.8.00.8.0
Diffstat (limited to '0.8.0/paludis/util/validated.hh')
-rw-r--r--0.8.0/paludis/util/validated.hh124
1 files changed, 124 insertions, 0 deletions
diff --git a/0.8.0/paludis/util/validated.hh b/0.8.0/paludis/util/validated.hh
new file mode 100644
index 0000000..0cb54b7
--- /dev/null
+++ b/0.8.0/paludis/util/validated.hh
@@ -0,0 +1,124 @@
+/* vim: set sw=4 sts=4 et foldmethod=syntax : */
+
+/*
+ * Copyright (c) 2005, 2006 Ciaran McCreesh <ciaranm@ciaranm.org>
+ *
+ * This file is part of the Paludis package manager. Paludis is free software;
+ * you can redistribute it and/or modify it under the terms of the GNU General
+ * Public License version 2, as published by the Free Software Foundation.
+ *
+ * Paludis is distributed in the hope that it will be useful, but WITHOUT ANY
+ * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
+ * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
+ * details.
+ *
+ * You should have received a copy of the GNU General Public License along with
+ * this program; if not, write to the Free Software Foundation, Inc., 59 Temple
+ * Place, Suite 330, Boston, MA 02111-1307 USA
+ */
+
+#ifndef PALUDIS_GUARD_PALUDIS_VALIDATED_HH
+#define PALUDIS_GUARD_PALUDIS_VALIDATED_HH 1
+
+#include <iosfwd>
+#include <paludis/util/comparison_policy.hh>
+
+/** \file
+ * Validated declarations.
+ *
+ * \ingroup grpvalidated
+ */
+
+namespace paludis
+{
+ /**
+ * A Validated wraps a particular class instance, ensuring that it always
+ * meets certain validation criteria.
+ *
+ * \ingroup grpvalidated
+ */
+ template <typename ValidatedDataType_, typename Validator_>
+ class Validated : public ComparisonPolicy<
+ Validated<ValidatedDataType_, Validator_>,
+ comparison_mode::FullComparisonTag,
+ comparison_method::CompareByMemberTag<ValidatedDataType_> >
+ {
+ private:
+ ValidatedDataType_ _value;
+
+ public:
+ ///\name Basic operations
+ ///\{
+
+ /**
+ * Copy constructor (no validation needed).
+ */
+ Validated(const Validated<ValidatedDataType_, Validator_> & other);
+
+ /**
+ * Constructor (validation needed).
+ */
+ explicit Validated(const ValidatedDataType_ & value);
+
+ /**
+ * Assignment (no validation needed).
+ */
+ const Validated<ValidatedDataType_, Validator_> & operator=
+ (const Validated<ValidatedDataType_,Validator_> & other)
+ {
+ _value = other._value;
+ return *this;
+ }
+
+ ///\}
+
+ /**
+ * Fetch to our ValidatedDataType_. This should not be a cast
+ * operator to avoid problems with ambiguous comparison operators.
+ */
+ const ValidatedDataType_ & data() const
+ {
+ return _value;
+ }
+ };
+
+
+ template <typename ValidatedDataType_, typename Validator_>
+ Validated<ValidatedDataType_, Validator_>::Validated(
+ const Validated<ValidatedDataType_, Validator_> & other) :
+ ComparisonPolicy<
+ Validated<ValidatedDataType_, Validator_>,
+ comparison_mode::FullComparisonTag,
+ comparison_method::CompareByMemberTag<ValidatedDataType_> >
+ (other),
+ _value(other._value)
+ {
+ }
+
+ template <typename ValidatedDataType_, typename Validator_>
+ Validated<ValidatedDataType_, Validator_>::Validated(const ValidatedDataType_ & value) :
+ ComparisonPolicy<
+ Validated<ValidatedDataType_, Validator_>,
+ comparison_mode::FullComparisonTag,
+ comparison_method::CompareByMemberTag<ValidatedDataType_> >
+ (&Validated<ValidatedDataType_, Validator_>::_value),
+ _value(value)
+ {
+ Validator_::validate(_value);
+ }
+
+ /**
+ * Writing a Validated instance to a stream is done by its data.
+ *
+ * \ingroup grpvalidated
+ */
+ template <typename D_, typename V_>
+ std::ostream &
+ operator<< (std::ostream & s, const Validated<D_, V_> & v)
+ {
+ s << v.data();
+ return s;
+ }
+}
+
+#endif