!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 Rewrite > ConceptWithGlobalID {

  Superposition sp;

  S in, out, purpose, conditions;

}

concept Statement > ConceptWithGlobalID {

  Superposition sp;

  S text, meta;

  bool enabled;

}

cmodule RewriteDBWebBot > DynPrintLogAndEnabled {

  set flag NoNanoHTTPD. 

  S myLink() { ret "/db/"; }

  start {

    dbIndexing(User, 'eleuUserGlobalID);

  }

  O html(virtual Request req) {

    try {

      SS params = cast rget params(req);

      virtual User eleuUser = rcall loggedInUser(req);

      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));

      HCRUD_Concepts<Superposition> data = new <>(Superposition.class).addFilter(+user);

      HCRUD crud = new(myLink(), data);

      crud.uneditableFields = litset("globalID", "user");

      ret "Hello " + eleuUser

        + ", " + user.eleuUserGlobalID + ", " + user.googleEmail

        + h3("Your superpositions")

        + crud.renderPage(params);

    } on fail e { printStackTrace(e); }

  }

  // API for Eleu

  void setEleu(O eleu) { mainBot = eleu; }

}