Method doFinalization

src/Finalization.cpp:46–58

#include "ExtensionMgr.h"

void
Finalization::doFinalization()
{
	Function::doFinalization();
	VariableSelector::doFinalization();
	Variable::doFinalization();
	Type::doFinalization();
	RandomNumber::doFinalization();
	FunctionInvocationUser::doFinalization();
	Probabilities::DestroyInstance();
	StatementGoto::doFinalization();
	ExtensionMgr::DestroyExtension();
}