diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2010-07-10 01:23:07 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2010-07-10 01:23:07 +0200 |
commit | f87943409c8ae2e9f6ed81e7a1cfc5109c16f31a (patch) | |
tree | ded56a166ef4648061379bab6c65bc40e5d01f8d /src/Double.vala | |
parent | 2fc49125e73554d68b4ee8874b9f84725b6f2157 (diff) | |
download | eva-f87943409c8ae2e9f6ed81e7a1cfc5109c16f31a.tar eva-f87943409c8ae2e9f6ed81e7a1cfc5109c16f31a.zip |
Split Term code to individual class sources
Diffstat (limited to 'src/Double.vala')
-rw-r--r-- | src/Double.vala | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/Double.vala b/src/Double.vala new file mode 100644 index 0000000..0ca6866 --- /dev/null +++ b/src/Double.vala @@ -0,0 +1,30 @@ +namespace Eva { + public class Double : Object, Term { + public double value {get; construct;} + + public Double(double v) { + Object(value: v); + } + + public string to_string() { + return value.to_string(); + } + + protected bool do_match(Term o, Gee.Map<string, Term> vars, Gee.Map<string, string> aliases) { + if(o is Var) { + return o.do_match(this, vars, aliases); + } + + if(o is Double) { + return value == (o as Double).value; + } + else { + return false; + } + } + + public void encode(Erl.Buffer buffer) { + buffer.encode_double(value); + } + } +} |