LRDE Tiger Compiler
1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
|
Implementation for contract.hh. More...
Functions | |
void | __FailedCondition (const char *condType, const char *condText, const char *fileName, int fileLine) |
void | __Terminate (const char *fileName, int fileLine, const char *reason) |
Implementation for contract.hh.
void __FailedCondition | ( | const char * | condType, |
const char * | condText, | ||
const char * | fileName, | ||
int | fileLine | ||
) |
void __Terminate | ( | const char * | fileName, |
int | fileLine, | ||
const char * | reason | ||
) |
Referenced by misc::error::ice().