From d7b9975b609851d69127b824159d17723363b663 Mon Sep 17 00:00:00 2001
From: "yulong.guo" <yulong.guo@nio.com>
Date: Wed, 15 May 2024 11:17:30 +0800
Subject: [PATCH] Updates keep the code style consistent

---
 .../berkeley/cs/jqf/examples/js/JavaScriptCodeGenerator.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/examples/src/main/java/edu/berkeley/cs/jqf/examples/js/JavaScriptCodeGenerator.java b/examples/src/main/java/edu/berkeley/cs/jqf/examples/js/JavaScriptCodeGenerator.java
index a859927da..835ac25ee 100644
--- a/examples/src/main/java/edu/berkeley/cs/jqf/examples/js/JavaScriptCodeGenerator.java
+++ b/examples/src/main/java/edu/berkeley/cs/jqf/examples/js/JavaScriptCodeGenerator.java
@@ -340,12 +340,11 @@ private String generateWhileNode(SourceOfRandomness random) {
 
     private String generateAssignmentNode(SourceOfRandomness random) {
         String token = random.choose(ASSIGNMENT_TOKENS);
-        List<Function<SourceOfRandomness, String>> lhsGenerators = Arrays.asList(
+        String lhs = random.choose(Arrays.<Function<SourceOfRandomness, String>>asList(
                 this::generateIdentNode,
                 this::generateIndexNode,
                 this::generatePropertyNode
-        );
-        String lhs = random.choose(lhsGenerators).apply(random);
+        )).apply(random);
         String rhs = generateExpression(random);
         return lhs + " " + token + " " + rhs + ";";
     }