File: action.bs

package info (click to toggle)
storm-lang 0.7.0-3
  • links: PTS, VCS
  • area: main
  • in suites: forky
  • size: 51,836 kB
  • sloc: ansic: 261,420; cpp: 138,870; sh: 14,877; perl: 9,846; python: 2,525; lisp: 2,504; asm: 860; makefile: 678; pascal: 70; java: 52; xml: 37; awk: 12
file content (27 lines) | stat: -rw-r--r-- 412 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
 
/**
 * Representation of an action.
 *
 * These are "actual" thread ID:s, not the sequence ID:s that are used inside the search.
 */
value Action {
	init(Nat thread, Bool barrier) {
		init {
			thread = thread;
			barrier = barrier;
		}
	}

	// Thread to step.
	Nat thread;

	// Is it a barrier step?
	Bool barrier;

	// To string.
	Str toS() {
		if (barrier)
			thread.toS() + "*";
		else
			thread.toS();
	}
}