make the type constructor thread-safe

pouryafard75 · pouryafard75 · commit 17e0e6bce455 · 2024-02-08T11:05:23.000-05:00
diff --git a/core/src/main/java/com/github/gumtreediff/tree/TypeSet.java b/core/src/main/java/com/github/gumtreediff/tree/TypeSet.java
@@ -35,7 +35,7 @@ private TypeSet() {}
      * Build a type with the provided name. If the provided name is null or
      * the empty string, the empty type will be returned.
      */
-    public static Type type(String value) {
+    public static synchronized Type type(String value) {
         return implementation.makeOrGetType(value);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ private TypeSet() {}`
`35`	`35`	`* Build a type with the provided name. If the provided name is null or`
`36`	`36`	`* the empty string, the empty type will be returned.`
`37`	`37`	`*/`
`38`		`- public static Type type(String value) {`
	`38`	`+ public static synchronized Type type(String value) {`
`39`	`39`	`return implementation.makeOrGetType(value);`
`40`	`40`	`}`
`41`	`41`