Change code style for the XDK examples

thegridman · Jun 2, 2023 · 988cec1 · 988cec1
1 parent dd638f7
commit 988cec1
Show file tree

Hide file tree

Showing 4 changed files with 19 additions and 30 deletions.
diff --git a/xdk/src/main/resources/xdk/examples/FizzBuzz.x b/xdk/src/main/resources/xdk/examples/FizzBuzz.x
@@ -12,20 +12,16 @@
  *
  *     xec FizzBuzz
  */
-module FizzBuzz
-    {
-    void run()
-        {
+module FizzBuzz {
+    void run() {
         @Inject Console console;
-        for (Int x : 1..100)
-            {
-            console.print(switch (x % 3, x % 5)
-                {
+        for (Int x : 1..100) {
+            console.print(switch (x % 3, x % 5) {
                 case (0, 0): "FizzBuzz";
                 case (0, _): "Fizz";
                 case (_, 0): "Buzz";
                 case (_, _): x.toString();
-                });
-            }
+            });
         }
     }
+}
diff --git a/xdk/src/main/resources/xdk/examples/HelloClient.x b/xdk/src/main/resources/xdk/examples/HelloClient.x
@@ -11,20 +11,18 @@
  *
  *     xec HelloClient
  */
-module HelloClient
-    {
+module HelloClient {
     package web import web.xtclang.org;
 
     @Inject Console console;
 
-    void run(String[] args=["http://localhost:8080"])
-        {
+    void run(String[] args=["http://localhost:8080"]) {
         @Inject web.Client client;
 
         String uri = args[0];
         console.print($"Accessing: {uri.quoted()}");
 
         assert String result := client.get(uri).to(String) as $"Request to {uri.quoted()} failed";
         console.print($"The server returned: {result}");
-        }
-    }
+    }
+}
diff --git a/xdk/src/main/resources/xdk/examples/HelloServer.x b/xdk/src/main/resources/xdk/examples/HelloServer.x
@@ -15,16 +15,14 @@
  *     http://localhost:8080/
  */
 @WebApp
-module HelloServer
-    {
+module HelloServer {
     package crypto import crypto.xtclang.org;
     package web    import web.xtclang.org;
     package xenia  import xenia.xtclang.org;
 
     import web.*;
 
-    void run()
-        {
+    void run() {
         import crypto.KeyStore;
         @Inject(opts=new KeyStore.Info(#./https.p12, "password")) KeyStore keystore;
         xenia.createServer(this, "localhost", keystore, httpPort=8080, httpsPort=8090);
@@ -40,12 +38,11 @@ module HelloServer
                        |
                        |Use Ctrl-C to stop.
                      );
-        }
+    }
 
     @WebService("/")
-    service SiteRoot
-        {
+    service SiteRoot {
         @Get
         String sayHello() = "Hello, World!";
-        }
-    }
+    }
+}
diff --git a/xdk/src/main/resources/xdk/examples/HelloWorld.x b/xdk/src/main/resources/xdk/examples/HelloWorld.x
@@ -11,11 +11,9 @@
  *
  *     xec HelloWorld
  */
-module HelloWorld
-    {
-    void run()
-        {
+module HelloWorld {
+    void run() {
         @Inject Console console;
         console.print("Hello, World!");
-        }
     }
+}