bill/whetstone_DSL
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Step 503: integrate phase 25b scenarios and gates

Browse Source
This commit is contained in:
Bill
2026-02-16 22:42:46 -07:00
parent 7ec9147fb7
commit f718a6668a
6 changed files with 385 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
editor/src/APIBoundaryPreserver.h
View File

@@ -24,7 +24,7 @@ struct TypeMapping {
std::string note; // compatibility note
};
struct ContractAnnotation {
struct APIMigrationContract {
std::string functionName;
std::string precondition;
std::string postcondition;
@@ -43,7 +43,7 @@ struct APIBoundaryReport {
std::string targetLanguage;
std::vector<FunctionSignature> publicAPI;
std::vector<TypeMapping> typeMappings;
std::vector<ContractAnnotation> contracts;
std::vector<APIMigrationContract> contracts;
std::vector<FFIBoundary> ffiBoundaries;
bool apiPreserved = true;
@@ -198,11 +198,11 @@ private:
return mappings;
}
static std::vector<ContractAnnotation> generateContracts(
static std::vector<APIMigrationContract> generateContracts(
const std::vector<FunctionSignature>& api, const std::string& source) {
std::vector<ContractAnnotation> contracts;
std::vector<APIMigrationContract> contracts;
for (const auto& f : api) {
ContractAnnotation c;
APIMigrationContract c;
c.functionName = f.name;
// Generate pre/post conditions from signature
if (!f.paramTypes.empty()) {