!7

concept User {
  GlobalID eleuUserGlobalID;
  S googleEmail;
  
  Superposition defaultSuperposition;
  
  Superposition defaultSuperposition() {
    ret withDBLock(this, () -> {
      if (defaultSuperposition == null)
        cset(this, defaultSuperposition := cnew Superposition(user := User.this, name := shortUserName() + "1"));
      ret defaultSuperposition;
    });
  }
  
  S shortUserName() {
    ret or2(takeCharsWhile isLetter(googleEmail), "unknown");
  }
}

concept Superposition > ConceptWithGlobalID {
  User user;
  S name;
}

concept Statement > ConceptWithGlobalID {
  Superposition sp;
  S text, meta;
}

cmodule RewriteDBWebBot > DynPrintLogAndEnabled {
  set flag NoNanoHTTPD. 
  
  S myLink() { ret "/db/"; }

  start {
    dbIndexing(User, 'eleuUserGlobalID);
  }

  O html(virtual Request request) {
    try {
      virtual User eleuUser = rcall loggedInUser(request);
      if (eleuUser == null) ret "Need cookie";
      GlobalID userID = cast quickImport(rcall globalID(eleuUser));
      User user = uniq User(eleuUserGlobalID := assertNotNull(userID));
      cset(user, googleEmail := getString googleEmail(eleuUser));
      ret "Hello " + eleuUser
        + ", " + user.eleuUserGlobalID + ", " + user.googleEmail;
    } on fail e { printStackTrace(e); }
  }
  
  // API for Eleu
  
  void setEleu(O eleu) { mainBot = eleu; }
}