[tracker/miner-web] TrackerSparqlBuilder: add object_double() method.

[Adrien Bustany <abustany src gnome org>]

commit 3a0e68876946ee5775afced2e53be6736076028d
Author: Carlos Garnacho <carlos lanedo com>
Date:   Wed Nov 4 11:27:46 2009 +0100

    TrackerSparqlBuilder: add object_double() method.

 src/libtracker-common/tracker-sparql-builder.vala |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/libtracker-common/tracker-sparql-builder.vala b/src/libtracker-common/tracker-sparql-builder.vala
index 4b3618e..09ef643 100644
--- a/src/libtracker-common/tracker-sparql-builder.vala
+++ b/src/libtracker-common/tracker-sparql-builder.vala
@@ -176,6 +176,10 @@ public class Tracker.SparqlBuilder : Object {
 		object_string ("%04d-%02d-%02dT%02d:%02d:%02dZ".printf (tm.year + 1900, tm.month + 1, tm.day, tm.hour, tm.minute, tm.second));
 	}
 
+        public void object_double (double literal) {
+                object (literal.to_string ());
+        }
+
 	public void object_blank_open ()
 		requires (state == State.PREDICATE || state == State.OBJECT)
 	{