android2harmony 0.1.6 → 0.1.8

package/skills/a2h-app-req-gen/scripts/reqgen/src/analysis/req-model/index.js

@@ -0,0 +1 @@
+export { buildReqModel } from "./build.js";

package/skills/a2h-app-req-gen/scripts/reqgen/src/analysis/source-facts/android-interaction-registry.js

@@ -0,0 +1,174 @@
+/**
+ * Versioned product semantics for public Android listener APIs. This registry
+ * contains framework contracts only; application names and app-specific
+ * behavior must never be added here.
+ */
+export const ANDROID_INTERACTION_API_SEMANTIC_REGISTRY_VERSION = "1.0.0";
+function entry(apiNames, defaultTrigger, callbacks, ownerPrefixes) {
+  return {
+    apiNames,
+    ...(ownerPrefixes ? { ownerPrefixes } : {}),
+    ...(defaultTrigger ? { defaultTrigger } : {}),
+    callbacks,
+  };
+}
+const registry = [
+  entry(
+    ["setOnCheckedChangeListener"],
+    "select",
+    { onCheckedChanged: "select" },
+    ["android.widget.RadioGroup", "com.google.android.material.chip.ChipGroup"],
+  ),
+  entry(["setOnClickListener"], "click", { onClick: "click" }),
+  entry(["setOnLongClickListener", "setOnContextClickListener"], "long-press", {
+    onLongClick: "long-press",
+    onContextClick: "long-press",
+  }),
+  entry(["setOnTouchListener"], "drag", { onTouch: "drag" }),
+  entry(["setOnCheckedChangeListener"], "toggle", {
+    onCheckedChanged: "toggle",
+  }),
+  entry(["addOnButtonCheckedListener"], "toggle", {
+    onButtonChecked: "toggle",
+  }),
+  entry(["setOnCheckedStateChangeListener"], "select", {
+    onCheckedChanged: "select",
+  }),
+  entry(["setOnEditorActionListener"], "text-submit", {
+    onEditorAction: "text-submit",
+  }),
+  entry(["addTextChangedListener"], "text-input", {
+    beforeTextChanged: "text-input",
+    onTextChanged: "text-input",
+    afterTextChanged: "text-input",
+  }),
+  entry(["setOnQueryTextListener"], undefined, {
+    onQueryTextChange: "text-input",
+    onQueryTextSubmit: "text-submit",
+  }),
+  entry(["setOnSuggestionListener"], undefined, {
+    onSuggestionClick: "select",
+    onSuggestionSelect: "select",
+  }),
+  entry(["setOnSearchClickListener", "setOnCloseListener"], "click", {
+    onClick: "click",
+    onClose: "click",
+  }),
+  entry(
+    [
+      "setOnItemClickListener",
+      "setOnChildClickListener",
+      "setOnGroupClickListener",
+    ],
+    "select",
+    {
+      onItemClick: "select",
+      onChildClick: "select",
+      onGroupClick: "select",
+    },
+  ),
+  entry(["setOnItemLongClickListener"], "long-press", {
+    onItemLongClick: "long-press",
+  }),
+  entry(["setOnItemSelectedListener"], "select", { onItemSelected: "select" }),
+  entry(["setOnMenuItemClickListener"], "select", {
+    onMenuItemClick: "select",
+  }),
+  entry(["setNavigationOnClickListener"], "click", { onClick: "click" }),
+  entry(
+    ["setNavigationItemSelectedListener", "setOnItemReselectedListener"],
+    "select",
+    {
+      onNavigationItemSelected: "select",
+      onItemReselected: "select",
+    },
+  ),
+  entry(["setOnPreferenceClickListener"], "click", {
+    onPreferenceClick: "click",
+  }),
+  entry(["setOnPreferenceChangeListener"], "select", {
+    onPreferenceChange: "select",
+  }),
+  entry(["setOnRefreshListener"], "swipe", { onRefresh: "swipe" }),
+  entry(["setOnSeekBarChangeListener"], "drag", {
+    onProgressChanged: "drag",
+    onStartTrackingTouch: "drag",
+    onStopTrackingTouch: "drag",
+  }),
+  entry(
+    ["addOnChangeListener", "addOnSliderTouchListener"],
+    "drag",
+    {
+      onValueChange: "drag",
+      onStartTrackingTouch: "drag",
+      onStopTrackingTouch: "drag",
+    },
+    ["com.google.android.material.slider."],
+  ),
+  entry(["setOnRatingBarChangeListener"], "select", {
+    onRatingChanged: "select",
+  }),
+  entry(["setOnValueChangedListener"], "select", { onValueChange: "select" }),
+  entry(
+    ["setOnDateChangedListener", "setOnCalendarViewDateChangeListener"],
+    "select",
+    { onDateChanged: "select", onSelectedDayChange: "select" },
+  ),
+  entry(["setOnTimeChangedListener"], "select", { onTimeChanged: "select" }),
+  entry(["addOnTabSelectedListener"], "select", {
+    onTabSelected: "select",
+    onTabReselected: "select",
+  }),
+  entry(["addOnPageChangeListener", "registerOnPageChangeCallback"], "swipe", {
+    onPageSelected: "swipe",
+  }),
+];
+function ownerMatches(entry, owner) {
+  return (
+    !entry.ownerPrefixes ||
+    entry.ownerPrefixes.some(
+      (prefix) => owner === prefix || owner.startsWith(prefix),
+    )
+  );
+}
+function isAndroidFrameworkOwner(owner) {
+  return /^(?:android\.|androidx\.|android\.support\.|com\.google\.android\.material\.)/u.test(
+    owner,
+  );
+}
+function matchingEntries(owner, apiName) {
+  if (!isAndroidFrameworkOwner(owner)) return [];
+  const candidates = registry.filter((item) => item.apiNames.includes(apiName));
+  const ownerMatchesFirst = candidates.filter(
+    (item) => item.ownerPrefixes && ownerMatches(item, owner),
+  );
+  const generic = candidates.filter((item) => !item.ownerPrefixes);
+  return [...ownerMatchesFirst, ...generic];
+}
+export const ANDROID_INTERACTION_API_NAMES = [
+  ...new Set(registry.flatMap((item) => item.apiNames)),
+].sort((left, right) => left.localeCompare(right, "en"));
+export function resolveAndroidInteractionApi(owner, apiName) {
+  const selected = matchingEntries(owner, apiName)[0];
+  return selected
+    ? {
+        apiName,
+        ...(selected.defaultTrigger
+          ? { defaultTrigger: selected.defaultTrigger }
+          : {}),
+        callbacks: selected.callbacks,
+      }
+    : undefined;
+}
+export function resolveAndroidInteractionTrigger(owner, apiName, callbackName) {
+  const selected = resolveAndroidInteractionApi(owner, apiName);
+  if (!selected) return undefined;
+  if (callbackName) return selected.callbacks[callbackName];
+  return selected.defaultTrigger;
+}
+export function androidInteractionCallbackNames(owner, apiName) {
+  const matches = matchingEntries(owner, apiName);
+  return [
+    ...new Set(matches.flatMap((item) => Object.keys(item.callbacks))),
+  ].sort((left, right) => left.localeCompare(right, "en"));
+}