#ifndef __X10_LANG_FINISHSTATE__FINISHSPMD_H
#define __X10_LANG_FINISHSTATE__FINISHSPMD_H

#include <x10rt.h>


#define X10_LANG_FINISHSTATE__FINISHSKELETON_H_NODEPS
#include <x10/lang/FinishState__FinishSkeleton.h>
#undef X10_LANG_FINISHSTATE__FINISHSKELETON_H_NODEPS
#define X10_IO_CUSTOMSERIALIZATION_H_NODEPS
#include <x10/io/CustomSerialization.h>
#undef X10_IO_CUSTOMSERIALIZATION_H_NODEPS
namespace x10 { namespace lang { 
class FinishState__RootFinishSkeleton;
} } 
namespace x10 { namespace lang { 
class FinishState__RootFinishSPMD;
} } 
namespace x10 { namespace lang { 
template<class TPMGL(T)> class GlobalRef;
} } 
namespace x10 { namespace lang { 
class FinishState;
} } 
namespace x10 { namespace io { 
class SerialData;
} } 
namespace x10 { namespace lang { 
class Place;
} } 
namespace x10 { namespace lang { 
class Runtime;
} } 
namespace x10 { namespace lang { 
class Boolean;
} } 
namespace x10 { namespace compiler { 
class CompilerFlags;
} } 
namespace x10 { namespace lang { 
class FailedDynamicCheckException;
} } 
namespace x10 { namespace lang { 
class FinishState__RemoteFinishSPMD;
} } 
namespace x10 { namespace lang { 

class FinishState__FinishSPMD : public x10::lang::FinishState__FinishSkeleton
  {
    public:
    RTT_H_DECLS_CLASS
    
    static x10aux::itable_entry _itables[3];
    
    virtual x10aux::itable_entry* _getITables() { return _itables; }
    
    static x10::io::CustomSerialization::itable<x10::lang::FinishState__FinishSPMD > _itable_0;
    
    static x10::lang::Any::itable<x10::lang::FinishState__FinishSPMD > _itable_1;
    
    void _constructor();
    
    static x10aux::ref<x10::lang::FinishState__FinishSPMD> _make();
    
    void _constructor(x10::lang::GlobalRef<x10aux::ref<x10::lang::FinishState> > ref);
    
    static x10aux::ref<x10::lang::FinishState__FinishSPMD> _make(x10::lang::GlobalRef<x10aux::ref<x10::lang::FinishState> > ref);
    
    void _constructor(x10aux::ref<x10::io::SerialData> data);
    
    static x10aux::ref<x10::lang::FinishState__FinishSPMD> _make(x10aux::ref<x10::io::SerialData> data);
    
    virtual x10aux::ref<x10::lang::FinishState__FinishSPMD> x10__lang__FinishState__FinishSPMD____x10__lang__FinishState__FinishSPMD__this(
      );
    
    // Serialization
    public: static const x10aux::serialization_id_t _serialization_id;
    
    public: virtual x10aux::serialization_id_t _get_serialization_id() {
         return _serialization_id;
    }
    
    public: virtual void _serialize_body(x10aux::serialization_buffer& buf);
    
    public: static x10aux::ref<x10::lang::Reference> _deserializer(x10aux::deserialization_buffer& buf);
    
    public: void _deserialize_body(x10aux::deserialization_buffer& buf);
    
};

} } 
#endif // X10_LANG_FINISHSTATE__FINISHSPMD_H

namespace x10 { namespace lang { 
class FinishState__FinishSPMD;
} } 

#ifndef X10_LANG_FINISHSTATE__FINISHSPMD_H_NODEPS
#define X10_LANG_FINISHSTATE__FINISHSPMD_H_NODEPS
#ifndef X10_LANG_FINISHSTATE__FINISHSPMD_H_GENERICS
#define X10_LANG_FINISHSTATE__FINISHSPMD_H_GENERICS
#endif // X10_LANG_FINISHSTATE__FINISHSPMD_H_GENERICS
#endif // __X10_LANG_FINISHSTATE__FINISHSPMD_H_NODEPS
