precondition for get_json_stream()

Daniel Kroening · Daniel Kroening · commit 8c6165d8033b · 2018-04-21T13:09:38.000+01:00
diff --git a/src/util/ui_message.h b/src/util/ui_message.h
@@ -52,6 +52,7 @@ class ui_message_handlert : public message_handlert
 
   json_stream_arrayt &get_json_stream() override
   {
+    PRECONDITION(json_stream!=nullptr);
     return *json_stream;
   }
 

Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,7 @@ class ui_message_handlert : public message_handlert`
`52`	`52`
`53`	`53`	`json_stream_arrayt &get_json_stream() override`
`54`	`54`	`{`
	`55`	`+ PRECONDITION(json_stream!=nullptr);`
`55`	`56`	`return *json_stream;`
`56`	`57`	`}`
`57`	`58`