Allow adding operations that are not part of any linearization

anishathalye · Apr 12, 2024 · c39cbb3 · c39cbb3
1 parent 629b8ef
commit c39cbb3
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 2 deletions.
diff --git a/checker.go b/checker.go
@@ -26,6 +26,11 @@ type linearizationInfo struct {
 	partialLinearizations [][][]int // for each partition, a set of histories (list of ids)
 }
 
+func (info *linearizationInfo) AddOperations(operations []Operation) {
+	info.partialLinearizations = append(info.partialLinearizations, [][]int{})
+	info.history = append(info.history, makeEntries(operations))
+}
+
 type byTime []entry
 
 func (a byTime) Len() int {

diff --git a/visualization/index.css b/visualization/index.css
@@ -36,7 +36,14 @@ text {
   stroke-width: 1;
 }
 
-.history-rect {
+.non-linearization-rect {
+  stroke: #888;
+  stroke-width: 1;
+  fill: #a4a4a4;
+}
+
+
+.linearization-rect {
   stroke: #888;
   stroke-width: 1;
   fill: #42d1f5;

diff --git a/visualization/index.js b/visualization/index.js
@@ -329,6 +329,10 @@ function render(data) {
       const width = xPos[el['End']] - rx
       const x = rx + XOFF + PADDING
       const y = PADDING + el['ClientId'] * (BOX_HEIGHT + BOX_SPACE)
+      let rectClass = 'linearization-rect';
+      if (partition['PartialLinearizations'].length === 0) {
+        rectClass = 'non-linearization-rect'
+      }
       rects.push(
         svgadd(g, 'rect', {
           height: BOX_HEIGHT,
@@ -337,7 +341,7 @@ function render(data) {
           y: y,
           rx: HISTORY_RECT_RADIUS,
           ry: HISTORY_RECT_RADIUS,
-          class: 'history-rect',
+          class: rectClass,
         })
       )
       const text = svgadd(g, 'text', {