public void Bind() { AbstractTerm term = new AbstractTerm(); AbstractTerm term2 = new AbstractTerm(); term.Bind(term2); Assert.AreSame(term2, term.Reference()); }
public void Dereference() { AbstractTerm term1 = new AbstractTerm(); AbstractTerm term2 = new AbstractTerm(); AbstractTerm term3 = new AbstractTerm(); term2.Bind(term3); term1.Bind(term2); Assert.AreSame(term3, term1.Dereference()); }