C# (CSharp) Axiom.Runtime ObjectTermの例

コード例 #1

ファイル: ObjectTerm.cs プロジェクト: ahodroj/prologdotnet

 public void IsStructure()
 {
     ObjectTerm t = new ObjectTerm();
     AbstractTerm a = new ObjectTerm();
     Assert.IsFalse(t.IsStructure);
     Assert.IsFalse(a.IsStructure);
 }

コード例 #2

ファイル: ObjectTerm.cs プロジェクト: ahodroj/prologdotnet

 public void IsReference()
 {
     ObjectTerm t = new ObjectTerm();
     AbstractTerm a = new ObjectTerm();
     Assert.IsFalse(t.IsReference);
     Assert.IsFalse(a.IsReference);
 }

コード例 #3

ファイル: ObjectTerm.cs プロジェクト: ahodroj/prologdotnet

 public void IsObject()
 {
     ObjectTerm t = new ObjectTerm();
     AbstractTerm a = new ObjectTerm();
     Assert.IsTrue(t.IsObject);
     Assert.IsTrue(a.IsObject);
 }

コード例 #4

ファイル: ObjectTerm.cs プロジェクト: ahodroj/prologdotnet

 public void IsList()
 {
     ObjectTerm t = new ObjectTerm();
     AbstractTerm a = new ObjectTerm();
     Assert.IsFalse(t.IsList);
     Assert.IsFalse(a.IsList);
 }

コード例 #5

ファイル: AMHeap.cs プロジェクト: ahodroj/prologdotnet

        public void Push_ObjectTerm()
        {
            AMHeap heap = new AMHeap();

            ObjectTerm con = new ObjectTerm();

            heap.Push(con);

            Assert.AreSame(con, heap.Top());
        }

コード例 #6

ファイル: ObjectTerm.cs プロジェクト: ahodroj/prologdotnet

        public void ObjectTerm()
        {
            ObjectTerm ot = new ObjectTerm(33);

            Assert.AreEqual(33, ot.Data());
        }

コード例 #7

ファイル: ObjectTerm.cs プロジェクト: ahodroj/prologdotnet

 public void Data()
 {
     ObjectTerm t = new ObjectTerm();
     Assert.IsNull(t.Data());
 }