version 1.27, 2003/08/12 17:47:00
|
version 1.28, 2003/09/09 21:01:07
|
|
|
{ | { |
switch (str[i]) | switch (str[i]) |
{ | { |
case '\n': |
case '\\': |
result.append("\\n"); |
result.append("\\\\"); |
break; |
|
|
|
case '\r': |
|
result.append("\\r"); |
|
break; |
|
|
|
case '\t': |
|
result.append("\\t"); |
|
break; | break; |
| |
case '"': | case '"': |
|
|
| |
while (*p && *p != '"') | while (*p && *p != '"') |
{ | { |
// ATTN: need to handle special characters here: |
|
|
|
if (*p == '\\') | if (*p == '\\') |
|
{ |
*p++; | *p++; |
| |
|
if ((*p != '\\') && (*p != '"')) |
|
{ |
|
throw MalformedObjectNameException(objectName); |
|
} |
|
} |
|
|
valueString.append(*p++); | valueString.append(*p++); |
} | } |
| |
|
|
| |
while (*p && *p != '"') | while (*p && *p != '"') |
{ | { |
// ATTN: need to handle special characters here: |
|
|
|
if (*p == '\\') | if (*p == '\\') |
|
{ |
*p++; | *p++; |
| |
|
if ((*p != '\\') && (*p != '"')) |
|
{ |
|
throw MalformedObjectNameException(objectName); |
|
} |
|
} |
|
|
valueString.append(*p++); | valueString.append(*p++); |
} | } |
| |