1 files changed, 133 insertions, 0 deletions
diff --git a/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor3.cs b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor3.cs
new file mode 100644
index 0000000..74418c4
--- /dev/null
+++ b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor3.cs
@@ -0,0 +1,133 @@
+/*
+ * Copyright (C) 2007-2008, Jeff Thompson
+ * 
+ * All rights reserved.
+ * 
+ * Redistribution and use in source and binary forms, with or without 
+ * modification, are permitted provided that the following conditions are met:
+ * 
+ *     * Redistributions of source code must retain the above copyright 
+ *       notice, this list of conditions and the following disclaimer.
+ *     * Redistributions in binary form must reproduce the above copyright 
+ *       notice, this list of conditions and the following disclaimer in the 
+ *       documentation and/or other materials provided with the distribution.
+ *     * Neither the name of the copyright holder nor the names of its contributors 
+ *       may be used to endorse or promote products derived from this software 
+ *       without specific prior written permission.
+ * 
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
+ * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+ * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+ * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+ * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+ * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+ * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+using System;
+using System.Collections.Generic;
+namespace OpenSim.Region.ScriptEngine.DotNetEngine.Compiler.YieldProlog
+{
+    public class Functor3 : IUnifiable
+    {
+        public readonly Atom _name;
+        public readonly object _arg1;
+        public readonly object _arg2;
+        public readonly object _arg3;
+        public Functor3(Atom name, object arg1, object arg2, object arg3)
+        {
+            _name = name;
+            _arg1 = arg1;
+            _arg2 = arg2;
+            _arg3 = arg3;
+        }
+        
+        public Functor3(string name, object arg1, object arg2, object arg3)
+            : this(Atom.a(name), arg1, arg2, arg3)
+        {
+        }
+        public IEnumerable<bool> unify(object arg)
+        {
+            arg = YP.getValue(arg);
+            if (arg is Functor3)
+            {
+                Functor3 argFunctor = (Functor3)arg;
+                if (_name.Equals(argFunctor._name))
+                {
+                    foreach (bool l1 in YP.unify(_arg1, argFunctor._arg1))
+                    {
+                        foreach (bool l2 in YP.unify(_arg2, argFunctor._arg2))
+                        {
+                            foreach (bool l3 in YP.unify(_arg3, argFunctor._arg3))
+                                yield return false;
+                        }
+                    }
+                }
+            }
+            else if (arg is Variable)
+            {
+                foreach (bool l1 in ((Variable)arg).unify(this))
+                    yield return false;
+            }
+        }
+        public override string ToString()
+        {
+            return _name + "(" + YP.getValue(_arg1) + ", " + YP.getValue(_arg2) + ", " +
+                YP.getValue(_arg3) + ")";
+        }
+        public bool termEqual(object term)
+        {
+            term = YP.getValue(term);
+            if (term is Functor3)
+            {
+                Functor3 termFunctor = (Functor3)term;
+                return _name.Equals(termFunctor._name) && YP.termEqual(_arg1, termFunctor._arg1)
+                     && YP.termEqual(_arg2, termFunctor._arg2)
+                     && YP.termEqual(_arg3, termFunctor._arg3);
+            }
+            return false;
+        }
+        public bool lessThan(Functor3 functor)
+        {
+            // Do the equal check first since it is faster.
+            if (!_name.Equals(functor._name))
+                return _name.lessThan(functor._name);
+            if (!YP.termEqual(_arg1, functor._arg1))
+                return YP.termLessThan(_arg1, functor._arg1);
+            if (!YP.termEqual(_arg2, functor._arg2))
+                return YP.termLessThan(_arg2, functor._arg2);
+            return YP.termLessThan(_arg3, functor._arg3);
+        }
+        public bool ground()
+        {
+            return YP.ground(_arg1) && YP.ground(_arg2) && YP.ground(_arg3);
+        }
+        public void addUniqueVariables(List<Variable> variableSet)
+        {
+            YP.addUniqueVariables(_arg1, variableSet);
+            YP.addUniqueVariables(_arg2, variableSet);
+            YP.addUniqueVariables(_arg3, variableSet);
+        }
+        public object makeCopy(Variable.CopyStore copyStore)
+        {
+            return new Functor3(_name, YP.makeCopy(_arg1, copyStore),
+                YP.makeCopy(_arg2, copyStore), YP.makeCopy(_arg3, copyStore));
+        }
+    }
+}

diff --git a/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor3.cs b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor3.cs new file mode 100644 index 0000000..74418c4 --- /dev/null +++ b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor3.cs
@@ -0,0 +1,133 @@
	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.DotNetEngine.Compiler.YieldProlog
	35	{
	36	public class Functor3 : IUnifiable
	37	{
	38	public readonly Atom _name;
	39	public readonly object _arg1;
	40	public readonly object _arg2;
	41	public readonly object _arg3;
	42
	43	public Functor3(Atom name, object arg1, object arg2, object arg3)
	44	{
	45	_name = name;
	46	_arg1 = arg1;
	47	_arg2 = arg2;
	48	_arg3 = arg3;
	49	}
	50
	51	public Functor3(string name, object arg1, object arg2, object arg3)
	52	: this(Atom.a(name), arg1, arg2, arg3)
	53	{
	54	}
	55
	56	public IEnumerable<bool> unify(object arg)
	57	{
	58	arg = YP.getValue(arg);
	59	if (arg is Functor3)
	60	{
	61	Functor3 argFunctor = (Functor3)arg;
	62	if (_name.Equals(argFunctor._name))
	63	{
	64	foreach (bool l1 in YP.unify(_arg1, argFunctor._arg1))
	65	{
	66	foreach (bool l2 in YP.unify(_arg2, argFunctor._arg2))
	67	{
	68	foreach (bool l3 in YP.unify(_arg3, argFunctor._arg3))
	69	yield return false;
	70	}
	71	}
	72	}
	73	}
	74	else if (arg is Variable)
	75	{
	76	foreach (bool l1 in ((Variable)arg).unify(this))
	77	yield return false;
	78	}
	79	}
	80
	81	public override string ToString()
	82	{
	83	return _name + "(" + YP.getValue(_arg1) + ", " + YP.getValue(_arg2) + ", " +
	84	YP.getValue(_arg3) + ")";
	85	}
	86
	87	public bool termEqual(object term)
	88	{
	89	term = YP.getValue(term);
	90	if (term is Functor3)
	91	{
	92	Functor3 termFunctor = (Functor3)term;
	93	return _name.Equals(termFunctor._name) && YP.termEqual(_arg1, termFunctor._arg1)
	94	&& YP.termEqual(_arg2, termFunctor._arg2)
	95	&& YP.termEqual(_arg3, termFunctor._arg3);
	96	}
	97	return false;
	98	}
	99
	100	public bool lessThan(Functor3 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	if (!YP.termEqual(_arg1, functor._arg1))
	107	return YP.termLessThan(_arg1, functor._arg1);
	108
	109	if (!YP.termEqual(_arg2, functor._arg2))
	110	return YP.termLessThan(_arg2, functor._arg2);
	111
	112	return YP.termLessThan(_arg3, functor._arg3);
	113	}
	114
	115	public bool ground()
	116	{
	117	return YP.ground(_arg1) && YP.ground(_arg2) && YP.ground(_arg3);
	118	}
	119
	120	public void addUniqueVariables(List<Variable> variableSet)
	121	{
	122	YP.addUniqueVariables(_arg1, variableSet);
	123	YP.addUniqueVariables(_arg2, variableSet);
	124	YP.addUniqueVariables(_arg3, variableSet);
	125	}
	126
	127	public object makeCopy(Variable.CopyStore copyStore)
	128	{
	129	return new Functor3(_name, YP.makeCopy(_arg1, copyStore),
	130	YP.makeCopy(_arg2, copyStore), YP.makeCopy(_arg3, copyStore));
	131	}
	132	}
	133	}