aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorKenji Hosokawa <khosokawa@jp.adit-jv.com>2020-09-29 10:16:00 +0900
committerKenji Hosokawa <khosokawa@jp.adit-jv.com>2020-09-29 10:16:00 +0900
commitc0ecf677d8ac6ad5cd12e97a294e075f3f8cb249 (patch)
treec0fa8468228d0bda9b735434c6d9d528cdea4e30 /doc
parent2b4ae7fde370bc3316ab30cc38b74d23e785b360 (diff)
model: add sample model
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com> Change-Id: I19ada74d5a1bf31246e40ee1e6b1914d2e72dcd2
Diffstat (limited to 'doc')
-rw-r--r--doc/sample_json_model/RBAModel.json1159
1 files changed, 1159 insertions, 0 deletions
diff --git a/doc/sample_json_model/RBAModel.json b/doc/sample_json_model/RBAModel.json
new file mode 100644
index 0000000..12e884e
--- /dev/null
+++ b/doc/sample_json_model/RBAModel.json
@@ -0,0 +1,1159 @@
+{
+ "root":{
+ "model":"",
+ "template":"02.00.00",
+ "areas":[
+ {
+ "name":"SpeedMeterArea",
+ "visibility":-1,
+ "arbitrationPolicy":"LAST_COME_FIRST",
+ "zorder":0,
+ "size":[
+ {
+ "name":"SpeedMeterSize",
+ "width":300,
+ "height":200
+ }
+ ]
+ },
+ {
+ "name":"TachometerArea",
+ "visibility":-1,
+ "arbitrationPolicy":"LAST_COME_FIRST",
+ "zorder":0,
+ "size":[
+ {
+ "name":"TachometerSize",
+ "width":200,
+ "height":100
+ }
+ ]
+ },
+ {
+ "name":"IntMessageArea",
+ "visibility":1,
+ "arbitrationPolicy":"PRIORITY_LAST_COME_FIRST",
+ "zorder":2,
+ "size":[
+ {
+ "name":"IntMessageSize",
+ "width":400,
+ "height":100
+ }
+ ]
+ },
+ {
+ "name":"OutsideTemperatureArea",
+ "visibility":0,
+ "arbitrationPolicy":"PRIORITY_LAST_COME_FIRST",
+ "zorder":1,
+ "size":[
+ {
+ "name":"OutsideTemperatureSize",
+ "width":100,
+ "height":100
+ }
+ ]
+ },
+ {
+ "name":"AudioArea",
+ "visibility":-1,
+ "arbitrationPolicy":"LAST_COME_FIRST",
+ "zorder":0,
+ "size":[
+ {
+ "name":"AudioSize",
+ "width":300,
+ "height":100
+ }
+ ]
+ },
+ {
+ "name":"HUD_OutsideTemperatureArea",
+ "visibility":-1,
+ "arbitrationPolicy":"LAST_COME_FIRST",
+ "zorder":0,
+ "size":[
+ {
+ "name":"HUD_OutsideTemperatureSize",
+ "width":100,
+ "height":50
+ }
+ ]
+ },
+ {
+ "name":"HUD_SpeedMeterArea",
+ "visibility":0,
+ "arbitrationPolicy":"PRIORITY_LAST_COME_FIRST",
+ "zorder":1,
+ "size":[
+ {
+ "name":"HUD_SpeedMeterSize",
+ "width":150,
+ "height":50
+ }
+ ]
+ },
+ {
+ "name":"HUD_TachometerArea",
+ "visibility":-1,
+ "arbitrationPolicy":"PRIORITY_LAST_COME_FIRST",
+ "zorder":0,
+ "size":[
+ {
+ "name":"HUD_TachometerSize",
+ "width":100,
+ "height":50
+ }
+ ]
+ },
+ {
+ "name":"HUD_IntMessageArea",
+ "visibility":1,
+ "arbitrationPolicy":"PRIORITY_LAST_COME_FIRST",
+ "zorder":2,
+ "size":[
+ {
+ "name":"HUD_IntMessageSize",
+ "width":400,
+ "height":50
+ }
+ ]
+ }
+ ],
+ "zones":[
+ {
+ "name":"IntSoundZone",
+ "arbitrationPolicy":"DEFAULT",
+ "priority":10
+ },
+ {
+ "name":"BaseSoundZone",
+ "arbitrationPolicy":"DEFAULT",
+ "priority":10
+ }
+ ],
+ "viewcontents":[
+ {
+ "name":"SpeedMeter",
+ "loserType":"NEVER_GIVEUP",
+ "size":[
+ {
+ "name":"SpeedMeterSize",
+ "width":300,
+ "height":200
+ },
+ {
+ "name":"HUD_SpeedMeterSize",
+ "width":150,
+ "height":50
+ }
+ ],
+ "states":[
+ {
+ "name":"NORMAL",
+ "priority":10
+ }
+ ],
+ "allocatable":[
+ "SpeedMeterArea:Area",
+ "HUD_SpeedMeterArea:Area"
+ ]
+ },
+ {
+ "name":"Tachometer",
+ "loserType":"NEVER_GIVEUP",
+ "size":[
+ {
+ "name":"TachometerSize",
+ "width":200,
+ "height":100
+ },
+ {
+ "name":"HUD_TachometerSize",
+ "width":100,
+ "height":50
+ }
+ ],
+ "states":[
+ {
+ "name":"NORMAL",
+ "priority":10
+ }
+ ],
+ "allocatable":[
+ "TachometerArea:Area",
+ "HUD_TachometerArea:Area"
+ ]
+ },
+ {
+ "name":"OutsideTemperature",
+ "loserType":"NEVER_GIVEUP",
+ "size":[
+ {
+ "name":"OutsideTemperatureSize",
+ "width":100,
+ "height":100
+ },
+ {
+ "name":"HUD_OutsideTemperatureSize",
+ "width":100,
+ "height":50
+ }
+ ],
+ "states":[
+ {
+ "name":"NORMAL",
+ "priority":10
+ }
+ ],
+ "allocatable":[
+ "OutsideTemperatureArea:Area",
+ "HUD_OutsideTemperatureArea:Area"
+ ]
+ },
+ {
+ "name":"RoadFreezing",
+ "loserType":"NEVER_GIVEUP",
+ "size":[
+ {
+ "name":"OutsideTemperatureSize",
+ "width":100,
+ "height":100
+ }
+ ],
+ "states":[
+ {
+ "name":"Caution",
+ "priority":10
+ }
+ ],
+ "allocatable":[
+ "OutsideTemperatureArea:Area"
+ ]
+ },
+ {
+ "name":"PCS",
+ "loserType":"NEVER_GIVEUP",
+ "size":[
+ {
+ "name":"IntMessageSize",
+ "width":400,
+ "height":100
+ }
+ ],
+ "states":[
+ {
+ "name":"BrakeWarning",
+ "priority":13
+ },
+ {
+ "name":"BrakeCaution",
+ "priority":12
+ }
+ ],
+ "allocatable":[
+ "IntMessageArea:Area",
+ "HUD_IntMessageArea:Area"
+ ]
+ },
+ {
+ "name":"TEL",
+ "loserType":"NEVER_GIVEUP",
+ "size":[
+ {
+ "name":"IntMessageSize",
+ "width":400,
+ "height":100
+ }
+ ],
+ "states":[
+ {
+ "name":"IncomingCall",
+ "priority":11
+ }
+ ],
+ "allocatable":[
+ "IntMessageArea:Area",
+ "HUD_IntMessageArea:Area"
+ ]
+ },
+ {
+ "name":"InfraCoordination",
+ "loserType":"GOOD_LOSER",
+ "size":[
+ {
+ "name":"IntMessageSize",
+ "width":400,
+ "height":100
+ }
+ ],
+ "states":[
+ {
+ "name":"EncounterCaution",
+ "priority":10
+ }
+ ],
+ "allocatable":[
+ "IntMessageArea:Area",
+ "HUD_IntMessageArea:Area"
+ ]
+ },
+ {
+ "name":"WeatherForecast",
+ "loserType":"DO_NOT_GIVEUP_UNTIL_WIN",
+ "size":[
+ {
+ "name":"IntMessageSize",
+ "width":400,
+ "height":100
+ }
+ ],
+ "states":[
+ {
+ "name":"Vicinity",
+ "priority":10
+ }
+ ],
+ "allocatable":[
+ "IntMessageArea:Area",
+ "HUD_IntMessageArea:Area"
+ ]
+ },
+ {
+ "name":"Audio",
+ "loserType":"NEVER_GIVEUP",
+ "size":[
+ {
+ "name":"AudioSize",
+ "width":300,
+ "height":100
+ }
+ ],
+ "states":[
+ {
+ "name":"NORMAL",
+ "priority":10
+ }
+ ],
+ "allocatable":[
+ "AudioArea:Area"
+ ]
+ }
+ ],
+ "soundcontents":[
+ {
+ "name":"GuideVoice",
+ "loserType":"NEVER_GIVEUP",
+ "states":[
+ {
+ "name":"NORMAL",
+ "priority":11
+ }
+ ],
+ "allocatable":[
+ "IntSoundZone:Zone"
+ ]
+ },
+ {
+ "name":"Music",
+ "loserType":"NEVER_GIVEUP",
+ "states":[
+ {
+ "name":"NORMAL",
+ "priority":10
+ }
+ ],
+ "allocatable":[
+ "BaseSoundZone:Zone"
+ ]
+ },
+ {
+ "name":"Ringtone",
+ "loserType":"NEVER_GIVEUP",
+ "states":[
+ {
+ "name":"NORMAL",
+ "priority":12
+ }
+ ],
+ "allocatable":[
+ "IntSoundZone:Zone"
+ ]
+ },
+ {
+ "name":"AlertSound",
+ "loserType":"NEVER_GIVEUP",
+ "states":[
+ {
+ "name":"NORMAL",
+ "priority":9999
+ }
+ ],
+ "allocatable":[
+ "IntSoundZone:Zone"
+ ]
+ }
+ ],
+ "displays":[
+ {
+ "name":"Sample_METER",
+ "size":{
+ "name":"Sample_METER_FULLSCREEN",
+ "width":500,
+ "height":400
+ },
+ "PositionContainer":[
+ {
+ "x":100,
+ "y":100,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"SpeedMeterArea"
+ },
+ {
+ "x":300,
+ "y":0,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"TachometerArea"
+ },
+ {
+ "x":50,
+ "y":250,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"IntMessageArea"
+ },
+ {
+ "x":50,
+ "y":50,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"OutsideTemperatureArea"
+ },
+ {
+ "x":100,
+ "y":300,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"AudioArea"
+ }
+ ]
+ },
+ {
+ "name":"Sample_HUD",
+ "size":{
+ "name":"Sample_HUD_FULLSCREEN",
+ "width":500,
+ "height":150
+ },
+ "PositionContainer":[
+ {
+ "x":50,
+ "y":50,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"HUD_SpeedMeterArea"
+ },
+ {
+ "x":225,
+ "y":50,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"HUD_TachometerArea"
+ },
+ {
+ "x":350,
+ "y":50,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"HUD_OutsideTemperatureArea"
+ },
+ {
+ "x":50,
+ "y":75,
+ "basePoint":"LEFT_TOP",
+ "areaReference":"HUD_IntMessageArea"
+ }
+ ]
+ }
+ ],
+ "areasets":[
+ {
+ "name":"OtherArea",
+ "target":[
+ "OutsideTemperatureArea",
+ "SpeedMeterArea",
+ "TachometerArea"
+ ]
+ },
+ {
+ "name":"AllHUDArea",
+ "target":[
+ "HUD_SpeedMeterArea",
+ "HUD_OutsideTemperatureArea",
+ "HUD_TachometerArea",
+ "HUD_IntMessageArea"
+ ]
+ },
+ {
+ "name":"SpeedMeterAreaGroup",
+ "target":[
+ "SpeedMeterArea",
+ "HUD_SpeedMeterArea"
+ ]
+ },
+ {
+ "name":"TachometerAreaGroup",
+ "target":[
+ "TachometerArea",
+ "HUD_TachometerArea"
+ ]
+ },
+ {
+ "name":"OutsideTemperatureAreaGroup",
+ "target":[
+ "OutsideTemperatureArea",
+ "HUD_OutsideTemperatureArea"
+ ]
+ },
+ {
+ "name":"InterruptMessageAreaGroup",
+ "target":[
+ "IntMessageArea",
+ "HUD_IntMessageArea"
+ ]
+ }
+ ],
+ "viewcontentsets":[
+ {
+ "name":"InterruptContentGroup",
+ "target":[
+ "PCS",
+ "TEL",
+ "InfraCoordination",
+ "WeatherForecast"
+ ]
+ }
+ ],
+ "soundcontentsets":[
+ {
+ "name":"IntSoundContentsGroup",
+ "target":[
+ "GuideVoice",
+ "Ringtone",
+ "AlertSound"
+ ]
+ }
+ ],
+ "scenes":[
+ {
+ "name":"AutoDriveScene",
+ "global":"false"
+ },
+ {
+ "name":"HUDoffScene",
+ "global":"false"
+ }
+ ],
+ "constraints":[
+ {
+ "class":"Constraint",
+ "name":"Hidden_area_for_PCS_interrupts",
+ "runtime":"true",
+ "expression":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsVisible",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"PCS"
+ }]
+ },
+ {
+ "class":"ForAllOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"SET_OF_AREA",
+ "refObject":"OtherArea"
+ }],
+ "lambda":
+ {
+ "class":"LambdaExpression",
+ "type":"LAMBDA",
+ "x":
+ {
+ "class":"Variable",
+ "name":"x"
+ },
+ "bodyText":
+ {
+ "class":"IsHidden",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"AREA",
+ "refObject":"x"
+ }]
+ }
+ }
+ }]
+ }
+ },
+ {
+ "class":"Constraint",
+ "name":"Duplicate_display_of_outside_temperatures",
+ "runtime":"true",
+ "expression":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsDisplayed",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"AREA",
+ "refObject":"OutsideTemperatureArea"
+ }]
+ },
+ {
+ "class":"IsHidden",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"AREA",
+ "refObject":"HUD_OutsideTemperatureArea"
+ }]
+ }]
+ }
+ },
+ {
+ "class":"Constraint",
+ "name":"Hidden_HUD_when_HUD_is_power_off",
+ "runtime":"true",
+ "expression":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsOn",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"SCENE",
+ "refObject":"HUDoffScene"
+ }]
+ },
+ {
+ "class":"ForAllOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"SET_OF_AREA",
+ "refObject":"AllHUDArea"
+ }],
+ "lambda":
+ {
+ "class":"LambdaExpression",
+ "type":"LAMBDA",
+ "x":
+ {
+ "class":"Variable",
+ "name":"x"
+ },
+ "bodyText":
+ {
+ "class":"IsHidden",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"AREA",
+ "refObject":"x"
+ }]
+ }
+ }
+ }]
+ }
+ },
+ {
+ "class":"Constraint",
+ "name":"PCS_is_not_displayed_while_TEL_is_displayed",
+ "runtime":"true",
+ "expression":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsVisible",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"PreviousModifier",
+ "type":"CONTENT",
+ "objReference":
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"TEL"
+ }
+ }]
+ },
+ {
+ "class":"NotOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsVisible",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"PCS"
+ }]
+ }]
+ }]
+ }
+ },
+ {
+ "class":"Constraint",
+ "name":"Navigation_voice_ringtone_priority_constraint",
+ "runtime":"true",
+ "expression":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"OrOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsSounding",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"SOUND",
+ "refObject":"GuideVoice"
+ }]
+ },
+ {
+ "class":"IsSounding",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"SOUND",
+ "refObject":"Ringtone"
+ }]
+ }]
+ },
+ {
+ "class":"IsAttenuated",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"ZONE",
+ "refObject":"BaseSoundZone"
+ }]
+ }]
+ }
+ },
+ {
+ "class":"Constraint",
+ "name":"Warning_sound_top_priority_constraint",
+ "runtime":"true",
+ "expression":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsSounding",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"SOUND",
+ "refObject":"AlertSound"
+ }]
+ },
+ {
+ "class":"IsMuted",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"ZONE",
+ "refObject":"BaseSoundZone"
+ }]
+ }]
+ }
+ },
+ {
+ "class":"Constraint",
+ "name":"View_and_sound_synchronization_constraints",
+ "runtime":"true",
+ "expression":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsVisible",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"Audio"
+ }]
+ },
+ {
+ "class":"IsSounding",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"SOUND",
+ "refObject":"Music"
+ }]
+ }]
+ }
+ },
+ {
+ "class":"Constraint",
+ "name":"Offline_constraints_to_detect_unintended_behavior",
+ "runtime":"false",
+ "expression":
+ {
+ "class":"ForAllOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"AllInstanceOfViewContent",
+ "type":"SET_OF_CONTENT"
+ }],
+ "lambda":
+ {
+ "class":"LambdaExpression",
+ "type":"LAMBDA",
+ "x":
+ {
+ "class":"Variable",
+ "name":"x"
+ },
+ "bodyText":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"AndOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"NotOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsVisible",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"PreviousModifier",
+ "type":"CONTENT",
+ "objReference":
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"x"
+ }
+ }]
+ }]
+ },
+ {
+ "class":"IsVisible",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"x"
+ }]
+ }]
+ },
+ {
+ "class":"OrOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"NotOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsActive",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"PreviousModifier",
+ "type":"CONTENT",
+ "objReference":
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"x"
+ }
+ }]
+ }]
+ },
+ {
+ "class":"ExistsOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"GetAllocatables",
+ "type":"SET_OF_AREA",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"x"
+ }]
+ }],
+ "lambda":
+ {
+ "class":"LambdaExpression",
+ "type":"LAMBDA",
+ "x":
+ {
+ "class":"Variable",
+ "name":"a"
+ },
+ "bodyText":
+ {
+ "class":"AndOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectCompare",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"DisplayingContent",
+ "type":"CONTENT",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"AREA",
+ "refObject":"a"
+ }]
+ },
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"x"
+ }]
+ },
+ {
+ "class":"OrOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"AndOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsDisplayed",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"PreviousModifier",
+ "type":"AREA",
+ "objReference":
+ {
+ "class":"ObjectReference",
+ "type":"AREA",
+ "refObject":"a"
+ }
+ }]
+ },
+ {
+ "class":"NotOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsActive",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"DisplayingContent",
+ "type":"CONTENT",
+ "operand":[
+ {
+ "class":"PreviousModifier",
+ "type":"AREA",
+ "objReference":
+ {
+ "class":"ObjectReference",
+ "type":"AREA",
+ "refObject":"a"
+ }
+ }]
+ }]
+ }]
+ }]
+ },
+ {
+ "class":"IsHidden",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"PreviousModifier",
+ "type":"AREA",
+ "objReference":
+ {
+ "class":"ObjectReference",
+ "type":"AREA",
+ "refObject":"a"
+ }
+ }]
+ }]
+ }]
+ }
+ }
+ }]
+ }]
+ }
+ }
+ }
+ }
+ ],
+ "postconstraints":[
+ {
+ "class":"PostConstraint",
+ "name":"Post_processing_constraints_that_make_infrastructure_coordination_stand_by",
+ "expression":
+ {
+ "class":"ImpliesOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsDefeatedBy",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"InfraCoordination"
+ },
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"TEL"
+ }]
+ },
+ {
+ "class":"NotOperator",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"IsCanceled",
+ "type":"BOOLEAN",
+ "operand":[
+ {
+ "class":"ObjectReference",
+ "type":"CONTENT",
+ "refObject":"InfraCoordination"
+ }]
+ }]
+ }]
+ }
+ }
+ ],
+ "area_constraint_map":[
+ {"SpeedMeterArea":[]},
+ {"TachometerArea":[]},
+ {"IntMessageArea":["Hidden_area_for_PCS_interrupts","PCS_is_not_displayed_while_TEL_is_displayed"]},
+ {"OutsideTemperatureArea":["Duplicate_display_of_outside_temperatures"]},
+ {"AudioArea":["View_and_sound_synchronization_constraints"]},
+ {"HUD_OutsideTemperatureArea":[]},
+ {"HUD_SpeedMeterArea":[]},
+ {"HUD_TachometerArea":[]},
+ {"HUD_IntMessageArea":["Hidden_area_for_PCS_interrupts","PCS_is_not_displayed_while_TEL_is_displayed"]}
+ ],
+ "area_hidden_true_check_constraint_map":[
+ {"SpeedMeterArea":["Hidden_area_for_PCS_interrupts"]},
+ {"TachometerArea":["Hidden_area_for_PCS_interrupts"]},
+ {"IntMessageArea":["Hidden_area_for_PCS_interrupts","PCS_is_not_displayed_while_TEL_is_displayed"]},
+ {"OutsideTemperatureArea":["Hidden_area_for_PCS_interrupts"]},
+ {"AudioArea":[]},
+ {"HUD_OutsideTemperatureArea":["Hidden_HUD_when_HUD_is_power_off"]},
+ {"HUD_SpeedMeterArea":["Hidden_HUD_when_HUD_is_power_off"]},
+ {"HUD_TachometerArea":["Hidden_HUD_when_HUD_is_power_off"]},
+ {"HUD_IntMessageArea":["Hidden_area_for_PCS_interrupts","Hidden_HUD_when_HUD_is_power_off","PCS_is_not_displayed_while_TEL_is_displayed"]}
+ ],
+ "area_hidden_false_check_constraint_map":[
+ {"SpeedMeterArea":["Hidden_area_for_PCS_interrupts"]},
+ {"TachometerArea":["Hidden_area_for_PCS_interrupts"]},
+ {"IntMessageArea":[]},
+ {"OutsideTemperatureArea":["Hidden_area_for_PCS_interrupts"]},
+ {"AudioArea":[]},
+ {"HUD_OutsideTemperatureArea":["Duplicate_display_of_outside_temperatures","Hidden_HUD_when_HUD_is_power_off"]},
+ {"HUD_SpeedMeterArea":["Hidden_HUD_when_HUD_is_power_off"]},
+ {"HUD_TachometerArea":["Hidden_HUD_when_HUD_is_power_off"]},
+ {"HUD_IntMessageArea":["Hidden_HUD_when_HUD_is_power_off"]}
+ ],
+ "zone_constraint_map":[
+ {"IntSoundZone":["Navigation_voice_ringtone_priority_constraint","Warning_sound_top_priority_constraint"]},
+ {"BaseSoundZone":["View_and_sound_synchronization_constraints"]}
+ ],
+ "zone_mute_true_check_constraint_map":[
+ {"IntSoundZone":[]},
+ {"BaseSoundZone":["View_and_sound_synchronization_constraints"]}
+ ],
+ "zone_mute_false_check_constraint_map":[
+ {"IntSoundZone":[]},
+ {"BaseSoundZone":["Warning_sound_top_priority_constraint"]}
+ ],
+ "zone_attenuate_true_check_constraint_map":[
+ {"IntSoundZone":[]},
+ {"BaseSoundZone":[]}
+ ],
+ "zone_attenuate_false_check_constraint_map":[
+ {"IntSoundZone":[]},
+ {"BaseSoundZone":["Navigation_voice_ringtone_priority_constraint"]} ],
+ "content_allocatables_map":[
+ {"SpeedMeter":["HUD_SpeedMeterArea","SpeedMeterArea"]},
+ {"Tachometer":["HUD_TachometerArea","TachometerArea"]},
+ {"OutsideTemperature":["HUD_OutsideTemperatureArea","OutsideTemperatureArea"]},
+ {"RoadFreezing":["OutsideTemperatureArea"]},
+ {"PCS":["HUD_IntMessageArea","IntMessageArea"]},
+ {"TEL":["HUD_IntMessageArea","IntMessageArea"]},
+ {"InfraCoordination":["HUD_IntMessageArea","IntMessageArea"]},
+ {"WeatherForecast":["HUD_IntMessageArea","IntMessageArea"]},
+ {"Audio":["AudioArea"]},
+ {"GuideVoice":["IntSoundZone"]},
+ {"Music":["BaseSoundZone"]},
+ {"Ringtone":["IntSoundZone"]},
+ {"AlertSound":["IntSoundZone"]}
+ ],
+ "scene_allocatables_map":[
+ {"AutoDriveScene":[]},
+ {"HUDoffScene":["HUD_IntMessageArea","HUD_OutsideTemperatureArea","HUD_SpeedMeterArea","HUD_TachometerArea"]}
+ ]
+ }
+}