appmanifest.py 8.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253
  1. from dataclasses import dataclass, field
  2. from typing import List, Optional
  3. from enum import Enum
  4. import os
  5. class FlipperManifestException(Exception):
  6. pass
  7. class FlipperAppType(Enum):
  8. SERVICE = "Service"
  9. SYSTEM = "System"
  10. APP = "App"
  11. PLUGIN = "Plugin"
  12. DEBUG = "Debug"
  13. ARCHIVE = "Archive"
  14. SETTINGS = "Settings"
  15. STARTUP = "StartupHook"
  16. EXTERNAL = "External"
  17. METAPACKAGE = "Package"
  18. @dataclass
  19. class FlipperApplication:
  20. appid: str
  21. apptype: FlipperAppType
  22. name: Optional[str] = None
  23. entry_point: Optional[str] = None
  24. flags: List[str] = field(default_factory=lambda: ["Default"])
  25. cdefines: List[str] = field(default_factory=list)
  26. requires: List[str] = field(default_factory=list)
  27. conflicts: List[str] = field(default_factory=list)
  28. provides: List[str] = field(default_factory=list)
  29. stack_size: int = 2048
  30. icon: Optional[str] = None
  31. order: int = 0
  32. _appdir: Optional[str] = None
  33. class AppManager:
  34. def __init__(self):
  35. self.known_apps = {}
  36. def get(self, appname: str):
  37. try:
  38. return self.known_apps[appname]
  39. except KeyError as _:
  40. raise FlipperManifestException(
  41. f"Missing application manifest for '{appname}'"
  42. )
  43. def load_manifest(self, app_manifest_path: str, app_dir_name: str):
  44. if not os.path.exists(app_manifest_path):
  45. raise FlipperManifestException(
  46. f"App manifest not found at path {app_manifest_path}"
  47. )
  48. # print("Loading", app_manifest_path)
  49. app_manifests = []
  50. def App(*args, **kw):
  51. nonlocal app_manifests
  52. app_manifests.append(FlipperApplication(*args, **kw, _appdir=app_dir_name))
  53. try:
  54. with open(app_manifest_path, "rt") as manifest_file:
  55. exec(manifest_file.read())
  56. except Exception as e:
  57. raise FlipperManifestException(
  58. f"Failed parsing manifest '{app_manifest_path}' : {e}"
  59. )
  60. if len(app_manifests) == 0:
  61. raise FlipperManifestException(
  62. f"App manifest '{app_manifest_path}' is malformed"
  63. )
  64. # print("Built", app_manifests)
  65. for app in app_manifests:
  66. self._add_known_app(app)
  67. def _add_known_app(self, app: FlipperApplication):
  68. if self.known_apps.get(app.appid, None):
  69. raise FlipperManifestException(f"Duplicate app declaration: {app.appid}")
  70. self.known_apps[app.appid] = app
  71. def filter_apps(self, applist: List[str]):
  72. return AppBuildset(self, applist)
  73. class AppBuilderException(Exception):
  74. pass
  75. class AppBuildset:
  76. BUILTIN_APP_TYPES = (
  77. FlipperAppType.SERVICE,
  78. FlipperAppType.SYSTEM,
  79. FlipperAppType.APP,
  80. FlipperAppType.PLUGIN,
  81. FlipperAppType.DEBUG,
  82. FlipperAppType.ARCHIVE,
  83. FlipperAppType.SETTINGS,
  84. FlipperAppType.STARTUP,
  85. )
  86. def __init__(self, appmgr: AppManager, appnames: List[str]):
  87. self.appmgr = appmgr
  88. self.appnames = set(appnames)
  89. self._orig_appnames = appnames
  90. self._process_deps()
  91. self._check_conflicts()
  92. self._check_unsatisfied() # unneeded?
  93. self.apps = sorted(
  94. list(map(self.appmgr.get, self.appnames)),
  95. key=lambda app: app.appid,
  96. )
  97. def _is_missing_dep(self, dep_name: str):
  98. return dep_name not in self.appnames
  99. def _process_deps(self):
  100. while True:
  101. provided = []
  102. for app in self.appnames:
  103. # print(app)
  104. provided.extend(
  105. filter(
  106. self._is_missing_dep,
  107. self.appmgr.get(app).provides + self.appmgr.get(app).requires,
  108. )
  109. )
  110. # print("provides round", provided)
  111. if len(provided) == 0:
  112. break
  113. self.appnames.update(provided)
  114. def _check_conflicts(self):
  115. conflicts = []
  116. for app in self.appnames:
  117. # print(app)
  118. if conflict_app_name := list(
  119. filter(
  120. lambda dep_name: dep_name in self.appnames,
  121. self.appmgr.get(app).conflicts,
  122. )
  123. ):
  124. conflicts.append((app, conflict_app_name))
  125. if len(conflicts):
  126. raise AppBuilderException(
  127. f"App conflicts for {', '.join(f'{conflict_dep[0]}: {conflict_dep[1]}' for conflict_dep in conflicts)}"
  128. )
  129. def _check_unsatisfied(self):
  130. unsatisfied = []
  131. for app in self.appnames:
  132. if missing_dep := list(
  133. filter(self._is_missing_dep, self.appmgr.get(app).requires)
  134. ):
  135. unsatisfied.append((app, missing_dep))
  136. if len(unsatisfied):
  137. raise AppBuilderException(
  138. f"Unsatisfied dependencies for {', '.join(f'{missing_dep[0]}: {missing_dep[1]}' for missing_dep in unsatisfied)}"
  139. )
  140. def get_apps_cdefs(self):
  141. cdefs = set()
  142. for app in self.apps:
  143. cdefs.update(app.cdefines)
  144. return sorted(list(cdefs))
  145. def get_apps_of_type(self, apptype: FlipperAppType):
  146. return sorted(
  147. filter(lambda app: app.apptype == apptype, self.apps),
  148. key=lambda app: app.order,
  149. )
  150. def get_builtin_app_folders(self):
  151. return sorted(
  152. set(
  153. app._appdir
  154. for app in filter(
  155. lambda app: app.apptype in self.BUILTIN_APP_TYPES, self.apps
  156. )
  157. )
  158. )
  159. class ApplicationsCGenerator:
  160. APP_TYPE_MAP = {
  161. FlipperAppType.SERVICE: ("FlipperApplication", "FLIPPER_SERVICES"),
  162. FlipperAppType.SYSTEM: ("FlipperApplication", "FLIPPER_SYSTEM_APPS"),
  163. FlipperAppType.APP: ("FlipperApplication", "FLIPPER_APPS"),
  164. FlipperAppType.PLUGIN: ("FlipperApplication", "FLIPPER_PLUGINS"),
  165. FlipperAppType.DEBUG: ("FlipperApplication", "FLIPPER_DEBUG_APPS"),
  166. FlipperAppType.SETTINGS: ("FlipperApplication", "FLIPPER_SETTINGS_APPS"),
  167. FlipperAppType.STARTUP: ("FlipperOnStartHook", "FLIPPER_ON_SYSTEM_START"),
  168. }
  169. def __init__(self, buildset: AppBuildset, autorun_app: str = ""):
  170. self.buildset = buildset
  171. self.autorun = autorun_app
  172. def get_app_ep_forward(self, app: FlipperApplication):
  173. if app.apptype == FlipperAppType.STARTUP:
  174. return f"extern void {app.entry_point}();"
  175. return f"extern int32_t {app.entry_point}(void* p);"
  176. def get_app_descr(self, app: FlipperApplication):
  177. if app.apptype == FlipperAppType.STARTUP:
  178. return app.entry_point
  179. return f"""
  180. {{.app = {app.entry_point},
  181. .name = "{app.name}",
  182. .stack_size = {app.stack_size},
  183. .icon = {f"&{app.icon}" if app.icon else "NULL"},
  184. .flags = {'|'.join(f"FlipperApplicationFlag{flag}" for flag in app.flags)} }}"""
  185. def generate(self):
  186. contents = [
  187. '#include "applications.h"',
  188. "#include <assets_icons.h>",
  189. f'const char* FLIPPER_AUTORUN_APP_NAME = "{self.autorun}";',
  190. ]
  191. for apptype in self.APP_TYPE_MAP:
  192. contents.extend(
  193. map(self.get_app_ep_forward, self.buildset.get_apps_of_type(apptype))
  194. )
  195. entry_type, entry_block = self.APP_TYPE_MAP[apptype]
  196. contents.append(f"const {entry_type} {entry_block}[] = {{")
  197. contents.append(
  198. ",\n".join(
  199. map(self.get_app_descr, self.buildset.get_apps_of_type(apptype))
  200. )
  201. )
  202. contents.append("};")
  203. contents.append(
  204. f"const size_t {entry_block}_COUNT = COUNT_OF({entry_block});"
  205. )
  206. archive_app = self.buildset.get_apps_of_type(FlipperAppType.ARCHIVE)
  207. if archive_app:
  208. contents.extend(
  209. [
  210. self.get_app_ep_forward(archive_app[0]),
  211. f"const FlipperApplication FLIPPER_ARCHIVE = {self.get_app_descr(archive_app[0])};",
  212. ]
  213. )
  214. return "\n".join(contents)