JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 94 Pull Requests Actions Packages Projects Releases Wiki Activity

random with seed

Browse Source
This commit is contained in:
Florian Steurer 2016-04-03 17:36:44 +02:00
parent 0d5b515a47
commit 6c2d71d005
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
View File

@ -11,6 +11,7 @@ public final class PlaceholderType extends UnifyType{
protected static final HashSet<String> EXISTING_PLACEHOLDERS = new HashSet<String>();
protected static String nextName = "gen_";
protected static Random rnd = new Random(43558747548978L);
public PlaceholderType(String name) {
super(name);
@ -30,7 +31,7 @@ public final class PlaceholderType extends UnifyType{
* Returns random char between 'a' and 'z'
*/
private static char randomChar() {
return (char) (new Random().nextInt(22) + 97);
return (char) (rnd.nextInt(22) + 97);
}
@Override