|
|
|
@@ -13,7 +13,8 @@ workspace Todo id "workspace:todo" revision "workspace:todo@capabilities-v1" com
|
|
|
|
|
import interface TaskActions;
|
|
|
|
|
import interface DisplayLabel;
|
|
|
|
|
import interface TaskCount;
|
|
|
|
|
import interface WebStudioCreateable;
|
|
|
|
|
import interface WebStudioFactory;
|
|
|
|
|
import interface WebStudioReactSource;
|
|
|
|
|
import interface WebStudioReactComponent;
|
|
|
|
|
import interface WebStudioHasReactComponent;
|
|
|
|
|
import interface WebStudioCanvas;
|
|
|
|
@@ -27,44 +28,27 @@ workspace Todo id "workspace:todo" revision "workspace:todo@capabilities-v1" com
|
|
|
|
|
import package TodoReactRuntime;
|
|
|
|
|
import package WebStudioCanvasRuntime;
|
|
|
|
|
|
|
|
|
|
shared state ProjectName id "slot:project:name" on Project : string policy optimistic-register default "Untitled project";
|
|
|
|
|
shared state TaskTitle id "slot:task:title" on Task : string policy optimistic-register default "Untitled task";
|
|
|
|
|
shared state TaskStatus id "slot:task:status" on Task : string policy optimistic-register default "OPEN";
|
|
|
|
|
shared state TaskPriority id "slot:task:priority" on Task : string policy optimistic-register default "NORMAL";
|
|
|
|
|
shared state TaskNotes id "slot:task:notes" on Task : string policy crdt(string) default "";
|
|
|
|
|
shared state TaskDueDate id "slot:task:due-date" on Task : string policy optimistic-register default "";
|
|
|
|
|
shared state TaskEnergy id "slot:task:energy" on Task : string policy optimistic-register default "MEDIUM";
|
|
|
|
|
shared state WebStudioCanvasName id "slot:org.quixos.web-studio.canvas:name" on WebStudioCanvas : string policy optimistic-register default "Hearth";
|
|
|
|
|
shared state WebStudioPlacementPosition id "slot:org.quixos.web-studio.canvas-placement:position" on WebStudioCanvasPlacement : message "org.quixos.web-studio.CanvasPosition" policy optimistic-register default {"x":0,"y":0};
|
|
|
|
|
shared state WebStudioPlacementSize id "slot:org.quixos.web-studio.canvas-placement:size" on WebStudioCanvasPlacement : message "org.quixos.web-studio.CanvasSize" policy optimistic-register default {"width":420,"height":320};
|
|
|
|
|
shared state WebStudioPlacementZ id "slot:org.quixos.web-studio.canvas-placement:z" on WebStudioCanvasPlacement : int32 policy optimistic-register default 0;
|
|
|
|
|
shared edge ProjectTaskEdge id "edge:project:tasks" {
|
|
|
|
|
atom Project projection tasks id "projection:project:tasks" many-unique ordered;
|
|
|
|
|
atom Task projection project id "projection:task:project" optional-one;
|
|
|
|
|
}
|
|
|
|
|
shared edge ProjectComponentEdge id "edge:project:web-studio-component" {
|
|
|
|
|
atom ProjectReactComponent projection subject id "projection:project-component:subject" exactly-one;
|
|
|
|
|
atom Project projection component id "projection:project:component" optional-one;
|
|
|
|
|
}
|
|
|
|
|
shared edge TaskComponentEdge id "edge:task:web-studio-component" {
|
|
|
|
|
atom TaskReactComponent projection subject id "projection:task-component:subject" exactly-one;
|
|
|
|
|
atom Task projection component id "projection:task:component" optional-one;
|
|
|
|
|
}
|
|
|
|
|
shared edge WebStudioCanvasPlacementEdge id "edge:org.quixos.web-studio:canvas-placements" {
|
|
|
|
|
atom WebStudioCanvasPlacement projection canvas id "projection:org.quixos.web-studio.canvas-placement:canvas" exactly-one;
|
|
|
|
|
interface WebStudioCanvas projection placements id "projection:org.quixos.web-studio.canvas:placements" many-unique ordered;
|
|
|
|
|
}
|
|
|
|
|
shared edge WebStudioPlacementSubjectEdge id "edge:org.quixos.web-studio:placement-subject" {
|
|
|
|
|
atom WebStudioCanvasPlacement projection subject id "projection:org.quixos.web-studio.canvas-placement:subject" exactly-one;
|
|
|
|
|
interface WebStudioPlaceable projection placements id "projection:org.quixos.web-studio.placeable:placements" many-unique ordered;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
conform WebStudioCanvas as WebStudioCanvas {
|
|
|
|
|
conform WebStudioCanvas as WebStudioCanvas id "conformance:todo:WebStudioCanvas:WebStudioCanvas" {
|
|
|
|
|
private state WebStudioCanvasName id "slot:org.quixos.web-studio.canvas:name" on WebStudioCanvas : string policy optimistic-register default "Hearth";
|
|
|
|
|
|
|
|
|
|
bind name.get to state WebStudioCanvasName.read;
|
|
|
|
|
bind name.set to state WebStudioCanvasName.write;
|
|
|
|
|
bind placements.resolve to edge WebStudioCanvasPlacementEdge.placements.resolve;
|
|
|
|
|
}
|
|
|
|
|
conform WebStudioCanvasPlacement as WebStudioCanvasPlacement {
|
|
|
|
|
conform WebStudioCanvasPlacement as WebStudioCanvasPlacement id "conformance:todo:WebStudioCanvasPlacement:WebStudioCanvasPlacement" {
|
|
|
|
|
private state WebStudioPlacementPosition id "slot:org.quixos.web-studio.canvas-placement:position" on WebStudioCanvasPlacement : message "org.quixos.web-studio.CanvasPosition" policy optimistic-register default {"x":0,"y":0};
|
|
|
|
|
private state WebStudioPlacementSize id "slot:org.quixos.web-studio.canvas-placement:size" on WebStudioCanvasPlacement : message "org.quixos.web-studio.CanvasSize" policy optimistic-register default {"width":420,"height":320};
|
|
|
|
|
private state WebStudioPlacementZ id "slot:org.quixos.web-studio.canvas-placement:z" on WebStudioCanvasPlacement : int32 policy optimistic-register default 0;
|
|
|
|
|
private edge WebStudioCanvasPlacementEdge id "edge:org.quixos.web-studio:canvas-placements" {
|
|
|
|
|
atom WebStudioCanvasPlacement projection canvas id "projection:org.quixos.web-studio.canvas-placement:canvas" exactly-one;
|
|
|
|
|
interface WebStudioCanvas projection placements id "projection:org.quixos.web-studio.canvas:placements" many-unique ordered public-traversal;
|
|
|
|
|
}
|
|
|
|
|
private edge WebStudioPlacementSubjectEdge id "edge:org.quixos.web-studio:placement-subject" {
|
|
|
|
|
atom WebStudioCanvasPlacement projection subject id "projection:org.quixos.web-studio.canvas-placement:subject" exactly-one;
|
|
|
|
|
interface WebStudioPlaceable projection placements id "projection:org.quixos.web-studio.placeable:placements" many-unique ordered public-traversal;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
bind position.get to state WebStudioPlacementPosition.read;
|
|
|
|
|
bind position.set to state WebStudioPlacementPosition.write;
|
|
|
|
|
bind size.get to state WebStudioPlacementSize.read;
|
|
|
|
@@ -79,11 +63,15 @@ workspace Todo id "workspace:todo" revision "workspace:todo@capabilities-v1" com
|
|
|
|
|
bind canvas.disconnect to edge WebStudioCanvasPlacementEdge.canvas.disconnect;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
conform Project as WebStudioCreateable {}
|
|
|
|
|
conform Project as WebStudioPlaceable {
|
|
|
|
|
conform Project as WebStudioFactory<atom Project> id "conformance:todo:Project:WebStudioFactory" {
|
|
|
|
|
bind create.call to package ProjectRuntime.newProject with { project to constructor Project; };
|
|
|
|
|
}
|
|
|
|
|
conform Project as WebStudioPlaceable id "conformance:todo:Project:WebStudioPlaceable" {
|
|
|
|
|
|
|
|
|
|
bind placements.resolve to edge WebStudioPlacementSubjectEdge.placements.resolve;
|
|
|
|
|
}
|
|
|
|
|
conform Project as WebStudioSearchable {
|
|
|
|
|
conform Project as WebStudioSearchable id "conformance:todo:Project:WebStudioSearchable" {
|
|
|
|
|
|
|
|
|
|
bind document.get to package ProjectRuntime.searchDocumentGet with {
|
|
|
|
|
named to interface Named;
|
|
|
|
|
tasks to interface ProjectTasks;
|
|
|
|
@@ -94,36 +82,53 @@ workspace Todo id "workspace:todo" revision "workspace:todo@capabilities-v1" com
|
|
|
|
|
};
|
|
|
|
|
bind document.watch-stop to package ProjectRuntime.searchDocumentWatchStop;
|
|
|
|
|
}
|
|
|
|
|
conform Project as WebStudioHasReactComponent {
|
|
|
|
|
conform Project as WebStudioHasReactComponent id "conformance:todo:Project:WebStudioHasReactComponent" {
|
|
|
|
|
private edge ProjectComponentEdge id "edge:project:web-studio-component" {
|
|
|
|
|
atom ProjectReactComponent projection subject id "projection:project-component:subject" exactly-one public-traversal;
|
|
|
|
|
atom Project projection component id "projection:project:component" optional-one;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
bind component.resolve to edge ProjectComponentEdge.component.resolve;
|
|
|
|
|
materialize component if absent using constructor ProjectReactComponent via edge ProjectComponentEdge.subject;
|
|
|
|
|
}
|
|
|
|
|
conform Project as Named {
|
|
|
|
|
bind name.get to state ProjectName.read;
|
|
|
|
|
bind name.set to state ProjectName.write;
|
|
|
|
|
conform Project as Named id "conformance:todo:Project:Named" {
|
|
|
|
|
private state ProjectName id "slot:project:name" on Project : string policy optimistic-register default "Untitled project";
|
|
|
|
|
|
|
|
|
|
bind name to state ProjectName;
|
|
|
|
|
}
|
|
|
|
|
conform Project as ProjectTasks {
|
|
|
|
|
conform Project as ProjectTasks id "conformance:todo:Project:ProjectTasks" {
|
|
|
|
|
private edge ProjectTaskEdge id "edge:project:tasks" {
|
|
|
|
|
atom Project projection tasks id "projection:project:tasks" many-unique ordered;
|
|
|
|
|
atom Task projection project id "projection:task:project" optional-one;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
bind tasks.resolve to edge ProjectTaskEdge.tasks.resolve;
|
|
|
|
|
bind tasks.connect to edge ProjectTaskEdge.tasks.connect;
|
|
|
|
|
bind tasks.disconnect to edge ProjectTaskEdge.tasks.disconnect;
|
|
|
|
|
bind tasks.watch-start to edge ProjectTaskEdge.tasks.watch-start;
|
|
|
|
|
bind tasks.watch-stop to edge ProjectTaskEdge.tasks.watch-stop;
|
|
|
|
|
}
|
|
|
|
|
conform Project as ProjectActions {
|
|
|
|
|
conform Project as ProjectActions id "conformance:todo:Project:ProjectActions" {
|
|
|
|
|
|
|
|
|
|
bind addTask.call to package ProjectRuntime.addTask with {
|
|
|
|
|
tasks to edge ProjectTaskEdge.tasks;
|
|
|
|
|
tasks to interface ProjectTasks;
|
|
|
|
|
task to constructor Task;
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
conform Project as TaskCount {
|
|
|
|
|
conform Project as TaskCount id "conformance:todo:Project:TaskCount" {
|
|
|
|
|
|
|
|
|
|
bind count.get to package ProjectRuntime.taskCountGet with {
|
|
|
|
|
tasks to edge ProjectTaskEdge.tasks;
|
|
|
|
|
tasks to interface ProjectTasks;
|
|
|
|
|
};
|
|
|
|
|
bind count.watch-start to package ProjectRuntime.taskCountWatch with {
|
|
|
|
|
tasks to edge ProjectTaskEdge.tasks;
|
|
|
|
|
tasks to interface ProjectTasks;
|
|
|
|
|
};
|
|
|
|
|
bind count.watch-stop to package ProjectRuntime.taskCountWatchStop;
|
|
|
|
|
}
|
|
|
|
|
conform ProjectReactComponent as WebStudioReactComponent {
|
|
|
|
|
conform ProjectReactComponent as WebStudioReactSource id "conformance:todo:ProjectReactComponent:WebStudioReactSource" {
|
|
|
|
|
bind source.get to package ProjectReactRuntime.sourceGet;
|
|
|
|
|
}
|
|
|
|
|
conform ProjectReactComponent as WebStudioReactComponent<record {named: interface-ref<Named>; tasks: interface-ref<ProjectTasks>;}> id "conformance:todo:ProjectReactComponent:WebStudioReactComponent" {
|
|
|
|
|
bind props.get to package ProjectReactRuntime.propsGet with {
|
|
|
|
|
named to interface Named via edge ProjectComponentEdge.subject;
|
|
|
|
|
tasks to interface ProjectTasks via edge ProjectComponentEdge.subject;
|
|
|
|
@@ -135,101 +140,87 @@ workspace Todo id "workspace:todo" revision "workspace:todo@capabilities-v1" com
|
|
|
|
|
bind props.watch-stop to package ProjectReactRuntime.propsWatchStop;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
conform Task as WebStudioHasReactComponent {
|
|
|
|
|
conform Task as WebStudioHasReactComponent id "conformance:todo:Task:WebStudioHasReactComponent" {
|
|
|
|
|
private edge TaskComponentEdge id "edge:task:web-studio-component" {
|
|
|
|
|
atom TaskReactComponent projection subject id "projection:task-component:subject" exactly-one public-traversal;
|
|
|
|
|
atom Task projection component id "projection:task:component" optional-one;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
bind component.resolve to edge TaskComponentEdge.component.resolve;
|
|
|
|
|
materialize component if absent using constructor TaskReactComponent via edge TaskComponentEdge.subject;
|
|
|
|
|
}
|
|
|
|
|
conform Task as WebStudioPlaceable {
|
|
|
|
|
conform Task as WebStudioPlaceable id "conformance:todo:Task:WebStudioPlaceable" {
|
|
|
|
|
|
|
|
|
|
bind placements.resolve to edge WebStudioPlacementSubjectEdge.placements.resolve;
|
|
|
|
|
}
|
|
|
|
|
conform Task as WebStudioSearchable {
|
|
|
|
|
conform Task as WebStudioSearchable id "conformance:todo:Task:WebStudioSearchable" {
|
|
|
|
|
|
|
|
|
|
bind document.get to package TodoRuntime.searchDocumentGet with {
|
|
|
|
|
title to state TaskTitle;
|
|
|
|
|
status to state TaskStatus;
|
|
|
|
|
priority to state TaskPriority;
|
|
|
|
|
dueDate to state TaskDueDate;
|
|
|
|
|
data to interface TaskData;
|
|
|
|
|
};
|
|
|
|
|
bind document.watch-start to package TodoRuntime.searchDocumentWatch with {
|
|
|
|
|
title to state TaskTitle;
|
|
|
|
|
status to state TaskStatus;
|
|
|
|
|
priority to state TaskPriority;
|
|
|
|
|
dueDate to state TaskDueDate;
|
|
|
|
|
data to interface TaskData;
|
|
|
|
|
};
|
|
|
|
|
bind document.watch-stop to package TodoRuntime.searchDocumentWatchStop;
|
|
|
|
|
}
|
|
|
|
|
conform Task as TaskData {
|
|
|
|
|
bind title.get to state TaskTitle.read;
|
|
|
|
|
bind title.set to state TaskTitle.write;
|
|
|
|
|
bind status.get to state TaskStatus.read;
|
|
|
|
|
bind status.set to state TaskStatus.write;
|
|
|
|
|
bind priority.get to state TaskPriority.read;
|
|
|
|
|
bind priority.set to state TaskPriority.write;
|
|
|
|
|
bind notes.get to state TaskNotes.read;
|
|
|
|
|
bind notes.set to state TaskNotes.write;
|
|
|
|
|
bind dueDate.get to state TaskDueDate.read;
|
|
|
|
|
bind dueDate.set to state TaskDueDate.write;
|
|
|
|
|
bind energy.get to state TaskEnergy.read;
|
|
|
|
|
bind energy.set to state TaskEnergy.write;
|
|
|
|
|
conform Task as TaskData id "conformance:todo:Task:TaskData" {
|
|
|
|
|
private state TaskTitle id "slot:task:title" on Task : string policy optimistic-register default "Untitled task";
|
|
|
|
|
private state TaskStatus id "slot:task:status" on Task : string policy optimistic-register default "OPEN";
|
|
|
|
|
private state TaskPriority id "slot:task:priority" on Task : string policy optimistic-register default "NORMAL";
|
|
|
|
|
private state TaskNotes id "slot:task:notes" on Task : string policy crdt(string) default "";
|
|
|
|
|
private state TaskDueDate id "slot:task:due-date" on Task : string policy optimistic-register default "";
|
|
|
|
|
private state TaskEnergy id "slot:task:energy" on Task : string policy optimistic-register default "MEDIUM";
|
|
|
|
|
|
|
|
|
|
bind title to state TaskTitle;
|
|
|
|
|
bind status to state TaskStatus;
|
|
|
|
|
bind priority to state TaskPriority;
|
|
|
|
|
bind notes to state TaskNotes;
|
|
|
|
|
bind dueDate to state TaskDueDate;
|
|
|
|
|
bind energy to state TaskEnergy;
|
|
|
|
|
}
|
|
|
|
|
conform Task as TaskActions {
|
|
|
|
|
conform Task as TaskActions id "conformance:todo:Task:TaskActions" {
|
|
|
|
|
|
|
|
|
|
bind complete.call to package TodoRuntime.complete with {
|
|
|
|
|
status to state TaskStatus;
|
|
|
|
|
data to interface TaskData;
|
|
|
|
|
};
|
|
|
|
|
bind reopen.call to package TodoRuntime.reopen with {
|
|
|
|
|
status to state TaskStatus;
|
|
|
|
|
data to interface TaskData;
|
|
|
|
|
};
|
|
|
|
|
bind archive.call to package TodoRuntime.archive with {
|
|
|
|
|
status to state TaskStatus;
|
|
|
|
|
data to interface TaskData;
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
conform Task as DisplayLabel {
|
|
|
|
|
conform Task as DisplayLabel id "conformance:todo:Task:DisplayLabel" {
|
|
|
|
|
|
|
|
|
|
bind label.get to package TodoRuntime.displayLabelGet with {
|
|
|
|
|
title to state TaskTitle;
|
|
|
|
|
status to state TaskStatus;
|
|
|
|
|
priority to state TaskPriority;
|
|
|
|
|
data to interface TaskData;
|
|
|
|
|
};
|
|
|
|
|
bind label.watch-start to package TodoRuntime.displayLabelWatch with {
|
|
|
|
|
title to state TaskTitle;
|
|
|
|
|
status to state TaskStatus;
|
|
|
|
|
priority to state TaskPriority;
|
|
|
|
|
data to interface TaskData;
|
|
|
|
|
};
|
|
|
|
|
bind label.watch-stop to package TodoRuntime.displayLabelWatchStop;
|
|
|
|
|
}
|
|
|
|
|
conform TaskReactComponent as WebStudioReactComponent {
|
|
|
|
|
conform TaskReactComponent as WebStudioReactSource id "conformance:todo:TaskReactComponent:WebStudioReactSource" {
|
|
|
|
|
bind source.get to package TodoReactRuntime.sourceGet;
|
|
|
|
|
}
|
|
|
|
|
conform TaskReactComponent as WebStudioReactComponent<record {data: interface-ref<TaskData>;}> id "conformance:todo:TaskReactComponent:WebStudioReactComponent" {
|
|
|
|
|
bind props.get to package TodoReactRuntime.propsGet with {
|
|
|
|
|
subject to edge TaskComponentEdge.subject;
|
|
|
|
|
title to state TaskTitle via edge TaskComponentEdge.subject;
|
|
|
|
|
status to state TaskStatus via edge TaskComponentEdge.subject;
|
|
|
|
|
priority to state TaskPriority via edge TaskComponentEdge.subject;
|
|
|
|
|
notes to state TaskNotes via edge TaskComponentEdge.subject;
|
|
|
|
|
dueDate to state TaskDueDate via edge TaskComponentEdge.subject;
|
|
|
|
|
energy to state TaskEnergy via edge TaskComponentEdge.subject;
|
|
|
|
|
data to interface TaskData via edge TaskComponentEdge.subject;
|
|
|
|
|
};
|
|
|
|
|
bind props.watch-start to package TodoReactRuntime.propsWatch with {
|
|
|
|
|
subject to edge TaskComponentEdge.subject;
|
|
|
|
|
title to state TaskTitle via edge TaskComponentEdge.subject;
|
|
|
|
|
status to state TaskStatus via edge TaskComponentEdge.subject;
|
|
|
|
|
priority to state TaskPriority via edge TaskComponentEdge.subject;
|
|
|
|
|
notes to state TaskNotes via edge TaskComponentEdge.subject;
|
|
|
|
|
dueDate to state TaskDueDate via edge TaskComponentEdge.subject;
|
|
|
|
|
energy to state TaskEnergy via edge TaskComponentEdge.subject;
|
|
|
|
|
data to interface TaskData via edge TaskComponentEdge.subject;
|
|
|
|
|
};
|
|
|
|
|
bind props.watch-stop to package TodoReactRuntime.propsWatchStop;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
constructor Project to ProjectRuntime.createProject;
|
|
|
|
|
constructor Task to TodoRuntime.createTask with {
|
|
|
|
|
title to state TaskTitle;
|
|
|
|
|
data to interface TaskData;
|
|
|
|
|
};
|
|
|
|
|
constructor ProjectReactComponent to ProjectReactRuntime.createComponent;
|
|
|
|
|
constructor TaskReactComponent to TodoReactRuntime.createComponent;
|
|
|
|
|
constructor WebStudioCanvas to WebStudioCanvasRuntime.createCanvas;
|
|
|
|
|
constructor WebStudioCanvasPlacement to WebStudioCanvasRuntime.createPlacement with {
|
|
|
|
|
position to state WebStudioPlacementPosition;
|
|
|
|
|
size to state WebStudioPlacementSize;
|
|
|
|
|
z to state WebStudioPlacementZ;
|
|
|
|
|
canvas to edge WebStudioCanvasPlacementEdge.canvas;
|
|
|
|
|
subject to edge WebStudioPlacementSubjectEdge.subject;
|
|
|
|
|
placement to interface WebStudioCanvasPlacement;
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
Quixos Template Publisher