Added asserts for PdeAdapter.

This commit is contained in:
Sam Pottinger
2023-05-11 13:38:15 -07:00
parent 3ba415c7f3
commit ecc1dc0d62

View File

@@ -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
)
),