public Error(int _type,int _LineNo,int error_code,String _extras){
         type=_type;
         LineNo=_LineNo;
         ErrorManager em=new ErrorManager();
         if(em.ErrMessages.containsKey(error_code))
             message=em.ErrMessages.get(error_code);
         else
             message="Unknown Error/Warning";
         extras=_extras;
     }