code: function dotAtomText() {
          var s, maybeText;
          s = wrap('dot-atom-text', star(atext, 1)());
          if (s === null) { return s; }
          maybeText = star(and(literal('.'), star(atext, 1)))();
          if (maybeText !== null) {
              add(s, maybeText);
          }
          return s;
      }
docs: dot-atom-text   =   1*atext *("." 1*atext)