equal
deleted
inserted
replaced
234 val changed_iterator = |
234 val changed_iterator = |
235 for { |
235 for { |
236 file <- st.pending_output.iterator |
236 file <- st.pending_output.iterator |
237 model <- st.models.get(file) |
237 model <- st.models.get(file) |
238 rendering = model.rendering() |
238 rendering = model.rendering() |
239 (diagnostics, model1) <- model.publish_diagnostics(rendering) |
239 ((diagnostics, decorations), model1) <- model.publish(rendering) |
240 } yield { |
240 } |
241 channel.diagnostics(file, rendering.diagnostics_output(diagnostics)) |
241 yield { |
|
242 if (diagnostics.nonEmpty) |
|
243 channel.write( |
|
244 Protocol.PublishDiagnostics(file, rendering.diagnostics_output(diagnostics))) |
|
245 |
|
246 for (decoration <- decorations) |
|
247 channel.write(rendering.decoration_output(decoration).json(file)) |
|
248 |
242 (file, model1) |
249 (file, model1) |
243 } |
250 } |
244 st.copy( |
251 st.copy( |
245 models = (st.models /: changed_iterator)(_ + _), |
252 models = (st.models /: changed_iterator)(_ + _), |
246 pending_output = Set.empty) |
253 pending_output = Set.empty) |