generate context when it is queried

utwente-fmt · Oct 25, 2023 · 220482a · 220482a
1 parent 78c3d81
commit 220482a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/col/vct/col/origin/Origin.scala b/src/col/vct/col/origin/Origin.scala
@@ -123,7 +123,12 @@ case class Origin(originContents: Seq[OriginContent]) extends Blame[Verification
       case _ => Nil
     } match {
       case Seq(Context(any)) => Some(Context(any))
-      case _ => None
+      case _ =>
+        Some(Context(InputOrigin.contextLines(
+          getReadable.getOrElse(return None).readable,
+          getStartEndLines.getOrElse(return None).startEndLineIdx._1,
+          getStartEndLines.getOrElse(return None).startEndLineIdx._2,
+          getOriginCols.getOrElse(return None).cols)))
     }
   }