/*------------------------------------------------------------------------------------ 
Copyright (c)2000 TogetherSoft Corporation. Patents pending. All rights reserved. 
------------------------------------------------------------------------------------*/ 

package com.togethersoft.modules.xmleditor.dtd;

public class UnknownXMLElementException extends Exception
{
  private String m_name;

  public UnknownXMLElementException (String name)
  {
    super ("Unknown XML-element '" + name + '\'');
    m_name = name;
  }

  public String getElementName()
  {
    return m_name;
  }
}
