space_index_util.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef space_index_util_h
#define space_index_util_h

#include "space_index.h"

//
// INTERFACE definition follows 
//


class Space_index_util
{

public:  
  static inline Space_index chief(Space_index task);
};

//
// IMPLEMENTATION includes follow (for use by inline functions)
//


#include "lock_guard.h"
#include "cpu_lock.h"
#include "space.h"

//
// IMPLEMENTATION of inline functions (and needed classes)
//




inline Space_index 
Space_index_util::chief(Space_index task)
{
  Lock_guard<Cpu_lock> guard (&cpu_lock);

  Space* s = task.lookup();

  if (s)
    return s->chief();

  return task.chief();
}

#endif // space_index_util_h

---