X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.runtime%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fruntime%2Fprocedure%2FRandomEffect.java;h=dad14d43207f77fc1c35ae2e6e0c75a533c18314;hb=79b952a1ea3ae3f299c6d7aa612a98b7ae5db51a;hp=7b55a22b1e6fd74ce89dd9bade4895b7b08b5730;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/procedure/RandomEffect.java b/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/procedure/RandomEffect.java
old mode 100755
new mode 100644
index 7b55a22b1..dad14d432
--- a/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/procedure/RandomEffect.java
+++ b/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/procedure/RandomEffect.java
@@ -1,31 +1,31 @@
-package org.simantics.scl.runtime.procedure;
-
-import java.util.Random;
-
-import org.simantics.scl.runtime.SCLContext;
-import org.simantics.scl.runtime.function.Function;
-import org.simantics.scl.runtime.tuple.Tuple0;
-
-public class RandomEffect {
-    public static final String RANDOM = "random";
-    
-    public static Object withSeed(long seed, Function fun) {
-        SCLContext context = SCLContext.getCurrent();
-        Random oldRandom = (Random)context.put(RANDOM, new Random(seed));
-        try {
-            return fun.apply(Tuple0.INSTANCE);
-        } finally {
-            context.put(RANDOM, oldRandom);
-        }
-    }
-    
-    public static Object runRandom(Function fun) {
-        SCLContext context = SCLContext.getCurrent();
-        Random oldRandom = (Random)context.put(RANDOM, new Random());
-        try {
-            return fun.apply(Tuple0.INSTANCE);
-        } finally {
-            context.put(RANDOM, oldRandom);
-        }
-    }
-}
+package org.simantics.scl.runtime.procedure;
+
+import java.util.Random;
+
+import org.simantics.scl.runtime.SCLContext;
+import org.simantics.scl.runtime.function.Function;
+import org.simantics.scl.runtime.tuple.Tuple0;
+
+public class RandomEffect {
+    public static final String RANDOM = "random";
+    
+    public static Object withSeed(long seed, Function fun) {
+        SCLContext context = SCLContext.getCurrent();
+        Random oldRandom = (Random)context.put(RANDOM, new Random(seed));
+        try {
+            return fun.apply(Tuple0.INSTANCE);
+        } finally {
+            context.put(RANDOM, oldRandom);
+        }
+    }
+    
+    public static Object runRandom(Function fun) {
+        SCLContext context = SCLContext.getCurrent();
+        Random oldRandom = (Random)context.put(RANDOM, new Random());
+        try {
+            return fun.apply(Tuple0.INSTANCE);
+        } finally {
+            context.put(RANDOM, oldRandom);
+        }
+    }
+}