using System;
using System.Collections.Generic;
using System.Text;
using UnitTestSharp;
using DNAModule.Sunweaver.Commands.Abstracts;
using DNAModule.Sunweaver.Commands.UnaryLogic;
using DNAModule.Sunweaver.DataPrototypes;

namespace DNAModule.Sunweaver.UnitTests.Commands.UnaryLogic
{
    
    public class notTests : TestFixture
    {
        BasePair bp = new not();
        VirtualMachine VM;

        
        public override void TestSetup()
        {
            VM = new VirtualMachine();
        }

        
        public void Correct()
        {
            
            VM.BoolStack.Push(false);

            bp.Implementation(VM);

            CheckTrue( VM.BoolStack.Pop());
        }

        
        public void NameTest()
        {
            CheckEqual("not", bp.ToString());
        }
    }
}