UnknownIDError.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- 
// Project rROTOR                                                             
// -------------------------------------------------------------------------- 
// File: UnknownIDError.cs                                                
// Author: Francisco Ortin  -  francisco.ortin@gmail.com                    
// Description:                                                               
//   Represents a error produced when an identifier has not been solved.
// -------------------------------------------------------------------------- 
// Create date: 16-04-2007                                                    
// Modification date: 16-04-2007                                              

using System;
using System.Collections.Generic;
using System.Text;

namespace ErrorManagement {
    public class UnknownIDError : ErrorAdapter {

        #region Constructor

        public UnknownIDError(string id, Location loc) : base(loc) {
            StringBuilder aux = new StringBuilder();
            aux.AppendFormat("'{0}': unknown identifier.", id);
            this.Description = aux.ToString();
        }

        #endregion

    }
}