swagger: Allow double and remove boolean in OutputElementStyle

Previously only float values were allowed. Don't restrict to float and
allow Double as well. Note when deserializing JSON strings a floating
point value will be deserialized to Double, e.g. when using Jackson
deserializer (Java) or in Javascript.

Remove boolean because it can be expressed as String and boolean have
no equivalent type in CSS where the StyleProperties are inspired of.

Contributes to:
eclipse-cdt-cloud/trace-server-protocol#102

Signed-off-by: Bernd Hufmann <[email protected]>

Author: bhufmann

trace-server/org.eclipse.tracecompass.incubator.trace.server.jersey.rest.core/src/org/eclipse/tracecompass/incubator/internal/trace/server/jersey/rest/core/model/OutputElementStyle.java

@@ -45,7 +45,7 @@ public interface OutputElementStyle {
     /**
      * Type for style values (String, Float, Integer or Boolean)
      */
-    @Schema(description = "Supported types of a style value.", oneOf = { String.class, Float.class, Integer.class, Boolean.class })
+    @Schema(description = "Supported types of a style value.", oneOf = { String.class, Double.class, Integer.class })
     interface StyleValue {
         // empty
     }