﻿using System;

namespace Model
{
    public class LockEnterStatement : Statement
    {
        private int nr;
        public LockEnterStatement(int nr)
        {
            this.nr = nr;
        }
            
        public int GetNr()
        {
            return nr;
        }

        /// <inheritdoc />
        public override string ToString()
        {
            return string.Format("lockEnter({0})", nr);
        }

        /// <inheritdoc />
        public override Statement CloneDeep()
        {
            return new LockEnterStatement(nr);
        }
    }
}

