 ace0901125
			
		
	
	
		ace0901125
		
			
		
	
	
	
	
		
			
			* fbt: extapps: compact debug format for .faps * fbt: sdk: fixed symbol cache regen logic for removed-only symbols * lib: elf_file: early .fap file handle release * fbt: extapps: added FAP_VERSION define for application environments * github: added appsymbols artifact * api: updates for f18 * github: fixed early fap_dist * fbt: added flash_dap * ufbt: added flash_dap * fbt: reworked flash target; scripts: program.py->fwflash.py and changes * vscode: updated configuration * scripts: fwflash.py: ugly fixes for ufbt * scripts: fwflash.py: cleanup * fbt: flash: always use .elf file * scripts: fwflash: fixed elf file path Co-authored-by: あく <alleteam@gmail.com>
		
			
				
	
	
		
			258 lines
		
	
	
		
			8.5 KiB
		
	
	
	
		
			Python
		
	
	
	
	
	
			
		
		
	
	
			258 lines
		
	
	
		
			8.5 KiB
		
	
	
	
		
			Python
		
	
	
	
	
	
| import csv
 | |
| import operator
 | |
| import os
 | |
| from dataclasses import dataclass
 | |
| from enum import Enum, auto
 | |
| from typing import Any, ClassVar, Set
 | |
| 
 | |
| from ansi.color import fg
 | |
| 
 | |
| from . import ApiEntries, ApiEntryFunction, ApiEntryVariable, ApiHeader
 | |
| 
 | |
| 
 | |
| @dataclass(frozen=True)
 | |
| class SdkVersion:
 | |
|     major: int = 0
 | |
|     minor: int = 0
 | |
| 
 | |
|     csv_type: ClassVar[str] = "Version"
 | |
| 
 | |
|     def __str__(self) -> str:
 | |
|         return f"{self.major}.{self.minor}"
 | |
| 
 | |
|     def as_int(self) -> int:
 | |
|         return ((self.major & 0xFFFF) << 16) | (self.minor & 0xFFFF)
 | |
| 
 | |
|     @staticmethod
 | |
|     def from_str(s: str) -> "SdkVersion":
 | |
|         major, minor = s.split(".")
 | |
|         return SdkVersion(int(major), int(minor))
 | |
| 
 | |
|     def dictify(self) -> dict:
 | |
|         return dict(name=str(self), type=None, params=None)
 | |
| 
 | |
| 
 | |
| class VersionBump(Enum):
 | |
|     NONE = auto()
 | |
|     MAJOR = auto()
 | |
|     MINOR = auto()
 | |
| 
 | |
| 
 | |
| class ApiEntryState(Enum):
 | |
|     PENDING = "?"
 | |
|     APPROVED = "+"
 | |
|     DISABLED = "-"
 | |
|     # Special value for API version entry so users have less incentive to edit it
 | |
|     VERSION_PENDING = "v"
 | |
| 
 | |
| 
 | |
| # Class that stores all known API entries, both enabled and disabled.
 | |
| # Also keeps track of API versioning
 | |
| # Allows comparison and update from newly-generated API
 | |
| class SdkCache:
 | |
|     CSV_FIELD_NAMES = ("entry", "status", "name", "type", "params")
 | |
| 
 | |
|     def __init__(self, cache_file: str, load_version_only=False):
 | |
|         self.cache_file_name = cache_file
 | |
|         self.version = SdkVersion(0, 0)
 | |
|         self.sdk = ApiEntries()
 | |
|         self.disabled_entries = set()
 | |
|         self.new_entries = set()
 | |
|         self.loaded_dirty_version = False
 | |
| 
 | |
|         self.version_action = VersionBump.NONE
 | |
|         self._load_version_only = load_version_only
 | |
|         self.load_cache()
 | |
| 
 | |
|     def is_buildable(self) -> bool:
 | |
|         return (
 | |
|             self.version != SdkVersion(0, 0)
 | |
|             and self.version_action == VersionBump.NONE
 | |
|             and not self._have_pending_entries()
 | |
|         )
 | |
| 
 | |
|     def _filter_enabled(self, sdk_entries):
 | |
|         return sorted(
 | |
|             filter(lambda e: e not in self.disabled_entries, sdk_entries),
 | |
|             key=operator.attrgetter("name"),
 | |
|         )
 | |
| 
 | |
|     def get_valid_names(self):
 | |
|         syms = set(map(lambda e: e.name, self.get_functions()))
 | |
|         syms.update(map(lambda e: e.name, self.get_variables()))
 | |
|         return syms
 | |
| 
 | |
|     def get_disabled_names(self):
 | |
|         return set(map(lambda e: e.name, self.disabled_entries))
 | |
| 
 | |
|     def get_functions(self):
 | |
|         return self._filter_enabled(self.sdk.functions)
 | |
| 
 | |
|     def get_variables(self):
 | |
|         return self._filter_enabled(self.sdk.variables)
 | |
| 
 | |
|     def get_headers(self):
 | |
|         return self._filter_enabled(self.sdk.headers)
 | |
| 
 | |
|     def _get_entry_status(self, entry) -> str:
 | |
|         if entry in self.disabled_entries:
 | |
|             return ApiEntryState.DISABLED
 | |
|         elif entry in self.new_entries:
 | |
|             if isinstance(entry, SdkVersion):
 | |
|                 return ApiEntryState.VERSION_PENDING
 | |
|             return ApiEntryState.PENDING
 | |
|         else:
 | |
|             return ApiEntryState.APPROVED
 | |
| 
 | |
|     def _format_entry(self, obj):
 | |
|         obj_dict = obj.dictify()
 | |
|         obj_dict.update(
 | |
|             dict(
 | |
|                 entry=obj.csv_type,
 | |
|                 status=self._get_entry_status(obj).value,
 | |
|             )
 | |
|         )
 | |
|         return obj_dict
 | |
| 
 | |
|     def save(self) -> None:
 | |
|         if self._load_version_only:
 | |
|             raise Exception("Only SDK version was loaded, cannot save")
 | |
| 
 | |
|         if self.version_action == VersionBump.MINOR:
 | |
|             self.version = SdkVersion(self.version.major, self.version.minor + 1)
 | |
|         elif self.version_action == VersionBump.MAJOR:
 | |
|             self.version = SdkVersion(self.version.major + 1, 0)
 | |
| 
 | |
|         if self._have_pending_entries():
 | |
|             self.new_entries.add(self.version)
 | |
|             print(
 | |
|                 fg.red(
 | |
|                     f"API version is still WIP: {self.version}. Review the changes and re-run command."
 | |
|                 )
 | |
|             )
 | |
|             print("CSV file entries to mark up:")
 | |
|             print(
 | |
|                 fg.yellow(
 | |
|                     "\n".join(
 | |
|                         map(
 | |
|                             str,
 | |
|                             filter(
 | |
|                                 lambda e: not isinstance(e, SdkVersion),
 | |
|                                 self.new_entries,
 | |
|                             ),
 | |
|                         )
 | |
|                     )
 | |
|                 )
 | |
|             )
 | |
|         else:
 | |
|             print(fg.green(f"API version {self.version} is up to date"))
 | |
| 
 | |
|         regenerate_csv = (
 | |
|             self.loaded_dirty_version
 | |
|             or self._have_pending_entries()
 | |
|             or self.version_action != VersionBump.NONE
 | |
|         )
 | |
| 
 | |
|         if regenerate_csv:
 | |
|             str_cache_entries = [self.version]
 | |
|             name_getter = operator.attrgetter("name")
 | |
|             str_cache_entries.extend(sorted(self.sdk.headers, key=name_getter))
 | |
|             str_cache_entries.extend(sorted(self.sdk.functions, key=name_getter))
 | |
|             str_cache_entries.extend(sorted(self.sdk.variables, key=name_getter))
 | |
| 
 | |
|             with open(self.cache_file_name, "wt", newline="") as f:
 | |
|                 writer = csv.DictWriter(f, fieldnames=SdkCache.CSV_FIELD_NAMES)
 | |
|                 writer.writeheader()
 | |
| 
 | |
|                 for entry in str_cache_entries:
 | |
|                     writer.writerow(self._format_entry(entry))
 | |
| 
 | |
|     def _process_entry(self, entry_dict: dict) -> None:
 | |
|         entry_class = entry_dict["entry"]
 | |
|         entry_status = entry_dict["status"]
 | |
|         entry_name = entry_dict["name"]
 | |
| 
 | |
|         entry = None
 | |
|         if entry_class == SdkVersion.csv_type:
 | |
|             self.version = SdkVersion.from_str(entry_name)
 | |
|             if entry_status == ApiEntryState.VERSION_PENDING.value:
 | |
|                 self.loaded_dirty_version = True
 | |
|         elif entry_class == ApiHeader.csv_type:
 | |
|             self.sdk.headers.add(entry := ApiHeader(entry_name))
 | |
|         elif entry_class == ApiEntryFunction.csv_type:
 | |
|             self.sdk.functions.add(
 | |
|                 entry := ApiEntryFunction(
 | |
|                     entry_name,
 | |
|                     entry_dict["type"],
 | |
|                     entry_dict["params"],
 | |
|                 )
 | |
|             )
 | |
|         elif entry_class == ApiEntryVariable.csv_type:
 | |
|             self.sdk.variables.add(
 | |
|                 entry := ApiEntryVariable(entry_name, entry_dict["type"])
 | |
|             )
 | |
|         else:
 | |
|             print(entry_dict)
 | |
|             raise Exception("Unknown entry type: %s" % entry_class)
 | |
| 
 | |
|         if entry is None:
 | |
|             return
 | |
| 
 | |
|         if entry_status == ApiEntryState.DISABLED.value:
 | |
|             self.disabled_entries.add(entry)
 | |
|         elif entry_status == ApiEntryState.PENDING.value:
 | |
|             self.new_entries.add(entry)
 | |
| 
 | |
|     def load_cache(self) -> None:
 | |
|         if not os.path.exists(self.cache_file_name):
 | |
|             raise Exception(
 | |
|                 f"Cannot load symbol cache '{self.cache_file_name}'! File does not exist"
 | |
|             )
 | |
| 
 | |
|         with open(self.cache_file_name, "rt") as f:
 | |
|             reader = csv.DictReader(f)
 | |
|             for row in reader:
 | |
|                 self._process_entry(row)
 | |
|                 if self._load_version_only and row.get("entry") == SdkVersion.csv_type:
 | |
|                     break
 | |
| 
 | |
|     def _have_pending_entries(self) -> bool:
 | |
|         return any(
 | |
|             filter(
 | |
|                 lambda e: not isinstance(e, SdkVersion),
 | |
|                 self.new_entries,
 | |
|             )
 | |
|         )
 | |
| 
 | |
|     def sync_sets(
 | |
|         self, known_set: Set[Any], new_set: Set[Any], update_version: bool = True
 | |
|     ):
 | |
|         new_entries = new_set - known_set
 | |
|         if new_entries:
 | |
|             print(f"New: {new_entries}")
 | |
|             known_set |= new_entries
 | |
|             self.new_entries |= new_entries
 | |
|             if update_version and self.version_action == VersionBump.NONE:
 | |
|                 self.version_action = VersionBump.MINOR
 | |
|         removed_entries = known_set - new_set
 | |
|         if removed_entries:
 | |
|             print(f"Removed: {removed_entries}")
 | |
|             self.loaded_dirty_version = True
 | |
|             known_set -= removed_entries
 | |
|             # If any of removed entries was a part of active API, that's a major bump
 | |
|             if update_version and any(
 | |
|                 filter(
 | |
|                     lambda e: e not in self.disabled_entries
 | |
|                     and e not in self.new_entries,
 | |
|                     removed_entries,
 | |
|                 )
 | |
|             ):
 | |
|                 self.version_action = VersionBump.MAJOR
 | |
|             self.disabled_entries -= removed_entries
 | |
|             self.new_entries -= removed_entries
 | |
| 
 | |
|     def validate_api(self, api: ApiEntries) -> None:
 | |
|         self.sync_sets(self.sdk.headers, api.headers, False)
 | |
|         self.sync_sets(self.sdk.functions, api.functions)
 | |
|         self.sync_sets(self.sdk.variables, api.variables)
 |