/*******************************************************************\


Author: Felipe Rodrigues


\*******************************************************************/

#include "../QtCore/QObject"

class QGraphicsScene
{
public:
  QGraphicsScene(QObject *parent = 0)
  {
  }
  void addItem(QGraphicsPixmapItem *item)
  {
    __ESBMC_assert(item != NULL, "invalid parameter");
  }
};
