Handle "is" like "get" in SampleReportingFormat.reportJavaBean()

jqwik-team · Aug 26, 2020 · a8a1156 · a8a1156
1 parent 70838a6
commit a8a1156
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 3 deletions.
diff --git a/TODO.md b/TODO.md
@@ -11,10 +11,13 @@
     - Add abstract method DomainContextBase.registrations()
 
     - Arbitraries.forType(Class<T> targetType)
+        - useBeanProperties()
+            - with optional spec: Map<String, Arbitrary> to map
+              a property to a certain arbitrary
+        - Preconfigure certain params (by type, by name)
         - Recursive use
             - forType(Class<T> targetType, int depth)
             - @UseType(depth = 1)
-        - Preconfigure certain params (by type, by name)
 
     - `@Repeat(42)`: Repeat a property 42 times
 

diff --git a/engine/src/main/java/net/jqwik/engine/facades/SampleReportingFormatFacadeImpl.java b/engine/src/main/java/net/jqwik/engine/facades/SampleReportingFormatFacadeImpl.java
@@ -40,7 +40,9 @@ private String extractPropertyName(Method method) {
 		String methodName = method.getName();
 		String name = methodName.startsWith("get")
 						  ? methodName.substring(3)
-						  : methodName;
+						  : methodName.startsWith("is")
+								? methodName.substring(2)
+								: methodName;
 		name = Character.toLowerCase(name.charAt(0)) + name.substring(1);
 		return name;
 	}

diff --git a/engine/src/test/java/net/jqwik/engine/execution/reporting/SampleReportingTests.java b/engine/src/test/java/net/jqwik/engine/execution/reporting/SampleReportingTests.java
@@ -346,8 +346,8 @@ public Object report(Object value) {
 				assertThat(lineReporter.lines).containsSequence(
 					"    {",
 					"      age=17,",
-					"      isYoung=true,",
 					"      name=\"name\",",
+					"      young=true,",
 					"      yourObjects=[{hallo=\"hello\"}]",
 					"    },"
 				);