Merge 9e3c2960aad13b13401049323837ec1405e6ca29 into 9fd4a1b9f52498892d2b399f9306b1564c3c0833

This commit is contained in:
GitHub Merge Button 2012-07-17 10:33:46 -07:00
commit d4d7e3bf88

View File

@ -300,13 +300,13 @@ namespace chaiscript
}
template<typename Target, typename Source>
Target get_as_aux()
Target get_as_aux() const
{
return static_cast<Target>(*static_cast<const Source *>(bv.get_const_ptr()));
}
template<typename Source>
std::string to_string_aux(const Boxed_Value &v)
std::string to_string_aux(const Boxed_Value &v) const
{
std::ostringstream oss;
oss << *static_cast<const Source *>(v.get_const_ptr());
@ -332,7 +332,7 @@ namespace chaiscript
validate_boxed_number(bv);
}
template<typename Target> Target get_as()
template<typename Target> Target get_as() const
{
const Type_Info &inp_ = bv.get_type_info();
@ -373,7 +373,7 @@ namespace chaiscript
}
}
std::string to_string()
std::string to_string() const
{
const Type_Info &inp_ = bv.get_type_info();