LRDE Tiger Compiler  1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
contract.cc File Reference

Implementation for contract.hh. More...

#include <iostream>
#include <cstdlib>
#include <misc/contract.hh>
Include dependency graph for contract.cc:

Functions

void __FailedCondition (const char *condType, const char *condText, const char *fileName, int fileLine)
void __Terminate (const char *fileName, int fileLine, const char *reason)

Detailed Description

Implementation for contract.hh.

Function Documentation

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().