From 23f14f5a8ab8f5264c9e09830a381ec4d478f3a6 Mon Sep 17 00:00:00 2001
From: Norbert Csaba Herczeg <noherczeg@gmail.com>
Date: Fri, 12 Jul 2024 00:14:31 +0200
Subject: [PATCH] adjust spacing

---
 .../operations/jsl/data/modifiable.eol        | 22 +++++++++----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/judo-tatami-jsl-jsl2ui/src/main/epsilon/operations/jsl/data/modifiable.eol b/judo-tatami-jsl-jsl2ui/src/main/epsilon/operations/jsl/data/modifiable.eol
index e6149ca3..c3dfa569 100644
--- a/judo-tatami-jsl-jsl2ui/src/main/epsilon/operations/jsl/data/modifiable.eol
+++ b/judo-tatami-jsl-jsl2ui/src/main/epsilon/operations/jsl/data/modifiable.eol
@@ -15,55 +15,55 @@ operation JSL!Modifiable getIconModifier(): JSL!Modifier {
 
 @cached
 operation JSL!Modifiable getPrecision(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "precision"));
+	return (self.modifiers.selectOne(m | m.type == "precision"));
 }
 
 @cached
 operation JSL!Modifiable getScale(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "scale"));
+	return (self.modifiers.selectOne(m | m.type == "scale"));
 }
 
 @cached
 operation JSL!Modifiable getRegex(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "regex"));
+	return (self.modifiers.selectOne(m | m.type == "regex"));
 }
 
 @cached
 operation JSL!Modifiable getRequired(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "required"));
+	return (self.modifiers.selectOne(m | m.type == "required"));
 }
 
 @cached
 operation JSL!Modifiable getMaxSize(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "max-size"));
+	return (self.modifiers.selectOne(m | m.type == "max-size"));
 }
 
 @cached
 operation JSL!Modifiable getMaxFileSize(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "max-file-size"));
+	return (self.modifiers.selectOne(m | m.type == "max-file-size"));
 }
 
 @cached
 operation JSL!Modifiable getMinSize(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "min-size"));
+	return (self.modifiers.selectOne(m | m.type == "min-size"));
 }
 
 @cached
 operation JSL!Modifiable getMimeType(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "mime-type"));
+	return (self.modifiers.selectOne(m | m.type == "mime-type"));
 }
 
 @cached
 operation JSL!Modifiable getOpposite(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "opposite" or m.type == "opposite-add"));
+	return (self.modifiers.selectOne(m | m.type == "opposite" or m.type == "opposite-add"));
 }
 
 @cached
 operation JSL!Modifiable getDefault(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "default"));
+	return (self.modifiers.selectOne(m | m.type == "default"));
 }
 
 @cached
 operation JSL!Modifiable getChoices(): JSL!Modifier {
-	return (self.modifiers.selectOne(m|m.type == "choices"));
+	return (self.modifiers.selectOne(m | m.type == "choices"));
 }