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/String.vala | |
parent | 2fc49125e73554d68b4ee8874b9f84725b6f2157 (diff) | |
download | eva-f87943409c8ae2e9f6ed81e7a1cfc5109c16f31a.tar eva-f87943409c8ae2e9f6ed81e7a1cfc5109c16f31a.zip |
Split Term code to individual class sources
Diffstat (limited to 'src/String.vala')
-rw-r--r-- | src/String.vala | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/src/String.vala b/src/String.vala new file mode 100644 index 0000000..50563c2 --- /dev/null +++ b/src/String.vala @@ -0,0 +1,39 @@ +namespace Eva { + public class String : Object, Term { + public string value {get; construct;} + + public String(string v) { + Object(value: v); + } + + public string to_string() { + return "\"" + value.replace("\\", "\\\\").replace("\"", "\\\"") + "\""; + } + + 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 String) { + return (value == (o as String).value); + } + else if(o is List) { + return o.do_match(this, vars, aliases); + } + else { + return false; + } + } + + public void encode(Erl.Buffer buffer) { + char[]? array = string_to_array(value); + if(array != null) { + buffer.encode_string(array); + } + else { + string_to_list(value).encode(buffer); + } + } + } +} |