diff options
Diffstat (limited to 'OpenSim/Region/ScriptEngine/Shared/Api/Runtime/YieldProlog/Functor1.cs')
-rw-r--r-- | OpenSim/Region/ScriptEngine/Shared/Api/Runtime/YieldProlog/Functor1.cs | 124 |
1 files changed, 0 insertions, 124 deletions
diff --git a/OpenSim/Region/ScriptEngine/Shared/Api/Runtime/YieldProlog/Functor1.cs b/OpenSim/Region/ScriptEngine/Shared/Api/Runtime/YieldProlog/Functor1.cs deleted file mode 100644 index 80d98b1..0000000 --- a/OpenSim/Region/ScriptEngine/Shared/Api/Runtime/YieldProlog/Functor1.cs +++ /dev/null | |||
@@ -1,124 +0,0 @@ | |||
1 | /* | ||
2 | * Copyright (C) 2007-2008, Jeff Thompson | ||
3 | * | ||
4 | * All rights reserved. | ||
5 | * | ||
6 | * Redistribution and use in source and binary forms, with or without | ||
7 | * modification, are permitted provided that the following conditions are met: | ||
8 | * | ||
9 | * * Redistributions of source code must retain the above copyright | ||
10 | * notice, this list of conditions and the following disclaimer. | ||
11 | * * Redistributions in binary form must reproduce the above copyright | ||
12 | * notice, this list of conditions and the following disclaimer in the | ||
13 | * documentation and/or other materials provided with the distribution. | ||
14 | * * Neither the name of the copyright holder nor the names of its contributors | ||
15 | * may be used to endorse or promote products derived from this software | ||
16 | * without specific prior written permission. | ||
17 | * | ||
18 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | ||
19 | * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | ||
20 | * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | ||
21 | * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR | ||
22 | * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, | ||
23 | * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, | ||
24 | * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR | ||
25 | * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF | ||
26 | * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING | ||
27 | * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS | ||
28 | * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
29 | */ | ||
30 | |||
31 | using System; | ||
32 | using System.Collections.Generic; | ||
33 | |||
34 | namespace OpenSim.Region.ScriptEngine.Shared.YieldProlog | ||
35 | { | ||
36 | public class Functor1 : IUnifiable | ||
37 | { | ||
38 | public readonly Atom _name; | ||
39 | public readonly object _arg1; | ||
40 | |||
41 | public Functor1(Atom name, object arg1) | ||
42 | { | ||
43 | _name = name; | ||
44 | _arg1 = arg1; | ||
45 | } | ||
46 | |||
47 | public Functor1(string name, object arg1) | ||
48 | : this(Atom.a(name), arg1) | ||
49 | { | ||
50 | } | ||
51 | |||
52 | // disable warning on l1, don't see how we can | ||
53 | // code this differently | ||
54 | #pragma warning disable 0168, 0219 | ||
55 | /// <summary> | ||
56 | /// If arg is another Functor1, then succeed (yield once) if this and arg have the | ||
57 | /// same name and the functor args unify, otherwise fail (don't yield). | ||
58 | /// If arg is a Variable, then call its unify to unify with this. | ||
59 | /// Otherwise fail (don't yield). | ||
60 | /// </summary> | ||
61 | /// <param name="arg"></param> | ||
62 | /// <returns></returns> | ||
63 | public IEnumerable<bool> unify(object arg) | ||
64 | { | ||
65 | arg = YP.getValue(arg); | ||
66 | if (arg is Functor1) | ||
67 | { | ||
68 | Functor1 argFunctor = (Functor1)arg; | ||
69 | if (_name.Equals(argFunctor._name)) | ||
70 | { | ||
71 | foreach (bool l1 in YP.unify(_arg1, argFunctor._arg1)) | ||
72 | yield return false; | ||
73 | } | ||
74 | } | ||
75 | else if (arg is Variable) | ||
76 | { | ||
77 | foreach (bool l1 in ((Variable)arg).unify(this)) | ||
78 | yield return false; | ||
79 | } | ||
80 | } | ||
81 | #pragma warning restore 0168, 0219 | ||
82 | |||
83 | |||
84 | public override string ToString() | ||
85 | { | ||
86 | return _name + "(" + YP.getValue(_arg1) + ")"; | ||
87 | } | ||
88 | |||
89 | public bool termEqual(object term) | ||
90 | { | ||
91 | term = YP.getValue(term); | ||
92 | if (term is Functor1) | ||
93 | { | ||
94 | Functor1 termFunctor = (Functor1)term; | ||
95 | return _name.Equals(termFunctor._name) && YP.termEqual(_arg1, termFunctor._arg1); | ||
96 | } | ||
97 | return false; | ||
98 | } | ||
99 | |||
100 | public bool lessThan(Functor1 functor) | ||
101 | { | ||
102 | // Do the equal check first since it is faster. | ||
103 | if (!_name.Equals(functor._name)) | ||
104 | return _name.lessThan(functor._name); | ||
105 | |||
106 | return YP.termLessThan(_arg1, functor._arg1); | ||
107 | } | ||
108 | |||
109 | public bool ground() | ||
110 | { | ||
111 | return YP.ground(_arg1); | ||
112 | } | ||
113 | |||
114 | public void addUniqueVariables(List<Variable> variableSet) | ||
115 | { | ||
116 | YP.addUniqueVariables(_arg1, variableSet); | ||
117 | } | ||
118 | |||
119 | public object makeCopy(Variable.CopyStore copyStore) | ||
120 | { | ||
121 | return new Functor1(_name, YP.makeCopy(_arg1, copyStore)); | ||
122 | } | ||
123 | } | ||
124 | } | ||