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:
#102

Corresponding swagger model update:
eclipse-tracecompass-incubator/org.eclipse.tracecompass.incubator#192

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

Author: bhufmann

API-proposed.yaml

@@ -2635,10 +2635,9 @@ components:
       oneOf:
       - type: string
       - type: number
-        format: float
+        format: double
       - type: integer
         format: int32
-      - type: boolean
     AnnotationsParameters:
       required:
       - requested_timerange

API.yaml

@@ -2114,10 +2114,9 @@ components:
       oneOf:
       - type: string
       - type: number
-        format: float
+        format: double
       - type: integer
         format: int32
-      - type: boolean
     AnnotationsParameters:
       required:
       - requested_timerange