Test names with dots (plus minor fixes)

boskworks · Sep 7, 2024 · cf343a4 · cf343a4
1 parent c51d07d
commit cf343a4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/bosk-core/src/main/java/works/bosk/Bosk.java b/bosk-core/src/main/java/works/bosk/Bosk.java
@@ -106,6 +106,7 @@ public class Bosk<R extends StateTreeNode> implements BoskInfo<R> {
 	 *
 	 * @see DriverStack
 	 */
+	@SuppressWarnings("this-escape")
 	public Bosk(String name, Type rootType, DefaultRootFunction<R> defaultRootFunction, DriverFactory<R> driverFactory) {
 		this.name = name;
 		this.localDriver = new LocalDriver(defaultRootFunction);
@@ -136,7 +137,7 @@ public Bosk(String name, Type rootType, DefaultRootFunction<R> defaultRootFuncti
 		rawClass(rootType).cast(this.currentRoot);
 
 		// Ok, we're done initializing
-		boskInfo.boskRef().set(this);
+		boskInfo.boskRef().set(this); // @SuppressWarnings("this-escape")
 	}
 
 	public interface DefaultRootFunction<RR extends StateTreeNode> {

diff --git a/bosk-testing/src/main/java/works/bosk/drivers/DriverConformanceTest.java b/bosk-testing/src/main/java/works/bosk/drivers/DriverConformanceTest.java
@@ -389,7 +389,7 @@ void mapValue_works() throws InvalidTypeException {
 		MapValue<String> originalMapValue = MapValue.fromFunction(asList("key.with.dots.1", "key.with.dots.2"), k -> k + "_originalValue");
 		driver.submitReplacement(mapRef, originalMapValue);
 		assertCorrectBoskContents();
-		MapValue<String> newMapValue = originalMapValue.with("key.with.dots.1", "newValue");
+		MapValue<String> newMapValue = originalMapValue.with("key.with.dots.1", "_newValue");
 		driver.submitReplacement(mapRef, newMapValue);
 		assertCorrectBoskContents();
 
@@ -527,6 +527,7 @@ static Stream<Identifier> childID() {
 			"id.with.dots",
 			"id/with/slashes",
 			"$id$with$dollars$",
+			"id:with:colons:",
 			AWKWARD_ID,
 			"idWithEmojis\uD83C\uDF33\uD83E\uDDCA"
 		).map(Identifier::from);
@@ -535,7 +536,7 @@ static Stream<Identifier> childID() {
 	/**
 	 * Contains all kinds of special characters
 	 */
-	public static final String AWKWARD_ID = "$id.with%everything/ +\uD83D\uDE09";
+	public static final String AWKWARD_ID = "$id.with%everything:/ +\uD83D\uDE09";
 
 	@SuppressWarnings("unused")
 	static Stream<String> testEntityField() {