Skip to content

Commit

Permalink
Defend for nulls in PO_LENS processing
Browse files Browse the repository at this point in the history
  • Loading branch information
nickbattle committed Nov 24, 2024
1 parent df9e22f commit 79e24a0
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions lsp/src/main/java/vdmj/commands/PrintCommand.java
Original file line number Diff line number Diff line change
Expand Up @@ -79,11 +79,15 @@ public String initRun(DAPRequest request)

if (params != null)
{
if (params.get("type").equals("PO_LENS"))
if ("PO_LENS".equals(params.get("type")))
{
Diag.info("Processing PO code lens...");
POPlugin po = PluginRegistry.getInstance().getPlugin("PO");
env = new MultiModuleEnvironment(po.getPO());

if (po != null)
{
env = new MultiModuleEnvironment(po.getPO());
}
}
}

Expand Down

0 comments on commit 79e24a0

Please sign in to comment.