3 abstract class Comment extends InputElement {
4 private StringBuffer comment = new StringBuffer();
7 return comment.toString();
10 void appendLine(String more) { // 'more' is '\n' terminated.
13 // skip leading white space.
14 for (; i<more.length(); i++)
15 if (!Character.isSpaceChar(more.charAt(i)))
18 // skip any leading stars.
19 for (; i<more.length(); i++)
20 if (more.charAt(i)!='*')
23 // the rest of the string belongs to the comment.
25 comment.append(more.substring(i));