std::ostream& FOBDD::put(std::ostream& output) const {
output << print(_kernel);
pushtab();
output << "" <<nt();
output << "FALSE BRANCH:";
pushtab();
output << "" <<nt();
output << print(_falsebranch);
poptab();
output << "" <<nt();
output << "TRUE BRANCH:";
pushtab();
output << "" <<nt();
output << print(_truebranch);
poptab();
poptab();
return output;
}
void SortChecker::put(std::ostream& stream) const {
pushtab();
stream << "checker for sort: " << print(_table) << " from " << print(_table->first()) << " until ";
if (_table->finite()) {
stream << print(_table->last());
} else {
stream << "...";
}
poptab();
}
HRESULT __stdcall myIDirectDrawSurface2::SetPalette(LPDIRECTDRAWPALETTE a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::SetPalette(LPDIRECTDRAWPALETTE 0x%x);", a);
HRESULT x = mOriginal->SetPalette((a)?((myIDirectDrawPalette *)a)->mOriginal:0);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirect3DTexture2::PaletteChanged(DWORD a, DWORD b)
{
EnterCriticalSection(&gCS);
logf("myIDirect3DTexture2::PaletteChanged(DWORD %d, DWORD %d);", a, b);
HRESULT x = mOriginal->PaletteChanged(a, b);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::BltFast(DWORD a, DWORD b, LPDIRECTDRAWSURFACE2 c, LPRECT d, DWORD e)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::BltFast(DWORD %d, DWORD %d, LPDIRECTDRAWSURFACE2 0x%x, LPRECT 0x%x, DWORD %d);", a, b, c, d, e);
HRESULT x = mOriginal->BltFast(a, b, (c)?((myIDirectDrawSurface2 *)c)->mOriginal:0, d, e);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirect3DMaterial2::GetMaterial(LPD3DMATERIAL a)
{
EnterCriticalSection(&gCS);
logf("myIDirect3DMaterial2::GetMaterial(LPD3DMATERIAL 0x%x);", a);
HRESULT x = mOriginal->GetMaterial(a);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
ULONG __stdcall myIDirect3DTexture2::AddRef()
{
EnterCriticalSection(&gCS);
logf("myIDirect3DTexture2::AddRef();");
ULONG x = mOriginal->AddRef();
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::UpdateOverlayZOrder(DWORD a, LPDIRECTDRAWSURFACE2 b)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::UpdateOverlayZOrder(DWORD %d, LPDIRECTDRAWSURFACE2 0x%x);", a, b);
HRESULT x = mOriginal->UpdateOverlayZOrder(a, (b)?((myIDirectDrawSurface2 *)b)->mOriginal:0);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::AddAttachedSurface(LPDIRECTDRAWSURFACE2 a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::AddAttachedSurface(LPDIRECTDRAWSURFACE2 0x%x);", a);
HRESULT x = mOriginal->AddAttachedSurface((a)?((myIDirectDrawSurface2 *)a)->mOriginal:0);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::GetPixelFormat(LPDDPIXELFORMAT a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::GetPixelFormat(LPDDPIXELFORMAT 0x%x);", a);
HRESULT x = mOriginal->GetPixelFormat(a);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::GetSurfaceDesc(LPDDSURFACEDESC a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::GetSurfaceDesc(LPDDSURFACEDESC 0x%x);", a);
HRESULT x = mOriginal->GetSurfaceDesc(a);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::GetCaps(LPDDSCAPS a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::GetCaps(LPDDSCAPS 0x%x);", a);
HRESULT x = mOriginal->GetCaps(a);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::GetDC(HDC FAR * a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::GetDC(HDC FAR *);");
HRESULT x = mOriginal->GetDC(a);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::Flip(LPDIRECTDRAWSURFACE2 a, DWORD b)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::Flip(LPDIRECTDRAWSURFACE2 0x%x, DWORD %d);", a, b);
HRESULT x = mOriginal->Flip((a)?((myIDirectDrawSurface2 *)a)->mOriginal:0, b);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::EnumOverlayZOrders(DWORD a, LPVOID b, LPDDENUMSURFACESCALLBACK c)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::EnumOverlayZOrders(DWORD %d, LPVOID 0x%x, LPDDENUMSURFACESCALLBACK 0x%x);", a, b, c);
HRESULT x = mOriginal->EnumOverlayZOrders(a, b, c);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::EnumAttachedSurfaces(LPVOID a, LPDDENUMSURFACESCALLBACK b)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::EnumAttachedSurfaces(LPVOID 0x%x, LPDDENUMSURFACESCALLBACK 0x%x);", a, b);
HRESULT x = mOriginal->EnumAttachedSurfaces(a, b);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::UpdateOverlay(LPRECT a, LPDIRECTDRAWSURFACE2 b, LPRECT c, DWORD d, LPDDOVERLAYFX e)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::UpdateOverlay(LPRECT 0x%x, LPDIRECTDRAWSURFACE2 0x%x, LPRECT 0x%x, DWORD %d, LPDDOVERLAYFX 0x%x);", a, b, c, d, e);
HRESULT x = mOriginal->UpdateOverlay(a, (b)?((myIDirectDrawSurface2 *)b)->mOriginal:0, c, d, e);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::Initialize(LPDIRECTDRAW a, LPDDSURFACEDESC b)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::Initialize(LPDIRECTDRAW 0x%x, LPDDSURFACEDESC 0x%x);", a, b);
HRESULT x = mOriginal->Initialize((a)?((myIDirectDraw *)a)->mOriginal:0, b);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::UpdateOverlayDisplay(DWORD a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::UpdateOverlayDisplay(DWORD %d);", a);
HRESULT x = mOriginal->UpdateOverlayDisplay(a);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::Lock(LPRECT a, LPDDSURFACEDESC b, DWORD c, HANDLE d)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::Lock(LPRECT 0x%x, LPDDSURFACEDESC 0x%x, DWORD %d, HANDLE);", a, b, c);
HRESULT x = mOriginal->Lock(a, b, c, d);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::PageUnlock(DWORD a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::PageUnlock(DWORD %d);", a);
HRESULT x = mOriginal->PageUnlock(a);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::Restore()
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::Restore();");
HRESULT x = mOriginal->Restore();
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::AddOverlayDirtyRect(LPRECT a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::AddOverlayDirtyRect(LPRECT 0x%x);", a);
HRESULT x = mOriginal->AddOverlayDirtyRect(a);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::SetClipper(LPDIRECTDRAWCLIPPER a)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::SetClipper(LPDIRECTDRAWCLIPPER 0x%x);", a);
HRESULT x = mOriginal->SetClipper((a)?((myIDirectDrawClipper *)a)->mOriginal:0);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirect3DTexture2::Load(LPDIRECT3DTEXTURE2 a)
{
EnterCriticalSection(&gCS);
logf("myIDirect3DTexture2::Load(LPDIRECT3DTEXTURE2 0x%x);", a);
HRESULT x = mOriginal->Load((a)?((myIDirect3DTexture2 *)a)->mOriginal:0);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDraw2::Compact()
{
EnterCriticalSection(&gCS);
logf("myIDirectDraw2::Compact();");
HRESULT x = mOriginal->Compact();
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirect3DTexture2::GetHandle(LPDIRECT3DDEVICE2 a, LPD3DTEXTUREHANDLE b)
{
EnterCriticalSection(&gCS);
logf("myIDirect3DTexture2::GetHandle(LPDIRECT3DDEVICE2 0x%x, LPD3DTEXTUREHANDLE 0x%x);", a, b);
HRESULT x = mOriginal->GetHandle((a)?((myIDirect3DDevice2 *)a)->mOriginal:0, b);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::SetOverlayPosition(LONG a, LONG b)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::SetOverlayPosition(LONG, LONG);");
HRESULT x = mOriginal->SetOverlayPosition(a, b);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::SetColorKey(DWORD a, LPDDCOLORKEY b)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::SetColorKey(DWORD %d, LPDDCOLORKEY 0x%x);", a, b);
HRESULT x = mOriginal->SetColorKey(a, b);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
HRESULT __stdcall myIDirectDrawSurface2::BltBatch(LPDDBLTBATCH a, DWORD b, DWORD c)
{
EnterCriticalSection(&gCS);
logf("myIDirectDrawSurface2::BltBatch(LPDDBLTBATCH 0x%x, DWORD %d, DWORD %d);", a, b, c);
HRESULT x = mOriginal->BltBatch(a, b, c);
logfc(" -> return %d\n", x);
pushtab();
poptab();
LeaveCriticalSection(&gCS);
return x;
}
