// -*- c++ -*-

#include <iostream>
#include <vector>

#include <lemon/skeletons/graph.h>
#include <lemon/list_graph.h>
#include <lemon/smart_graph.h>
#include <lemon/full_graph.h>

#include "test_tools.h"
#include "graph_test.h"
#include "map_test.h"


using namespace lemon;
using namespace lemon::skeleton;


int main() {
  ///\file
  { // checking graph components
    function_requires<BaseGraphComponentConcept<BaseGraphComponent> >();

    function_requires<BaseIterableGraphComponentConcept<BaseIterableGraphComponent> >();

    function_requires<IDableGraphComponentConcept<IDableGraphComponent> >();
    function_requires<MaxIDableGraphComponentConcept<MaxIDableGraphComponent> >();

    function_requires<BaseExtendableGraphComponentConcept<BaseExtendableGraphComponent> >();
    function_requires<BaseErasableGraphComponentConcept<BaseErasableGraphComponent> >();
    function_requires<BaseClearableGraphComponentConcept<BaseClearableGraphComponent> >();

    function_requires<IterableGraphComponentConcept<IterableGraphComponent> >();

    function_requires<IdMappableGraphComponentConcept<IdMappableGraphComponent> >();
    function_requires<MappableGraphComponentConcept<MappableGraphComponent> >();

    function_requires<ExtendableGraphComponentConcept<ExtendableGraphComponent> >();
    function_requires<ErasableGraphComponentConcept<ErasableGraphComponent> >();
    function_requires<ClearableGraphComponentConcept<ClearableGraphComponent> >();
  }
  { // checking skeleton graphs
    function_requires<StaticGraphConcept<StaticGraph> >();
    function_requires<ExtendableGraphConcept<ExtendableGraph> >();
    function_requires<ErasableGraphConcept<ErasableGraph> >();
  }
  { // checking list graph
    function_requires<ErasableGraphConcept<ListGraph> >();

    checkGraph<ListGraph>();
    checkGraphNodeMap<ListGraph>();
    checkGraphEdgeMap<ListGraph>();
  }
  { // checking smart graph
    function_requires<ExtendableGraphConcept<SmartGraph> >();

    checkGraph<SmartGraph>();
    checkGraphNodeMap<SmartGraph>();
    checkGraphEdgeMap<SmartGraph>();
  }
  { // checking full graph
    function_requires<StaticGraphConcept<FullGraph> >();
  }

  std::cout << __FILE__ ": All tests passed.\n";

  return 0;
}