File: ControlFlowDiff.h

package info (click to toggle)
storm-lang 0.7.4-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 52,004 kB
  • sloc: ansic: 261,462; cpp: 140,405; sh: 14,891; perl: 9,846; python: 2,525; lisp: 2,504; asm: 860; makefile: 678; pascal: 70; java: 52; xml: 37; awk: 12
file content (13 lines) | stat: -rw-r--r-- 449 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
#pragma once
#include "ControlFlow.h"

namespace storm {
	STORM_PKG(core.lang);

	// Compute the differences between two ControlFlowItem trees.
	Array<ControlFlowItem> *STORM_FN diff(Array<ControlFlowItem> *oldFlow, Array<ControlFlowItem> *newFlow);

	// Helper to pretty-print a diff between two flow items. Assumes the shapes of the two are the same.
	Str *STORM_FN formatDiff(Array<ControlFlowItem> *oldFlow, Array<ControlFlowItem> *newFlow);

}