void CommentToken() { io.commentBegin(tok.getValue()); /* mark the begin of source comment */ emit.CommentHolder(); emit.CommentFill(io.commentEndTok(tok.getValue())); /* copy and emit comment */ }