version 1.12, 2002/08/26 22:57:44
|
version 1.13, 2002/08/27 17:42:26
|
|
|
switch (str[i]) | switch (str[i]) |
{ | { |
case '\n': | case '\n': |
result += "\\n"; |
result.append("\\n"); |
break; | break; |
| |
case '\r': | case '\r': |
result += "\\r"; |
result.append("\\r"); |
break; | break; |
| |
case '\t': | case '\t': |
result += "\\t"; |
result.append("\\t"); |
break; | break; |
| |
case '"': | case '"': |
result += "\\\""; |
result.append("\\\""); |
break; | break; |
| |
default: | default: |
result += str[i]; |
result.append(str[i]); |
} | } |
} | } |
| |
|
|
if (_rep->_host.size() && includeHost) | if (_rep->_host.size() && includeHost) |
{ | { |
objectName = "//"; | objectName = "//"; |
objectName += _rep->_host; |
objectName.append(_rep->_host); |
objectName += "/"; |
objectName.append("/"); |
} | } |
| |
// Get the namespace (if we have a host name, we must write namespace): | // Get the namespace (if we have a host name, we must write namespace): |
| |
if (!_rep->_nameSpace.isNull() || _rep->_host.size()) | if (!_rep->_nameSpace.isNull() || _rep->_host.size()) |
{ | { |
objectName += _rep->_nameSpace; |
objectName.append(_rep->_nameSpace); |
objectName += ":"; |
objectName.append(":"); |
} | } |
| |
// Get the class name: | // Get the class name: |