Axiom.Runtime.AbstractTerm.Bind C# (CSharp) Method

Bind() public method

Binds this object to another one.
public Bind ( AbstractTerm term ) : void
term AbstractTerm
return void
        public virtual void Bind(AbstractTerm term)
        {
            AbstractTerm t1 = this;
            AbstractTerm t2 = term;

            AMTrail trail = AMTrail.Instance;

            // if t1 is a reference
            //   and
            //  (t2 is not a reference) or address2 < address1
            if (t1.IsReference && !t2.IsReference)
            {
                Assign(t2);
                trail.Trail(t1);
            }
            else
            {
                t2.Assign(t1);
                trail.Trail(t2);
            }
        }

Usage Example

Esempio n. 1
0
        public void Bind()
        {
            AbstractTerm term = new AbstractTerm();
            AbstractTerm term2 = new AbstractTerm();

            term.Bind(term2);

            Assert.AreSame(term2, term.Reference());
        }
All Usage Examples Of Axiom.Runtime.AbstractTerm::Bind