26 lines
764 B
Plaintext
26 lines
764 B
Plaintext
|
// Shared record definitions, repeated explicitly in independently locked resources.
|
||
|
|
external atom Document id "atom:reader:document";
|
||
|
|
external atom Highlight id "atom:reader:highlight";
|
||
|
|
external atom Comment id "atom:reader:comment";
|
||
|
|
|
||
|
|
type SourceRange = record {
|
||
|
|
sourceRevision: string;
|
||
|
|
start: int32;
|
||
|
|
end: int32;
|
||
|
|
};
|
||
|
|
|
||
|
|
type CommentContent = record {
|
||
|
|
text: string;
|
||
|
|
tags: list<string>;
|
||
|
|
};
|
||
|
|
|
||
|
|
type DocumentSeed = record { sourceRevision: string; content: string; };
|
||
|
|
|
||
|
|
interface DocumentActions id "interface:reader:document-actions"
|
||
|
|
revision "interface:reader:document-actions@1" {
|
||
|
|
operation annotate id "document:annotate" : SourceRange -> atom-ref<Highlight> {
|
||
|
|
call id "document:annotate:call"
|
||
|
|
execution transaction targets [browser, server];
|
||
|
|
}
|
||
|
|
}
|