#ifndef _INCLUDE_TYPE_HEADER_H_
#define _INCLUDE_TYPE_HEADER_H_

#include "common_header.h"
#include "class_header.h"
#include "interface_header.h"
#include "value_header.h"
#include "T5Class4lang4java.h"
#include "layout!LT6String4lang4java.h"


typedef union type_header {
  struct common_header common_header;
  struct value_header value_header;
  struct interface_header interface_header;
  struct class_header class_header;
} type_header;

extern void ti_register_class(type_header *t);
extern PT5Class4lang4java ti_get_class(GP_JString name, int allowSpecial);

#endif