From ecc1dc0d62368fa4fd703491268b5d3f5b178f7e Mon Sep 17 00:00:00 2001
From: Sam Pottinger <sam.pottinger@berkeley.edu>
Date: Thu, 11 May 2023 13:38:15 -0700
Subject: [PATCH] Added asserts for PdeAdapter.

---
 java/src/processing/mode/java/lsp/PdeAdapter.java | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/java/src/processing/mode/java/lsp/PdeAdapter.java b/java/src/processing/mode/java/lsp/PdeAdapter.java
index 9e8942e27..83d2b3096 100644
--- a/java/src/processing/mode/java/lsp/PdeAdapter.java
+++ b/java/src/processing/mode/java/lsp/PdeAdapter.java
@@ -228,18 +228,25 @@ class PdeAdapter {
       Map<URI, List<Diagnostic>> dias = problems.stream()
       .map(prob -> {
         SketchCode code = sketch.getCode(prob.getTabIndex());
+
+        Optional<Integer> startOffset = prob.getTabStartOffset();
+        Optional<Integer> endOffset = prob.getTabStopOffset();
+
+        assert startOffset.isPresent();
+        assert endOffset.isPresent();
+
         Diagnostic dia = new Diagnostic(
           new Range(
             new Position(
               prob.getLineNumber(),
               PdeAdapter
-                .toLineCol(code.getProgram(), prob.getTabStartOffset().get())
+                .toLineCol(code.getProgram(), startOffset.get())
                 .col - 1
             ),
             new Position(
               prob.getLineNumber(),
               PdeAdapter
-                .toLineCol(code.getProgram(), prob.getTabStopOffset().get())
+                .toLineCol(code.getProgram(), endOffset.get())
                 .col - 1
             )
           ),