diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2010-07-11 08:28:49 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2010-07-11 08:28:49 +0200 |
commit | 94de356834be40b1e14c85a016a2e0a9f1768053 (patch) | |
tree | f11586f01a55a559205297f2872f77569a1643f2 /src/List.vala | |
parent | 2bfdf7e32fb4fb4b806264b323bac5237ed91705 (diff) | |
download | eva-94de356834be40b1e14c85a016a2e0a9f1768053.tar eva-94de356834be40b1e14c85a016a2e0a9f1768053.zip |
Added support for parsing strings to complex terms
Diffstat (limited to 'src/List.vala')
-rw-r--r-- | src/List.vala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/List.vala b/src/List.vala index 7637998..9340fd7 100644 --- a/src/List.vala +++ b/src/List.vala @@ -50,6 +50,12 @@ namespace Eva { _tail = null; } + public static List from_list(Gee.List<Term> list) { + if(list.is_empty) + return empty; + else + return new List(list.first(), List.from_list(list[1:list.size])); + } protected bool do_match(Term o, Gee.Map<string, Term> vars, Gee.Map<string, string> aliases) { if(o is Var) { |