@voxgig/sdkgen 1.3.7 → 1.3.9

package/project/.sdk/tm/haskell/src/Vregex.hs

@@ -0,0 +1,237 @@
+-- Minimal backtracking regex engine for the Haskell port of voxgig/struct.
+-- Supports the RE2 subset the corpus exercises: literals, '.', anchors ^ $,
+-- \b, character classes [..] / [^..] with ranges and \d \w \s \D \W \S,
+-- groups (..) and (?:..), alternation |, quantifiers * + ? and {n}/{n,}/{n,m}
+-- with optional lazy '?'. No third-party dependency. The struct library uses
+-- `test` for $LIKE; `find` backs the public re_* API (not corpus-tested).
+
+module Vregex
+  ( Re
+  , compile
+  , test
+  , testStr
+  , findBounds
+  ) where
+
+import Control.Applicative ((<|>))
+import Data.Array (Array, listArray, (!))
+import Data.Foldable (asum)
+import Data.Maybe (isJust)
+
+data Node
+  = Char Char
+  | Any
+  | Start
+  | End
+  | WordB
+  | Cls Bool [Citem]              -- negated?, items
+  | Grp [[Node]]                  -- alternation of sequences
+  | Star Bool Node               -- greedy?, atom
+  | Plus Bool Node
+  | Opt Bool Node
+  | Rep Bool Int (Maybe Int) Node
+
+data Citem
+  = CChar Char
+  | CRange Char Char
+  | CD | CW | CS | CND | CNW | CNS  -- \d \w \s \D \W \S
+
+-- ----- parser (remaining-string style) -----
+
+parse :: String -> [[Node]]
+parse pat = fst (parseAlt pat)
+
+parseAlt :: String -> ([[Node]], String)
+parseAlt s0 =
+  let (first, s1) = parseSeq s0
+  in go [first] s1
+  where
+    go acc ('|':rest) = let (sq, r) = parseSeq rest in go (sq : acc) r
+    go acc r = (reverse acc, r)
+
+parseSeq :: String -> ([Node], String)
+parseSeq = goSeq []
+  where
+    goSeq acc s = case s of
+      [] -> (reverse acc, s)
+      ('|':_) -> (reverse acc, s)
+      (')':_) -> (reverse acc, s)
+      _ -> case parseAtom s of
+             (Nothing, s') -> (reverse acc, s')
+             (Just a, s') ->
+               let (a', s'') = parseQuantSuffix a s'
+               in goSeq (a' : acc) s''
+
+parseAtom :: String -> (Maybe Node, String)
+parseAtom s = case s of
+  [] -> (Nothing, s)
+  ('(':rest) ->
+    let rest1 = case rest of ('?':':':r) -> r; _ -> rest
+        (alts, r2) = parseAlt rest1
+        r3 = case r2 of (')':r) -> r; _ -> r2
+    in (Just (Grp alts), r3)
+  ('[':_) -> let (n, r) = parseClass s in (Just n, r)
+  ('.':rest) -> (Just Any, rest)
+  ('^':rest) -> (Just Start, rest)
+  ('$':rest) -> (Just End, rest)
+  ('\\':rest) -> case rest of
+    ('d':r) -> (Just (Cls False [CD]), r)
+    ('w':r) -> (Just (Cls False [CW]), r)
+    ('s':r) -> (Just (Cls False [CS]), r)
+    ('D':r) -> (Just (Cls False [CND]), r)
+    ('W':r) -> (Just (Cls False [CNW]), r)
+    ('S':r) -> (Just (Cls False [CNS]), r)
+    ('b':r) -> (Just WordB, r)
+    ('n':r) -> (Just (Char '\n'), r)
+    ('t':r) -> (Just (Char '\t'), r)
+    ('r':r) -> (Just (Char '\r'), r)
+    (c:r) -> (Just (Char c), r)
+    [] -> (Just (Char '\\'), [])
+  (c:rest) -> (Just (Char c), rest)
+
+parseClass :: String -> (Node, String)
+parseClass ('[':s0) =
+  let (neg, s1) = case s0 of ('^':r) -> (True, r); _ -> (False, s0)
+      (items, rest) = goCls [] s1
+  in (Cls neg (reverse items), rest)
+  where
+    goCls acc s = case s of
+      [] -> (acc, s)
+      (']':r) -> (acc, r)
+      ('\\':r) -> case r of
+        ('d':r') -> goCls (CD : acc) r'
+        ('w':r') -> goCls (CW : acc) r'
+        ('s':r') -> goCls (CS : acc) r'
+        ('D':r') -> goCls (CND : acc) r'
+        ('W':r') -> goCls (CNW : acc) r'
+        ('S':r') -> goCls (CNS : acc) r'
+        ('n':r') -> goCls (CChar '\n' : acc) r'
+        ('t':r') -> goCls (CChar '\t' : acc) r'
+        ('r':r') -> goCls (CChar '\r' : acc) r'
+        (c:r') -> goCls (CChar c : acc) r'
+        [] -> (acc, [])
+      (c : '-' : c2 : r) | c2 /= ']' -> goCls (CRange c c2 : acc) r
+      (c:r) -> goCls (CChar c : acc) r
+parseClass s = (Cls False [], s)
+
+parseQuantSuffix :: Node -> String -> (Node, String)
+parseQuantSuffix atom s = case s of
+  ('*':rest) -> let (lz, r) = lazyq rest in (Star (not lz) atom, r)
+  ('+':rest) -> let (lz, r) = lazyq rest in (Plus (not lz) atom, r)
+  ('?':rest) -> let (lz, r) = lazyq rest in (Opt (not lz) atom, r)
+  ('{':rest) ->
+    let (mn, r1) = num rest
+        (mx, r2) = case r1 of
+          (',':r) -> let (s2, r') = num r in (if null s2 then Nothing else Just (read s2), r')
+          _ -> (Just (if null mn then 0 else read mn), r1)
+    in case r2 of
+         ('}':r3) | not (null mn) ->
+           let (lz, r4) = lazyq r3 in (Rep (not lz) (read mn) mx atom, r4)
+         _ -> (atom, s)
+  _ -> (atom, s)
+  where
+    lazyq ('?':r) = (True, r)
+    lazyq r = (False, r)
+    num = span (\c -> c >= '0' && c <= '9')
+
+-- ----- matcher (backtracking, CPS over Maybe) -----
+
+isWord :: Char -> Bool
+isWord c = (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z')
+        || (c >= '0' && c <= '9') || c == '_'
+
+spaceChars :: String
+spaceChars = [' ', '\t', '\n', '\r', '\f', '\v']
+
+citemMatch :: Citem -> Char -> Bool
+citemMatch it c = case it of
+  CChar x -> c == x
+  CRange a b -> c >= a && c <= b
+  CD -> c >= '0' && c <= '9'
+  CND -> not (c >= '0' && c <= '9')
+  CW -> isWord c
+  CNW -> not (isWord c)
+  CS -> c `elem` spaceChars
+  CNS -> not (c `elem` spaceChars)
+
+mNode :: (Int -> Char) -> Int -> Node -> Int -> (Int -> Maybe r) -> Maybe r
+mNode inp len node pos k = case node of
+  Char c -> if pos < len && inp pos == c then k (pos + 1) else Nothing
+  Any -> if pos < len && inp pos /= '\n' then k (pos + 1) else Nothing
+  Start -> if pos == 0 then k pos else Nothing
+  End -> if pos == len then k pos else Nothing
+  WordB ->
+    let before = pos > 0 && isWord (inp (pos - 1))
+        after = pos < len && isWord (inp pos)
+    in if before /= after then k pos else Nothing
+  Cls neg items ->
+    if pos < len
+      then let c = inp pos
+               hit = any (`citemMatch` c) items
+           in if (if neg then not hit else hit) then k (pos + 1) else Nothing
+      else Nothing
+  Grp alts -> asum [mSeq inp len sq pos k | sq <- alts]
+  Opt greedy a ->
+    if greedy then mNode inp len a pos k <|> k pos
+    else k pos <|> mNode inp len a pos k
+  Star greedy a -> mStar inp len greedy a pos k
+  Plus greedy a -> mNode inp len a pos (\p -> mStar inp len greedy a p k)
+  Rep greedy mn mx a -> mRep inp len greedy mn mx a pos k
+
+mStar :: (Int -> Char) -> Int -> Bool -> Node -> Int -> (Int -> Maybe r) -> Maybe r
+mStar inp len greedy a pos k =
+  if greedy
+    then mNode inp len a pos (\p -> if p > pos then mStar inp len greedy a p k else Nothing) <|> k pos
+    else k pos <|> mNode inp len a pos (\p -> if p > pos then mStar inp len greedy a p k else Nothing)
+
+mRep :: (Int -> Char) -> Int -> Bool -> Int -> Maybe Int -> Node -> Int -> (Int -> Maybe r) -> Maybe r
+mRep inp len greedy mn mx a pos k =
+  if mn > 0
+    then mNode inp len a pos (\p -> mRep inp len greedy (mn - 1) (fmap (subtract 1) mx) a p k)
+    else case mx of
+      Just 0 -> k pos
+      _ ->
+        let next p = if p > pos then mRep inp len greedy 0 (fmap (subtract 1) mx) a p k else Nothing
+        in if greedy then mNode inp len a pos next <|> k pos
+           else k pos <|> mNode inp len a pos next
+
+mSeq :: (Int -> Char) -> Int -> [Node] -> Int -> (Int -> Maybe r) -> Maybe r
+mSeq inp len sq pos k = case sq of
+  [] -> k pos
+  (x:rest) -> mNode inp len x pos (\p -> mSeq inp len rest p k)
+
+-- Compiled = the alternation AST.
+type Re = [[Node]]
+
+compile :: String -> Re
+compile = parse
+
+mkInp :: String -> (Int -> Char, Int)
+mkInp input =
+  let len = length input
+      arr = listArray (0, len - 1) input :: Array Int Char
+  in ((arr !), len)
+
+-- Does the pattern match anywhere in input?
+test :: Re -> String -> Bool
+test re input = tryAt 0
+  where
+    (inp, len) = mkInp input
+    tryAt i
+      | any (\sq -> isJust (mSeq inp len sq i (\_ -> Just ()))) re = True
+      | i >= len = False
+      | otherwise = tryAt (i + 1)
+
+testStr :: String -> String -> Bool
+testStr pat input = test (compile pat) input
+
+-- Leftmost match: returns (start, stop) or Nothing. Used by the public re_* API.
+findBounds :: Re -> String -> Maybe (Int, Int)
+findBounds re input = tryAt 0
+  where
+    (inp, len) = mkInp input
+    tryAt i
+      | i > len = Nothing
+      | otherwise = case asum [mSeq inp len sq i Just | sq <- re] of
+          Just p -> Just (i, p)
+          Nothing -> tryAt (i + 1)

package/project/.sdk/tm/haskell/src/feature/README.md

@@ -0,0 +1,5 @@
+# Per-feature custom source
+
+The Haskell target does not use per-feature custom source (entities and
+features are generic and config-driven). These directories exist only so the
+neutral feature scaffold has somewhere to look; they are excluded from Copy.

package/project/.sdk/tm/haskell/test/Harness.hs

@@ -0,0 +1,276 @@
+-- Offline feature-test harness (mirrors the dynamic donors' feature_harness).
+--
+-- Drives each real generated feature through a faithful miniature of the
+-- operation pipeline against a configurable mock transport — the same hook
+-- order and short-circuit rules as the generic op runner, but with no live
+-- server and no API-specific fixtures. Features come from SdkConfig.makeFeature
+-- so only features present in this SDK are exercised (see hasFeature).
+
+{-# LANGUAGE ScopedTypeVariables #-}
+
+module Harness where
+
+import Control.Exception (SomeException, try)
+import Data.IORef
+import Data.List (sort)
+
+import VoxgigStruct
+  ( Value (..), emptyMap, emptyList, mkList, keysof, clone, ismap, escurl, vint
+  , isNoval, isNullish, setprop )
+import SdkTypes
+import SdkHelpers
+import SdkRuntime
+import qualified SdkConfig as Cfg
+
+-- ----- virtual clock -----
+
+data Clock = Clock { clkT :: IORef Double }
+
+makeClock :: IO Clock
+makeClock = Clock <$> newIORef 0
+
+clockNow :: Clock -> IO Double
+clockNow c = readIORef (clkT c)
+
+clockAdvance :: Clock -> Double -> IO ()
+clockAdvance c ms = modifyIORef' (clkT c) (+ ms)
+
+clockNowFn :: Clock -> Value
+clockNowFn c = VFunc (\_ _ _ _ -> VNum <$> readIORef (clkT c))
+
+clockSleepFn :: Clock -> Value
+clockSleepFn c = VFunc (\_ v _ _ -> do
+  case v of VNum ms -> modifyIORef' (clkT c) (+ (if ms < 0 then 0 else ms)); _ -> pure ()
+  pure VNoval)
+
+-- ----- transport-shaped response -----
+
+makeResponse :: Int -> Value -> [(String, Value)] -> IO Value
+makeResponse status dat headers = do
+  lower <- emptyMap
+  mapM_ (\(k, v) -> setp lower (lower' k) v) headers
+  jo [ ("status", vint status)
+     , ("statusText", VStr (if status < 400 then "OK" else "ERR"))
+     , ("body", VStr "not-used"), ("json", jsonThunk dat), ("headers", lower) ]
+  where lower' = map toLowerC
+        toLowerC ch = if ch >= 'A' && ch <= 'Z' then toEnum (fromEnum ch + 32) else ch
+
+type Server = Fetcher
+
+defaultServer :: Server
+defaultServer = \_ _ fetchdef -> do
+  m <- getp fetchdef "method"
+  let meth = case m of VStr s -> upper s; _ -> "GET"
+  if meth == "GET"
+    then do d <- jo [("ok", VBool True), ("method", VStr meth)]; r <- makeResponse 200 d []; pure (r, Nothing)
+    else do b <- getp fetchdef "body"; d <- jo [("ok", VBool True), ("method", VStr meth), ("echo", b)]; r <- makeResponse 200 d []; pure (r, Nothing)
+
+-- A recorder: records every call; optional reply (callNo, fetchdef) -> (resp, err).
+recordingServer :: Maybe (Int -> Value -> IO (Value, Maybe Value)) -> IO (Server, IORef [Value])
+recordingServer mreply = do
+  callsRef <- newIORef []
+  let srv _ url fetchdef = do
+        rec0 <- jo [("url", VStr url), ("fetchdef", fetchdef)]
+        modifyIORef callsRef (++ [rec0])
+        cs <- readIORef callsRef
+        let n = length cs
+        case mreply of
+          Just r -> r n fetchdef
+          Nothing -> do d <- jo [("ok", VBool True), ("n", vint n)]; resp <- makeResponse 200 d []; pure (resp, Nothing)
+  pure (srv, callsRef)
+
+-- ----- feature presence -----
+
+hasFeature :: String -> IO Bool
+hasFeature name = do
+  cfg <- Cfg.makeConfig
+  fm <- getp cfg "feature"
+  case fm of { VMap _ -> do { v <- getp fm name; pure (not (isNullish v)) }; _ -> pure False }
+
+-- ----- harness -----
+
+data Harness = Harness
+  { hBase    :: String
+  , hHeaders :: Value
+  , hClient  :: Client
+  , hUtility :: Utility
+  , hRootctx :: Context
+  }
+
+data OpResult = OpResult
+  { orOk     :: Bool
+  , orData   :: Value
+  , orResult :: Value
+  , orCtx    :: Context
+  , orErr    :: Maybe Value
+  }
+
+makeClientH :: [(String, Value)] -> Maybe Server -> [(String, Value)] -> IO Harness
+makeClientH features mServer headers = do
+  hheaders <- emptyMap
+  mapM_ (\(k, v) -> setp hheaders k v) headers
+  let srv = maybe defaultServer id mServer
+  utility <- newUtility
+  writeIORef (uFetcher utility) srv
+  writeIORef (uParam utility) paramFn
+  modeR <- newIORef "test"; featsR <- newIORef []; rootR <- newIORef Nothing; trackR <- newIORef =<< emptyMap
+  hh <- clone hheaders
+  fm0 <- emptyMap
+  optsMap <- jo [("base", VStr "http://api.test"), ("headers", hh), ("feature", fm0)]
+  optsR <- newIORef optsMap
+  cfg <- Cfg.makeConfig
+  let client = Client { clMode = modeR, clFeatures = featsR, clOptions = optsR, clUtility = utility
+                      , clRootctx = rootR, clTrack = trackR, clConfig = cfg, clMakeFeature = Cfg.makeFeature }
+  rootctx <- makeContextImpl (defaultCtxSpec { csClient = Just client, csUtility = Just utility }) Nothing
+  rootOp <- newOperation =<< jo [("name", VStr "root"), ("entity", VStr "_")]
+  writeIORef (cOp rootctx) rootOp
+  writeIORef rootR (Just rootctx)
+  mapM_ (addFeature client rootctx) features
+  featureHookUtil rootctx "PostConstruct"
+  pure Harness { hBase = "http://api.test", hHeaders = hheaders, hClient = client, hUtility = utility, hRootctx = rootctx }
+  where
+    paramFn ctx name = do
+      let key = case name of VStr s -> s; _ -> ""
+      specV <- readIORef (cSpec ctx)
+      case specV of
+        VMap _ -> do
+          params <- getp specV "params"; v <- getp params key
+          if not (isNoval v) then pure v else do query <- getp specV "query"; getp query key
+        _ -> pure VNoval
+    addFeature client rootctx (name, opts) = do
+      present <- hasFeature name
+      if not present then pure ()
+      else do
+        ftr <- Cfg.makeFeature name
+        fopts <- jo [("active", VBool True)]
+        case opts of VMap _ -> do { ks <- keysof opts; mapM_ (\k -> do { v <- getp opts k; setp fopts k v }) ks }; _ -> pure ()
+        optsV <- readIORef (clOptions client)
+        featm <- getp optsV "feature"
+        case featm of VMap _ -> setp featm name fopts; _ -> pure ()
+        fInit ftr rootctx fopts
+        modifyIORef (clFeatures client) (++ [ftr])
+
+harnessFeature :: Harness -> String -> IO (Maybe Feature)
+harnessFeature h name = do fs <- readIORef (clFeatures (hClient h)); pure (findF fs)
+  where findF [] = Nothing
+        findF (f : rest) = if fName f == name then Just f else findF rest
+
+data OpArgs = OpArgs
+  { oaOp      :: String
+  , oaEntity  :: String
+  , oaMethod  :: Maybe String
+  , oaPath    :: Maybe String
+  , oaQuery   :: Maybe Value
+  , oaHeaders :: [(String, Value)]
+  , oaBody    :: Value
+  , oaCtrl    :: Value
+  }
+
+defaultOpArgs :: OpArgs
+defaultOpArgs = OpArgs "load" "widget" Nothing Nothing Nothing [] VNoval VNoval
+
+defaultMethodH :: String -> String
+defaultMethodH op = case op of "create" -> "POST"; "update" -> "PATCH"; "remove" -> "DELETE"; _ -> "GET"
+
+buildUrl :: Value -> IO String
+buildUrl spec = do
+  base <- getStrD spec "base" ""
+  path <- getStrD spec "path" ""
+  qv <- getp spec "query"
+  q <- case qv of VMap _ -> pure qv; _ -> emptyMap
+  ks0 <- keysof q
+  present <- filterM' (\k -> do v <- getp q k; pure (not (isNoval v))) ks0
+  let keys = sort present
+  parts <- mapM (\k -> do v <- getp q k; ek <- escurlS k; ev <- escurlS (vstring v); pure (ek ++ "=" ++ ev)) keys
+  let qs = intercalate' "&" parts
+  pure (base ++ path ++ (if null qs then "" else "?" ++ qs))
+
+filterM' :: (a -> IO Bool) -> [a] -> IO [a]
+filterM' _ [] = pure []
+filterM' p (x : xs) = do b <- p x; rest <- filterM' p xs; pure (if b then x : rest else rest)
+
+populateResultH :: Context -> Value -> Maybe Value -> IO ()
+populateResultH ctx response fetchErr = do
+  result <- newResult =<< emptyMap
+  writeIORef (cResult ctx) result
+  case fetchErr of
+    Just e -> setp result "err" e
+    Nothing ->
+      if isNoval response || isNullV response
+        then do e <- mkErr "request_no_response" "response: undefined"; setp result "err" e
+        else case response of
+          VMap _ -> do
+            st <- getp response "status"; setp result "status" st
+            stt <- getStrD response "statusText" ""; setp result "statusText" (VStr stt)
+            h <- getp response "headers"; hc <- case h of { VMap _ -> clone h; _ -> emptyMap }; setp result "headers" hc
+            jsn <- getp response "json"
+            case jsn of VFunc _ -> do { d <- callJson jsn; setp result "body" d }; _ -> pure ()
+            body <- getp result "body"; setp result "resdata" body
+            let status = toInt st
+            if status >= 400
+              then do e <- mkErr "request_status" ("request: " ++ show status ++ ": " ++ stt); setp result "err" e
+              else pure ()
+            errv <- getp result "err"; isE <- isErr errv
+            if not isE then setp result "ok" (VBool True) else pure ()
+          _ -> do e <- mkErr "op_failed" "invalid response"; setp result "err" e
+
+runOpH :: Harness -> OpArgs -> IO OpResult
+runOpH h oa = do
+  let opname = oaOp oa
+      entity = oaEntity oa
+      meth = maybe (defaultMethodH opname) id (oaMethod oa)
+  ctrlM <- case oaCtrl oa of VMap _ -> pure (oaCtrl oa); _ -> emptyMap
+  ctx <- makeContextImpl (defaultCtxSpec { csClient = Just (hClient h), csUtility = Just (hUtility h), csCtrl = Just ctrlM }) (Just (hRootctx h))
+  op <- newOperation =<< jo [("name", VStr opname), ("entity", VStr entity)]
+  writeIORef (cOp ctx) op
+  let fh n = featureHookUtil ctx n
+      finishErr err = do
+        ctrl <- readIORef (cCtrl ctx); setp ctrl "err" err
+        fh "PreUnexpected"
+        rv <- readIORef (cResult ctx)
+        pure OpResult { orOk = False, orResult = rv, orCtx = ctx, orData = VNoval, orErr = Just err }
+  fh "PostConstructEntity"
+  fh "PrePoint"
+  out <- readIORef (cOut ctx)
+  prePoint <- getp out "point"; isPE <- isErr prePoint
+  if isPE then finishErr prePoint
+  else do
+    fh "PreSpec"
+    preSpec <- getp out "spec"
+    spec <- case preSpec of
+      VMap _ -> pure preSpec
+      _ -> do
+        merged <- clone (hHeaders h); mm <- case merged of VMap _ -> pure merged; _ -> emptyMap
+        mapM_ (\(k, v) -> setp mm k v) (oaHeaders oa)
+        q <- case oaQuery oa of Just qq -> pure qq; Nothing -> emptyMap
+        pm <- emptyMap
+        newSpec =<< jo [ ("method", VStr meth), ("base", VStr (hBase h))
+                       , ("path", VStr (maybe ("/" ++ entity) id (oaPath oa)))
+                       , ("params", pm), ("headers", mm), ("query", q)
+                       , ("body", oaBody oa), ("step", VStr "start") ]
+    writeIORef (cSpec ctx) spec
+    fh "PreRequest"
+    url <- buildUrl spec; setp spec "url" (VStr url)
+    preReq <- getp out "request"
+    (response, fetchErr) <- case preReq of
+      VMap _ -> pure (preReq, Nothing)
+      _ -> do
+        method0 <- getp spec "method"; headers0 <- getp spec "headers"; body0 <- getp spec "body"
+        fetchdef <- jo [("url", VStr url), ("method", method0), ("headers", headers0), ("body", body0)]
+        fetcher <- readIORef (uFetcher (hUtility h))
+        fetcher ctx url fetchdef
+    writeIORef (cResponse ctx) (case response of VMap _ -> response; _ -> VNoval)
+    fh "PreResponse"
+    populateResultH ctx response fetchErr
+    fh "PreResult"
+    fh "PreDone"
+    rv <- readIORef (cResult ctx)
+    ok <- case rv of VMap _ -> isTrueV <$> getp rv "ok"; _ -> pure False
+    if ok
+      then do rd <- getp rv "resdata"; pure OpResult { orOk = True, orData = rd, orResult = rv, orCtx = ctx, orErr = Nothing }
+      else do
+        errv <- case rv of VMap _ -> getp rv "err"; _ -> pure VNoval
+        isE <- isErr errv
+        e <- if isE then pure errv else mkErr "op_failed" "operation failed"
+        finishErr e
+

package/project/.sdk/tm/haskell/test/Runner.hs

@@ -0,0 +1,47 @@
+-- ProjectName SDK test runner. Drives the SDK template test suites (pipeline,
+-- feature, netsim, custom-utility, primary-utility), the generated per-entity
+-- tests, and the vendored struct corpus (the `struct` subtree of the shared
+-- ../.sdk/test/test.json). Exits non-zero on any failure.
+
+module Main where
+
+import Control.Monad (forM_)
+import Data.IORef
+import System.Exit (exitFailure)
+
+import Testutil
+import TestJson (jsonRead)
+import StructCorpus (runStructCorpus)
+import qualified TPipeline
+import qualified TFeature
+import qualified TNetsim
+import qualified TCustomUtility
+import qualified TPrimaryUtility
+import qualified SdkGenTests
+
+main :: IO ()
+main = do
+  c <- newCounters
+
+  raw <- readFile "../.sdk/test/test.json"
+  alltests <- jsonRead raw
+
+  TPipeline.tests c
+  TFeature.tests c
+  TNetsim.tests c
+  TCustomUtility.tests c
+  TPrimaryUtility.tests c alltests
+  SdkGenTests.genTests c
+
+  fs <- readIORef (failures c)
+  forM_ fs putStrLn
+  p <- readIORef (npass c)
+  f <- readIORef (nfail c)
+
+  (sp, sf) <- runStructCorpus alltests
+
+  putStrLn ("\nSDK    PASS " ++ show p ++ "  FAIL " ++ show f)
+  putStrLn ("STRUCT PASS " ++ show sp ++ "  FAIL " ++ show sf)
+  putStrLn ("TOTAL  PASS " ++ show (p + sp) ++ "  FAIL " ++ show (f + sf))
+
+  if f + sf > 0 then exitFailure else pure ()