public void IsStructure()
{
ObjectTerm t = new ObjectTerm();
AbstractTerm a = new ObjectTerm();
Assert.IsFalse(t.IsStructure);
Assert.IsFalse(a.IsStructure);
}
public void IsReference()
{
ObjectTerm t = new ObjectTerm();
AbstractTerm a = new ObjectTerm();
Assert.IsFalse(t.IsReference);
Assert.IsFalse(a.IsReference);
}
public void IsObject()
{
ObjectTerm t = new ObjectTerm();
AbstractTerm a = new ObjectTerm();
Assert.IsTrue(t.IsObject);
Assert.IsTrue(a.IsObject);
}
public void IsList()
{
ObjectTerm t = new ObjectTerm();
AbstractTerm a = new ObjectTerm();
Assert.IsFalse(t.IsList);
Assert.IsFalse(a.IsList);
}
public void Push_ObjectTerm()
{
AMHeap heap = new AMHeap();
ObjectTerm con = new ObjectTerm();
heap.Push(con);
Assert.AreSame(con, heap.Top());
}
public void ObjectTerm()
{
ObjectTerm ot = new ObjectTerm(33);
Assert.AreEqual(33, ot.Data());
}
public void Data()
{
ObjectTerm t = new ObjectTerm();
Assert.IsNull(t.Data());
}
