--- /dev/null
+package Lex;
+
+abstract class Comment extends InputElement {
+ private StringBuffer comment = new StringBuffer();
+
+ String getComment() { return comment.toString(); }
+
+ void appendLine(String more) { // 'more' is '\n' terminated.
+ int i=0;
+
+ // skip leading white space.
+ for (; i<more.length(); i++)
+ if (!Character.isSpaceChar(more.charAt(i)))
+ break;
+
+ // skip any leading stars.
+ for (; i<more.length(); i++)
+ if (more.charAt(i)!='*')
+ break;
+
+ // the rest of the string belongs to the comment.
+ if (i<more.length())
+ comment.append(more.substring(i));
+ }
+
+}