/YieldProlog/Modules/Functor1.cs
C# | 121 lines | 71 code | 13 blank | 37 comment | 7 complexity | ffb04b5508557bbdf2b25c8ee9acdc1c MD5 | raw file
- /*
- * Copyright (c) Contributors, http://aurora-sim.org/
- * See CONTRIBUTORS.TXT for a full list of copyright holders.
- *
- * 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 Aurora-Sim Project 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 DEVELOPERS ``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 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.Shared.YieldProlog
- {
- public class Functor1 : IUnifiable
- {
- public readonly Atom _name;
- public readonly object _arg1;
-
- public Functor1(Atom name, object arg1)
- {
- _name = name;
- _arg1 = arg1;
- }
-
- public Functor1(string name, object arg1)
- : this(Atom.a(name), arg1)
- {
- }
-
- // disable warning on l1, don't see how we can
- // code this differently
- #pragma warning disable 0168, 0219
- /// <summary>
- /// If arg is another Functor1, then succeed (yield once) if this and arg have the
- /// same name and the functor args unify, otherwise fail (don't yield).
- /// If arg is a Variable, then call its unify to unify with this.
- /// Otherwise fail (don't yield).
- /// </summary>
- /// <param name="arg"></param>
- /// <returns></returns>
- public IEnumerable<bool> unify(object arg)
- {
- arg = YP.getValue(arg);
- if (arg is Functor1)
- {
- Functor1 argFunctor = (Functor1)arg;
- if (_name.Equals(argFunctor._name))
- {
- foreach (bool l1 in YP.unify(_arg1, argFunctor._arg1))
- yield return false;
- }
- }
- else if (arg is Variable)
- {
- foreach (bool l1 in ((Variable)arg).unify(this))
- yield return false;
- }
- }
- #pragma warning restore 0168, 0219
-
-
- public override string ToString()
- {
- return _name + "(" + YP.getValue(_arg1) + ")";
- }
-
- public bool termEqual(object term)
- {
- term = YP.getValue(term);
- if (term is Functor1)
- {
- Functor1 termFunctor = (Functor1)term;
- return _name.Equals(termFunctor._name) && YP.termEqual(_arg1, termFunctor._arg1);
- }
- return false;
- }
-
- public bool lessThan(Functor1 functor)
- {
- // Do the equal check first since it is faster.
- if (!_name.Equals(functor._name))
- return _name.lessThan(functor._name);
-
- return YP.termLessThan(_arg1, functor._arg1);
- }
-
- public bool ground()
- {
- return YP.ground(_arg1);
- }
-
- public void addUniqueVariables(List<Variable> variableSet)
- {
- YP.addUniqueVariables(_arg1, variableSet);
- }
-
- public object makeCopy(Variable.CopyStore copyStore)
- {
- return new Functor1(_name, YP.makeCopy(_arg1, copyStore));
- }
- }
- }