equal
deleted
inserted
replaced
1589 case 'X': |
1589 case 'X': |
1590 bkch(); |
1590 bkch(); |
1591 str = name(false); |
1591 str = name(false); |
1592 // PI target name may not be empty string [#2.6] |
1592 // PI target name may not be empty string [#2.6] |
1593 // PI target name 'XML' is reserved [#2.6] |
1593 // PI target name 'XML' is reserved [#2.6] |
1594 if ((str.length() == 0) |
1594 if ((str.isEmpty()) |
1595 || (mXml.name.equals(str.toLowerCase()) == true)) { |
1595 || (mXml.name.equals(str.toLowerCase()) == true)) { |
1596 panic(FAULT); |
1596 panic(FAULT); |
1597 } |
1597 } |
1598 // This is processing instruction |
1598 // This is processing instruction |
1599 if (mPh == PH_DOC_START) // the begining of the document |
1599 if (mPh == PH_DOC_START) // the begining of the document |