ExtLocation() 
{
                _isSet = false;
}

 public int getCharacterOffset() 
{
                if (_isSet)
                    return _off;
                else
                    throw new IllegalStateException();
}

 public int getColumnNumber() 
{
                if (_isSet)
                    return _col;
                else
                    throw new IllegalStateException();
}

 public int getLineNumber() 
{
                if (_isSet)
                    return _line;
                else
                    throw new IllegalStateException();
}

 public String getPublicId() 
{
                if (_isSet)
                    return _pid;
                else
                    throw new IllegalStateException();
}

 public String getSystemId() 
{
                if (_isSet)
                    return _sid;
                else
                    throw new IllegalStateException();
}

  void reset() 
{
                _isSet = false;
}

  void set(Location loc) 
{
                if (_isSet)
                    return;
                _isSet = true;
                _line = loc.getLineNumber();
                _col = loc.getColumnNumber();
                _off = loc.getCharacterOffset();
                _pid = loc.getPublicId();
                _sid = loc.getSystemId();
}