From d22a54a19568f8d5e9b6dab1f76f9c5c58682aa5 Mon Sep 17 00:00:00 2001
From: Jeff Ames
Date: Sun, 1 Jun 2008 03:01:33 +0000
Subject: Update svn properties.
---
.../DotNetEngine/Compiler/YieldProlog/Functor.cs | 376 ++++++++++-----------
1 file changed, 188 insertions(+), 188 deletions(-)
(limited to 'OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs')
diff --git a/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs
index 3ba1021..58c0e4b 100644
--- a/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs
+++ b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/Functor.cs
@@ -1,188 +1,188 @@
-/*
- * 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 Functor : IUnifiable
- {
- public readonly Atom _name;
- public readonly object[] _args;
-
- public Functor(Atom name, object[] args)
- {
- if (args.Length <= 3)
- {
- if (args.Length == 0)
- throw new Exception("For arity 0 functor, just use name as an Atom");
- else if (args.Length == 1)
- throw new Exception("For arity 1 functor, use Functor1");
- else if (args.Length == 2)
- throw new Exception("For arity 2 functor, use Functor2");
- else if (args.Length == 3)
- throw new Exception("For arity 3 functor, use Functor3");
- else
- // (This shouldn't happen, but include it for completeness.
- throw new Exception("Cannot create a Functor of arity " + args.Length);
- }
-
- _name = name;
- _args = args;
- }
-
- public Functor(string name, object[] args)
- : this(Atom.a(name), args)
- {
- }
-
- ///
- /// Return an Atom, Functor1, Functor2, Functor3 or Functor depending on the
- /// length of args.
- /// Note that this is different than the Functor constructor which requires
- /// the length of args to be greater than 3.
- ///
- ///
- ///
- ///
- public static object make(Atom name, object[] args)
- {
- if (args.Length <= 0)
- return name;
- else if (args.Length == 1)
- return new Functor1(name, args[0]);
- else if (args.Length == 2)
- return new Functor2(name, args[0], args[1]);
- else if (args.Length == 3)
- return new Functor3(name, args[0], args[1], args[2]);
- else
- return new Functor(name, args);
- }
-
- ///
- /// Call the main make, first converting name to an Atom.
- ///
- ///
- ///
- ///
- public static object make(string name, object[] args)
- {
- return make(Atom.a(name), args);
- }
-
- public IEnumerable unify(object arg)
- {
- arg = YP.getValue(arg);
- if (arg is Functor)
- {
- Functor argFunctor = (Functor)arg;
- if (_name.Equals(argFunctor._name))
- return YP.unifyArrays(_args, argFunctor._args);
- else
- return YP.fail();
- }
- else if (arg is Variable)
- return ((Variable)arg).unify(this);
- else
- return YP.fail();
- }
-
- public override string ToString()
- {
- string result = _name + "(" + YP.getValue(_args[0]);
- for (int i = 1; i < _args.Length; ++i)
- result += ", " + YP.getValue(_args[i]);
- result += ")";
- return result;
- }
-
- public bool termEqual(object term)
- {
- term = YP.getValue(term);
- if (term is Functor)
- {
- Functor termFunctor = (Functor)term;
- if (_name.Equals(termFunctor._name) && _args.Length == termFunctor._args.Length)
- {
- for (int i = 0; i < _args.Length; ++i)
- {
- if (!YP.termEqual(_args[i], termFunctor._args[i]))
- return false;
- }
- return true;
- }
- }
- return false;
- }
-
- public bool lessThan(Functor functor)
- {
- // Do the equal check first since it is faster.
- if (!_name.Equals(functor._name))
- return _name.lessThan(functor._name);
-
- if (_args.Length != functor._args.Length)
- return _args.Length < functor._args.Length;
-
- for (int i = 0; i < _args.Length; ++i)
- {
- if (!YP.termEqual(_args[i], functor._args[i]))
- return YP.termLessThan(_args[i], functor._args[i]);
- }
-
- return false;
- }
-
- public bool ground()
- {
- for (int i = 0; i < _args.Length; ++i)
- {
- if (!YP.ground(_args[i]))
- return false;
- }
- return true;
- }
-
- public void addUniqueVariables(List variableSet)
- {
- for (int i = 0; i < _args.Length; ++i)
- YP.addUniqueVariables(_args[i], variableSet);
- }
-
- public object makeCopy(Variable.CopyStore copyStore)
- {
- object[] argsCopy = new object[_args.Length];
- for (int i = 0; i < _args.Length; ++i)
- argsCopy[i] = YP.makeCopy(_args[i], copyStore);
- return new Functor(_name, argsCopy);
- }
- }
-}
+/*
+ * 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 Functor : IUnifiable
+ {
+ public readonly Atom _name;
+ public readonly object[] _args;
+
+ public Functor(Atom name, object[] args)
+ {
+ if (args.Length <= 3)
+ {
+ if (args.Length == 0)
+ throw new Exception("For arity 0 functor, just use name as an Atom");
+ else if (args.Length == 1)
+ throw new Exception("For arity 1 functor, use Functor1");
+ else if (args.Length == 2)
+ throw new Exception("For arity 2 functor, use Functor2");
+ else if (args.Length == 3)
+ throw new Exception("For arity 3 functor, use Functor3");
+ else
+ // (This shouldn't happen, but include it for completeness.
+ throw new Exception("Cannot create a Functor of arity " + args.Length);
+ }
+
+ _name = name;
+ _args = args;
+ }
+
+ public Functor(string name, object[] args)
+ : this(Atom.a(name), args)
+ {
+ }
+
+ ///
+ /// Return an Atom, Functor1, Functor2, Functor3 or Functor depending on the
+ /// length of args.
+ /// Note that this is different than the Functor constructor which requires
+ /// the length of args to be greater than 3.
+ ///
+ ///
+ ///
+ ///
+ public static object make(Atom name, object[] args)
+ {
+ if (args.Length <= 0)
+ return name;
+ else if (args.Length == 1)
+ return new Functor1(name, args[0]);
+ else if (args.Length == 2)
+ return new Functor2(name, args[0], args[1]);
+ else if (args.Length == 3)
+ return new Functor3(name, args[0], args[1], args[2]);
+ else
+ return new Functor(name, args);
+ }
+
+ ///
+ /// Call the main make, first converting name to an Atom.
+ ///
+ ///
+ ///
+ ///
+ public static object make(string name, object[] args)
+ {
+ return make(Atom.a(name), args);
+ }
+
+ public IEnumerable unify(object arg)
+ {
+ arg = YP.getValue(arg);
+ if (arg is Functor)
+ {
+ Functor argFunctor = (Functor)arg;
+ if (_name.Equals(argFunctor._name))
+ return YP.unifyArrays(_args, argFunctor._args);
+ else
+ return YP.fail();
+ }
+ else if (arg is Variable)
+ return ((Variable)arg).unify(this);
+ else
+ return YP.fail();
+ }
+
+ public override string ToString()
+ {
+ string result = _name + "(" + YP.getValue(_args[0]);
+ for (int i = 1; i < _args.Length; ++i)
+ result += ", " + YP.getValue(_args[i]);
+ result += ")";
+ return result;
+ }
+
+ public bool termEqual(object term)
+ {
+ term = YP.getValue(term);
+ if (term is Functor)
+ {
+ Functor termFunctor = (Functor)term;
+ if (_name.Equals(termFunctor._name) && _args.Length == termFunctor._args.Length)
+ {
+ for (int i = 0; i < _args.Length; ++i)
+ {
+ if (!YP.termEqual(_args[i], termFunctor._args[i]))
+ return false;
+ }
+ return true;
+ }
+ }
+ return false;
+ }
+
+ public bool lessThan(Functor functor)
+ {
+ // Do the equal check first since it is faster.
+ if (!_name.Equals(functor._name))
+ return _name.lessThan(functor._name);
+
+ if (_args.Length != functor._args.Length)
+ return _args.Length < functor._args.Length;
+
+ for (int i = 0; i < _args.Length; ++i)
+ {
+ if (!YP.termEqual(_args[i], functor._args[i]))
+ return YP.termLessThan(_args[i], functor._args[i]);
+ }
+
+ return false;
+ }
+
+ public bool ground()
+ {
+ for (int i = 0; i < _args.Length; ++i)
+ {
+ if (!YP.ground(_args[i]))
+ return false;
+ }
+ return true;
+ }
+
+ public void addUniqueVariables(List variableSet)
+ {
+ for (int i = 0; i < _args.Length; ++i)
+ YP.addUniqueVariables(_args[i], variableSet);
+ }
+
+ public object makeCopy(Variable.CopyStore copyStore)
+ {
+ object[] argsCopy = new object[_args.Length];
+ for (int i = 0; i < _args.Length; ++i)
+ argsCopy[i] = YP.makeCopy(_args[i], copyStore);
+ return new Functor(_name, argsCopy);
+ }
+ }
+}
--
cgit v1.1