(i *interpreter, node ast.Node, tla vmExtMap)
| 1388 | } |
| 1389 | |
| 1390 | func evaluateStream(i *interpreter, node ast.Node, tla vmExtMap) ([]string, error) { |
| 1391 | result, err := evaluateAux(i, node, tla) |
| 1392 | if err != nil { |
| 1393 | return nil, err |
| 1394 | } |
| 1395 | |
| 1396 | i.stack.setCurrentTrace(manifestationTrace()) |
| 1397 | manifested, err := i.manifestAndSerializeYAMLStream(result) |
| 1398 | i.stack.clearCurrentTrace() |
| 1399 | return manifested, err |
| 1400 | } |
no test coverage detected
searching dependent graphs…