[ | |
{ | |
"namespace": "objectsMovableJson", | |
"description": "Movable objects in a json file", | |
"compiler_options": {"use_movable_types": true}, | |
"types": [{ | |
"id": "movableWithAdditional", | |
"type": "object", | |
"properties": { | |
"str": {"type": "string"} | |
}, | |
"additionalProperties": { | |
"type": "array", | |
"items": {"type": "string"} | |
} | |
}] | |
} | |
] |