quixos-toolchain/quixos-protocol
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Qualify typed presentation factories through public state interfaces

Browse Source
This commit is contained in:
Timothy J. Aveni
2026-09-25 12:11:01 -07:00
parent 76d5cff6fb
commit e7778b3518
2 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/fixtures/presentation-mount/PresentationRuntime.qx
Vendored
+3
View File
@@ -6,6 +6,9 @@ import interface PresentationMount;
import interface StateFactory;
external atom PresentationMountRecord id "presentation-mount-record";
package PresentationRuntime id "presentation-runtime" revision "presentation-runtime@1" {
function createReaderState id "presentation-runtime:create-reader-state" : record {occurrence:string;parent:optional<interface-ref<PresentationState>>;} -> interface-ref<ReaderNavigation> execution transaction targets [browser,server] requires {
creation navigation id "navigation" : ReaderNavigationRecord input record {occurrence:string;parent:optional<interface-ref<PresentationState>>;};
};
function createPresentationMount id "presentation-runtime:create" : unit -> interface-ref<PresentationMount> execution transaction targets [browser,server] requires {
creation presentationMount id "presentationMount" : PresentationMountRecord input unit;
};
test/fixtures/presentation-mount/workspace.qx
Vendored
+7
View File
@@ -11,6 +11,7 @@ workspace Example id "presentation-example" revision "presentation-example@1" co
atom PresentationMountRecord id "presentation-mount-record";
atom Library id "library";
atom OtherLibrary id "other-library";
atom PublicLibrary id "public-library";
atom Document id "document";
atom ReaderNavigationRecord id "reader-navigation-record";
atom DocumentNavigationRecord id "document-navigation-record";
@@ -85,4 +86,10 @@ workspace Example id "presentation-example" revision "presentation-example@1" co
};
}
conform OtherLibrary as Presentation<atom ReaderNavigationRecord> id "other-library:presentation" {}
conform PublicLibrary as StateFactory<interface ReaderNavigation> id "public-reader:factory" {
bind create.call to package PresentationRuntime.createReaderState with {
navigation to creation ReaderNavigationRecord with {PresentationState from input;};
};
}
conform PublicLibrary as Presentation<interface ReaderNavigation> id "public-library:presentation" {}
}