File: error.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 (15 lines) | stat: -rw-r--r-- 205 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 

/**
 * Generic error from the model checker.
 */
class CheckError extends Exception {
	init(Str msg) {
		init { msg = msg; }
	}

	private Str msg;

	void message(StrBuf to) : override {
		to << msg;
	}
}