@lucent-lang/lucent 0.0.4 → 0.1.1

package/runtime/native/android/src/main/java/dev/lucent/LucentInitializer.java

@@ -0,0 +1,46 @@
+// Generated by Lucent. Do not edit.
+package dev.lucent;
+
+import android.app.Application;
+import android.content.ContentProvider;
+import android.content.ContentValues;
+import android.database.Cursor;
+import android.net.Uri;
+
+/**
+ * Starts Lucent's Activity tracking with the process, before any Activity
+ * or JavaScript: Android creates the providers the app's manifest declares
+ * before its first Activity. It provides no data.
+ */
+public final class LucentInitializer extends ContentProvider {
+  @Override
+  public boolean onCreate() {
+    LucentActivities.install((Application) getContext().getApplicationContext());
+    return true;
+  }
+
+  @Override
+  public Cursor query(Uri uri, String[] projection, String selection, String[] args, String order) {
+    return null;
+  }
+
+  @Override
+  public String getType(Uri uri) {
+    return null;
+  }
+
+  @Override
+  public Uri insert(Uri uri, ContentValues values) {
+    return null;
+  }
+
+  @Override
+  public int delete(Uri uri, String selection, String[] args) {
+    return 0;
+  }
+
+  @Override
+  public int update(Uri uri, ContentValues values, String selection, String[] args) {
+    return 0;
+  }
+}

package/runtime/native/android/src/main/java/dev/lucent/LucentPackage.java

@@ -9,8 +9,9 @@ import java.util.Collections;
 import java.util.List;
 
 /**
- * Lucent's module is C++ (autolinked through CMake). This package only lets
- * autolinking include the Java Lucent's platform code needs (NativeProxy).
+ * Lucent's module is C++ (autolinked through CMake). This package lets
+ * autolinking include the Java Lucent's platform code needs (NativeProxy),
+ * and gives React Native the managers of the app's Lucent components.
  */
 public final class LucentPackage implements ReactPackage {
   @Override
@@ -20,6 +21,6 @@ public final class LucentPackage implements ReactPackage {
 
   @Override
   public List<ViewManager> createViewManagers(ReactApplicationContext context) {
-    return Collections.emptyList();
+    return LucentViewManagers.create();
   }
 }

package/runtime/native/android/src/main/java/dev/lucent/LucentRequestActivity.java

@@ -0,0 +1,92 @@
+// Generated by Lucent. Do not edit.
+package dev.lucent;
+
+import android.app.Activity;
+import android.content.ActivityNotFoundException;
+import android.content.Context;
+import android.content.Intent;
+import android.os.Bundle;
+
+/**
+ * Asks for one activity result or one set of permissions on behalf of
+ * Lucent code, and hands the answer to LucentActivities. Translucent and
+ * short-lived: the app's own Activity stays as it is, and may be recreated
+ * while the request is out without losing the answer. Recreated itself (the
+ * system reclaimed it while another app's Activity was in front), it waits
+ * for the answer instead of asking again.
+ */
+public final class LucentRequestActivity extends Activity {
+  private static final String ID = "dev.lucent.request";
+  private static final int CODE = 1;
+
+  private LucentActivities.Request request;
+  private boolean done;
+
+  static Intent intent(Context from, long id) {
+    return new Intent(from, LucentRequestActivity.class).putExtra(ID, id);
+  }
+
+  @Override
+  protected void onCreate(Bundle saved) {
+    super.onCreate(saved);
+
+    request = LucentActivities.attach(getIntent().getLongExtra(ID, 0), this);
+
+    // Forgotten meanwhile, or a new process after the old one died: nobody waits for the answer.
+    if (request == null) {
+      done = true;
+      finish();
+      return;
+    }
+
+    if (saved != null) return;
+
+    if (request.kind == LucentActivities.PERMISSIONS) {
+      requestPermissions(request.permissions, CODE);
+      return;
+    }
+
+    try {
+      startActivityForResult(request.intent, CODE);
+    } catch (ActivityNotFoundException | SecurityException e) {
+      end();
+      LucentActivities.failed(request, "ERR_ACTIVITY_NOT_FOUND", String.valueOf(e.getMessage()));
+    }
+  }
+
+  @Override
+  protected void onActivityResult(int code, int resultCode, Intent data) {
+    super.onActivityResult(code, resultCode, data);
+
+    end();
+    LucentActivities.answered(request, resultCode, data);
+  }
+
+  @Override
+  public void onRequestPermissionsResult(int code, String[] permissions, int[] grants) {
+    super.onRequestPermissionsResult(code, permissions, grants);
+
+    end();
+    LucentActivities.answered(request, permissions, grants);
+  }
+
+  /** The request was forgotten: close what it started, if Android lets the app. */
+  void abandon() {
+    done = true;
+    finishActivity(CODE);
+    finish();
+  }
+
+  private void end() {
+    done = true;
+    finish();
+  }
+
+  @Override
+  protected void onDestroy() {
+    super.onDestroy();
+
+    if (isFinishing() && !done && request != null)
+      LucentActivities.failed(request, "ERR_REQUEST_ENDED", "The request ended without an answer");
+  }
+}

package/runtime/native/android/src/main/java/dev/lucent/LucentSlotView.java

@@ -0,0 +1,102 @@
+// Generated by Lucent. Do not edit.
+package dev.lucent;
+
+import android.content.Context;
+import android.view.View;
+import android.view.ViewGroup;
+import android.view.ViewParent;
+import android.view.ViewTreeObserver;
+
+/**
+ * The view a Lucent component's React children are mounted in: its slot,
+ * which the component's setup places in its view ({@link LucentChildren}
+ * says who owns what). React Native lays each child out, at the frame Yoga
+ * gave it in the component's coordinates; the slot never does. It shows
+ * them there wherever it is: it scrolls its content by its own position in
+ * the host, at each layout and before each frame, and tells the host where
+ * it is then, so that Yoga lays the children out in its rectangle. Like any
+ * view group, it clips them to its bounds. It fills the space its parent
+ * offers.
+ */
+final class LucentSlotView extends ViewGroup implements ViewTreeObserver.OnPreDrawListener {
+  /** Where the slot is in its host, in pixels, as the host hears it. */
+  interface Placed {
+    void place(int x, int y, int width, int height);
+  }
+
+  /** The component's host view, whose coordinates the children's frames are in. */
+  private final View host;
+
+  private final Placed placed;
+
+  LucentSlotView(Context context, View host, Placed placed) {
+    super(context);
+    this.host = host;
+    this.placed = placed;
+  }
+
+  @Override
+  protected void onMeasure(int widthSpec, int heightSpec) {
+    setMeasuredDimension(offered(widthSpec), offered(heightSpec));
+  }
+
+  @Override
+  protected void onLayout(boolean changed, int left, int top, int right, int bottom) {
+    // React Native lays the children out.
+    align();
+  }
+
+  @Override
+  protected void onAttachedToWindow() {
+    super.onAttachedToWindow();
+    getViewTreeObserver().addOnPreDrawListener(this);
+  }
+
+  @Override
+  protected void onDetachedFromWindow() {
+    getViewTreeObserver().removeOnPreDrawListener(this);
+    super.onDetachedFromWindow();
+  }
+
+  /** An ancestor may have moved it within the host without laying it out. */
+  @Override
+  public boolean onPreDraw() {
+    align();
+    return true;
+  }
+
+  /**
+   * Scrolls its content by its origin in the host: children show where Yoga
+   * put them. Then tells the host where it is.
+   */
+  private void align() {
+    int x = 0;
+    int y = 0;
+
+    for (View v = this; v != host; ) {
+      x += v.getLeft();
+      y += v.getTop();
+
+      ViewParent parent = v.getParent();
+
+      // Not (or no longer) in the host.
+      if (!(parent instanceof View)) return;
+
+      v = (View) parent;
+
+      if (v != host) {
+        x -= v.getScrollX();
+        y -= v.getScrollY();
+      }
+    }
+
+    if (getScrollX() != x || getScrollY() != y) scrollTo(x, y);
+
+    placed.place(x, y, getWidth(), getHeight());
+  }
+
+  /** The size a spec offers: all of it, or none when it offers no bound. */
+  private static int offered(int spec) {
+    return MeasureSpec.getMode(spec) == MeasureSpec.UNSPECIFIED ? 0 : MeasureSpec.getSize(spec);
+  }
+}

package/runtime/native/android/src/main/java/dev/lucent/LucentViewManager.java

@@ -0,0 +1,149 @@
+// Generated by Lucent. Do not edit.
+package dev.lucent;
+
+import android.view.View;
+import com.facebook.react.bridge.Arguments;
+import com.facebook.react.bridge.NativeArray;
+import com.facebook.react.bridge.ReadableArray;
+import com.facebook.react.bridge.WritableNativeMap;
+import com.facebook.react.uimanager.IViewGroupManager;
+import com.facebook.react.uimanager.ReactStylesDiffMap;
+import com.facebook.react.uimanager.SimpleViewManager;
+import com.facebook.react.uimanager.StateWrapper;
+import com.facebook.react.uimanager.ThemedReactContext;
+
+/**
+ * The manager of a Lucent component's views. Each component has its own
+ * (dev.lucent.generated.<registration>Manager), named as the component is
+ * registered; what they do is the C++ host's (LucentViews). React Native
+ * mounts a view's children through it (it is an IViewGroupManager): they
+ * go in the component's slot, and React Native lays them out.
+ */
+public abstract class LucentViewManager extends SimpleViewManager<LucentHostView>
+    implements IViewGroupManager<LucentHostView> {
+  private final String name;
+  private final boolean takesChildren;
+
+  protected LucentViewManager(String name) {
+    this(name, false);
+  }
+
+  /** `takesChildren`: the component takes React children, which its views keep a slot for. */
+  protected LucentViewManager(String name, boolean takesChildren) {
+    this.name = name;
+    this.takesChildren = takesChildren;
+
+    // Pools dropped views when the app turns enableViewRecycling on: a
+    // recycled shell gets a new host, and its next commit a new mount.
+    setupViewRecycling();
+  }
+
+  @Override
+  public String getName() {
+    return name;
+  }
+
+  @Override
+  protected LucentHostView createViewInstance(ThemedReactContext context) {
+    return new LucentHostView(context, name, takesChildren);
+  }
+
+  @Override
+  public void updateProperties(LucentHostView view, ReactStylesDiffMap props) {
+    // React Native's view props (style, accessibility…) first, then the component's own.
+    super.updateProperties(view, props);
+
+    // The host consumes what it is given: React Native keeps its map.
+    WritableNativeMap own = new WritableNativeMap();
+    own.merge(props.internal_backingMap());
+
+    int surface = ((ThemedReactContext) view.getContext()).getSurfaceId();
+    view.host = LucentViews.update(view.host, view, name, view.getId(), surface, own);
+  }
+
+  @Override
+  public Object updateState(LucentHostView view, ReactStylesDiffMap props, StateWrapper state) {
+    if (view.host != 0 && state != null) LucentViews.state(view.host, state);
+
+    return null;
+  }
+
+  /** Yoga's border and padding: the shell lays the content out inside them, as iOS does. */
+  @Override
+  public void setPadding(LucentHostView view, int left, int top, int right, int bottom) {
+    view.setPadding(left, top, right, bottom);
+  }
+
+  @Override
+  public void receiveCommand(
+      LucentHostView view, String command, ReadableArray args) {
+    if (view.host == 0) return;
+
+    NativeArray list =
+        args instanceof NativeArray
+            ? (NativeArray) args
+            : Arguments.makeNativeArray(args == null ? null : args.toArrayList());
+
+    LucentViews.command(view.host, command, list);
+  }
+
+  // React Native's children of the component: in its order, whatever the shell holds.
+
+  @Override
+  public void addView(LucentHostView parent, View child, int index) {
+    parent.children.add(child, index);
+  }
+
+  @Override
+  public View getChildAt(LucentHostView parent, int index) {
+    return parent.children.childAt(index);
+  }
+
+  @Override
+  public int getChildCount(LucentHostView parent) {
+    return parent.children.count();
+  }
+
+  @Override
+  public void removeViewAt(LucentHostView parent, int index) {
+    parent.children.remove(index);
+  }
+
+  @Override
+  public void removeAllViews(LucentHostView parent) {
+    for (int i = parent.children.count() - 1; i >= 0; i--) parent.children.remove(i);
+  }
+
+  /** React Native lays the children out, not the shell or the slot. */
+  @Override
+  public boolean needsCustomLayoutForChildren() {
+    return false;
+  }
+
+  @Override
+  public void onDropViewInstance(LucentHostView view) {
+    super.onDropViewInstance(view);
+
+    release(view);
+  }
+
+  @Override
+  protected LucentHostView prepareToRecycleView(
+      ThemedReactContext context, LucentHostView view) {
+    LucentHostView shell = super.prepareToRecycleView(context, view);
+
+    // A recycled shell starts a new mount: none of this one's work (or slot) reaches it.
+    release(view);
+    view.setContent(null);
+    view.children.endMount();
+
+    return shell;
+  }
+
+  private static void release(LucentHostView view) {
+    if (view.host == 0) return;
+
+    LucentViews.drop(view.host);
+    view.host = 0;
+  }
+}

package/runtime/native/android/src/main/java/dev/lucent/LucentViewManagers.java

@@ -0,0 +1,16 @@
+// Generated by Lucent. Do not edit.
+package dev.lucent;
+
+import com.facebook.react.uimanager.ViewManager;
+import java.util.Collections;
+import java.util.List;
+
+/** The managers of the app's Lucent components (written by lucent build when it has any). */
+final class LucentViewManagers {
+  private LucentViewManagers() {}
+
+  @SuppressWarnings("rawtypes")
+  static List<ViewManager> create() {
+    return Collections.emptyList();
+  }
+}

package/runtime/native/android/src/main/java/dev/lucent/LucentViews.java

@@ -0,0 +1,44 @@
+// Generated by Lucent. Do not edit.
+package dev.lucent;
+
+import com.facebook.react.bridge.NativeArray;
+import com.facebook.react.bridge.NativeMap;
+import com.facebook.react.uimanager.StateWrapper;
+
+/**
+ * The C++ side of Lucent components' views. Its natives are bound when
+ * React Native's renderer registers the components' descriptors, before
+ * any of their views exists. `host` is the C++ host of one view; 0 is none.
+ */
+final class LucentViews {
+  private LucentViews() {}
+
+  /** Applies a commit's props (what changed) to `view`'s host, made first if `host` is 0; the host. */
+  static native long update(
+      long host, LucentHostView view, String component, int tag, int surface, NativeMap props);
+
+  /** The view is attached: its mount is committed, and the component sets up. */
+  static native void attach(long host);
+
+  /** The size state of the commit being mounted (the renderer's StateWrapperImpl). */
+  static native void state(long host, StateWrapper state);
+
+  /** The content asked for a layout: it may have changed size. */
+  static native void contentChanged(long host);
+
+  /**
+   * The slot's place: `place` holds its rectangle and the content box's
+   * (x, y, width, height each, in the shell's pixels); the shell lays out
+   * right to left if `rtl`, its style's left and right swapped if `swapped`.
+   */
+  static native void slotPlaced(long host, int[] place, boolean rtl, boolean swapped);
+
+  /** Runs a command JavaScript sent the component (its ref's method). */
+  static native void command(long host, String name, NativeArray args);
+
+  /** Ends the host's mount and frees it (the view is dropped or recycled). */
+  static native void drop(long host);
+
+  /** Reports what went wrong in a view's Java side, as the rest of Lucent reports errors. */
+  static native void report(String message);
+}

package/runtime/test/jsi/harness.cpp

@@ -6,6 +6,9 @@
 // Globals available to scripts:
 //   __lucent            object with every registered Lucent module
 //   print(...args)      writes a line to stdout
+//
+// Lucent's console.log, warn and error write a line to stdout too, in order
+// with print's, so tests compare what Lucent code logs.
 //   __reference         undefined unless a reference script defines it
 //
 // The event loop runs JS tasks posted by Lucent, Hermes microtasks and
@@ -22,6 +25,7 @@
 #include <mutex>
 #include <sstream>
 
+#include "lucent/console.h"
 #include "lucent/jsi/convert.h"
 #include "lucent/jsi/host.h"
 
@@ -113,6 +117,11 @@ int main(int argc, char** argv) {
     std::fprintf(stderr, "usage: harness <script.js>...\n");
     return 2;
   }
+  lucent::setConsoleSink([](lucent::ConsoleLevel, const lucent::String& message) {
+    std::printf("%s\n", message.toUtf8().c_str());
+    std::fflush(stdout);
+  });
+
   auto config = ::hermes::vm::RuntimeConfig::Builder().withMicrotaskQueue(true).build();
   std::unique_ptr<jsi::Runtime> runtime = facebook::hermes::makeHermesRuntime(config);
   jsi::Runtime& rt = *runtime;

package/schemas/build.schema.json

@@ -2,7 +2,19 @@
   "$id": "https://lucent-lang.dev/schemas/build.schema.json",
   "title": "lucent build --json",
   "type": "object",
-  "required": ["ok", "upToDate", "out", "modules", "steps", "diagnostics", "notices", "next", "ms"],
+  "required": [
+    "ok",
+    "upToDate",
+    "out",
+    "modules",
+    "steps",
+    "diagnostics",
+    "warnings",
+    "notices",
+    "next",
+    "actions",
+    "ms"
+  ],
   "additionalProperties": false,
   "properties": {
     "ok": {
@@ -105,10 +117,65 @@
           "docs": {
             "type": "string",
             "description": "Where the code is explained"
+          },
+          "severity": {
+            "const": "warning",
+            "description": "Present on warnings only"
           }
         }
       }
     },
+    "warnings": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["code", "message"],
+        "properties": {
+          "code": {
+            "type": "string",
+            "pattern": "^LUCENT\\d{4}$",
+            "description": "Stable code; lucent explain <code> describes it"
+          },
+          "message": {
+            "type": "string"
+          },
+          "file": {
+            "type": "string",
+            "description": "Relative to the project root"
+          },
+          "line": {
+            "type": "integer",
+            "minimum": 1
+          },
+          "column": {
+            "type": "integer",
+            "minimum": 1
+          },
+          "start": {
+            "type": "integer",
+            "minimum": 0,
+            "description": "Offset of the span in the file"
+          },
+          "length": {
+            "type": "integer",
+            "minimum": 0
+          },
+          "fix": {
+            "type": "string",
+            "description": "How to fix it, in one line"
+          },
+          "docs": {
+            "type": "string",
+            "description": "Where the code is explained"
+          },
+          "severity": {
+            "const": "warning",
+            "description": "Present on warnings only"
+          }
+        }
+      },
+      "description": "Warnings: reported, but the build goes on"
+    },
     "notices": {
       "type": "array",
       "items": {
@@ -144,6 +211,34 @@
         }
       }
     },
+    "actions": {
+      "type": "array",
+      "description": "Every action the build's changes need, strongest first, each with the targets and the native-package files that need it. Empty when nothing changed.",
+      "items": {
+        "type": "object",
+        "required": ["kind", "targets", "files"],
+        "additionalProperties": false,
+        "properties": {
+          "kind": {
+            "enum": ["reinstall", "relink", "compile-native", "repackage", "reload-js"],
+            "description": "reinstall: the app's configuration (Info.plist, entitlements, manifest) changed; relink: native dependencies or build files changed; compile-native: native code changed; repackage: resources or assets changed; reload-js: only JavaScript proxies changed"
+          },
+          "targets": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          },
+          "files": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            },
+            "description": "Relative to the native package; resolved.json#ios.infoPlist names a part of the resolved manifest"
+          }
+        }
+      }
+    },
     "ms": {
       "type": "number",
       "minimum": 0