C# (CSharp) Axiom.Runtime.Instructions CutInstruction.Name 예제들

Name() 공개 메소드

public Name ( ) : string
리턴	string

예제 #1

파일: AbstractIntsructionsTests.cs 프로젝트: ahodroj/prologdotnet

        public void Cut()
        {
            AbstractMachineState state = SetupMachine();

            Choicepoint old = new Choicepoint();

            state.E = new EnvironmentFrame(null, null, old, 0);

            CutInstruction i = new CutInstruction();

            i.Process(null);

            i.Execute(state);

            Assert.AreEqual("cut", i.Name());
            Assert.AreEqual(0, i.NumberOfArguments());
            Assert.AreSame(state.B, old);
        }