From f935c5f26f8e16ab401b92662c8017fad92b1e76 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Thu, 28 Sep 2023 12:10:36 +0100 Subject: Use orElseThrow() instead of get() --- src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'src/main/java') diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index 1d1e73a9..a5996ef7 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -44,13 +44,10 @@ public class TypeChecker { } private static Type compileTimeLookup(String name, Source source, TypeCheckerContext context) { - var variable = context.compileTimeLookup(name); + var variable = context.compileTimeLookup(name) + .orElseThrow(() -> new UnknownVariableError(name, source)); - if (variable.isEmpty()) { - throw new UnknownVariableError(name, source); - } - - return variable.get().type() + return variable.type() .orElseThrow(() -> new ReferenceBeforeDefinitionError(name, source)); } -- cgit v1.2.3