3 abstract class Comment extends InputElement {
4 private StringBuffer comment = new StringBuffer();
6 String getComment() { return comment.toString(); }
8 void appendLine(String more) { // 'more' is '\n' terminated.
11 // skip leading white space.
12 for (; i<more.length(); i++)
13 if (!Character.isSpaceChar(more.charAt(i)))
16 // skip any leading stars.
17 for (; i<more.length(); i++)
18 if (more.charAt(i)!='*')
21 // the rest of the string belongs to the comment.
23 comment.append(more.substring(i));