--- parser3/src/include/Attic/pa_vdouble.h	2001/03/06 12:22:57	1.1
+++ parser3/src/include/Attic/pa_vdouble.h	2001/03/06 15:30:48	1.5
@@ -1,19 +1,32 @@
 /*
-  $Id: pa_vdouble.h,v 1.1 2001/03/06 12:22:57 paf Exp $
+  $Id: pa_vdouble.h,v 1.5 2001/03/06 15:30:48 paf Exp $
 */
 
 #ifndef PA_VDOUBLE_H
 #define PA_VDOUBLE_H
 
 #include "pa_value.h"
+#include "pa_common.h"
+
+#define MAX_DOUBLE_AS_STRING 20
 
 class VDouble : public Value {
 public: // Value
 
 	// all: for error reporting after fail(), etc
-	const char *type() const { return "Double"; }
+	const char *type() const { return "double"; }
+	// double: value
+	String *get_string() {
+		char *buf=static_cast<char *>(pool().malloc(MAX_DOUBLE_AS_STRING));
+		snprintf(buf, MAX_DOUBLE_AS_STRING, "%g", value);
+		String *result=NEW String(pool());
+		result->APPEND_CONST(buf);
+		return result;
+	};
 	// double: value
 	double get_double() { return value; };
+	// double: 0 or !0
+	bool get_bool() { return value!=0; };
 
 public: // usage
 
@@ -22,6 +35,7 @@ public: // usage
 	}
 
 private:
+
 	double value;
 
 };