equal
deleted
inserted
replaced
583 |
583 |
584 // Handle end of PE |
584 // Handle end of PE |
585 boolean reportEntity = fReportEntity; |
585 boolean reportEntity = fReportEntity; |
586 if (name.startsWith("%")) { |
586 if (name.startsWith("%")) { |
587 reportEntity = peekReportEntity(); |
587 reportEntity = peekReportEntity(); |
588 // check well-formedness of the enity |
588 // check well-formedness of the entity |
589 int startMarkUpDepth = popPEStack(); |
589 int startMarkUpDepth = popPEStack(); |
590 // throw fatalError if this entity was incomplete and |
590 // throw fatalError if this entity was incomplete and |
591 // was a freestanding decl |
591 // was a freestanding decl |
592 if(startMarkUpDepth == 0 && |
592 if(startMarkUpDepth == 0 && |
593 startMarkUpDepth < fMarkUpDepth) { |
593 startMarkUpDepth < fMarkUpDepth) { |