doc_format.odin 7.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317
  1. package odin_doc_format
  2. import "core:mem"
  3. Array :: struct($T: typeid) {
  4. offset: u32le,
  5. length: u32le,
  6. }
  7. String :: distinct Array(byte);
  8. Version_Type_Major :: 0;
  9. Version_Type_Minor :: 1;
  10. Version_Type_Patch :: 0;
  11. Version_Type :: struct {
  12. major, minor, patch: u8,
  13. _: u8,
  14. };
  15. Version_Type_Default :: Version_Type{
  16. major=Version_Type_Major,
  17. minor=Version_Type_Minor,
  18. patch=Version_Type_Patch,
  19. };
  20. Magic_String :: "odindoc\x00";
  21. Header_Base :: struct {
  22. magic: [8]byte,
  23. _: u32le, // padding
  24. version: Version_Type,
  25. total_size: u32le, // in bytes
  26. header_size: u32le, // in bytes
  27. hash: u32le, // hash of the data after the header (header_size)
  28. }
  29. Header :: struct {
  30. using base: Header_Base,
  31. // NOTE: These arrays reserve the zero element as a sentinel value
  32. files: Array(File),
  33. pkgs: Array(Pkg),
  34. entities: Array(Entity),
  35. types: Array(Type),
  36. }
  37. File_Index :: distinct u32le;
  38. Pkg_Index :: distinct u32le;
  39. Entity_Index :: distinct u32le;
  40. Type_Index :: distinct u32le;
  41. Position :: struct {
  42. file: File_Index,
  43. line: u32le,
  44. column: u32le,
  45. offset: u32le,
  46. };
  47. File :: struct {
  48. pkg: Pkg_Index,
  49. name: String,
  50. }
  51. Pkg_Flag :: enum u32le {
  52. Builtin = 0,
  53. Runtime = 1,
  54. Init = 2,
  55. }
  56. Pkg_Flags :: distinct bit_set[Pkg_Flag; u32le];
  57. Pkg :: struct {
  58. fullpath: String,
  59. name: String,
  60. flags: Pkg_Flags,
  61. docs: String,
  62. files: Array(File_Index),
  63. entities: Array(Entity_Index),
  64. }
  65. Entity_Kind :: enum u32le {
  66. Invalid = 0,
  67. Constant = 1,
  68. Variable = 2,
  69. Type_Name = 3,
  70. Procedure = 4,
  71. Proc_Group = 5,
  72. Import_Name = 6,
  73. Library_Name = 7,
  74. }
  75. Entity_Flag :: enum u32le {
  76. Foreign = 0,
  77. Export = 1,
  78. Param_Using = 2, // using
  79. Param_Const = 3, // #const
  80. Param_Auto_Cast = 4, // auto_cast
  81. Param_Ellipsis = 5, // Variadic parameter
  82. Param_CVararg = 6, // #c_vararg
  83. Param_No_Alias = 7, // #no_alias
  84. Type_Alias = 8,
  85. Var_Thread_Local = 9,
  86. Var_Static = 10,
  87. }
  88. Entity_Flags :: distinct bit_set[Entity_Flag; u32le];
  89. Entity :: struct {
  90. kind: Entity_Kind,
  91. flags: Entity_Flags,
  92. pos: Position,
  93. name: String,
  94. type: Type_Index,
  95. init_string: String,
  96. _: u32le, // reserved for init
  97. comment: String,
  98. docs: String,
  99. // May used by:
  100. // .Variable
  101. // .Procedure
  102. foreign_library: Entity_Index,
  103. // May used by:
  104. // .Variable
  105. // .Procedure
  106. link_name: String,
  107. attributes: Array(Attribute),
  108. // Used by: .Proc_Group
  109. grouped_entities: Array(Entity_Index),
  110. // May used by: .Procedure
  111. where_clauses: Array(String),
  112. }
  113. Attribute :: struct {
  114. name: String,
  115. value: String,
  116. }
  117. Type_Kind :: enum u32le {
  118. Invalid = 0,
  119. Basic = 1,
  120. Named = 2,
  121. Generic = 3,
  122. Pointer = 4,
  123. Array = 5,
  124. Enumerated_Array = 6,
  125. Slice = 7,
  126. Dynamic_Array = 8,
  127. Map = 9,
  128. Struct = 10,
  129. Union = 11,
  130. Enum = 12,
  131. Tuple = 13,
  132. Proc = 14,
  133. Bit_Set = 15,
  134. Simd_Vector = 16,
  135. SOA_Struct_Fixed = 17,
  136. SOA_Struct_Slice = 18,
  137. SOA_Struct_Dynamic = 19,
  138. Relative_Pointer = 20,
  139. Relative_Slice = 21,
  140. }
  141. Type_Elems_Cap :: 4;
  142. Type :: struct {
  143. kind: Type_Kind,
  144. // Type_Kind specific used by some types
  145. // Underlying flag types:
  146. // .Basic - Type_Flags_Basic
  147. // .Struct - Type_Flags_Struct
  148. // .Union - Type_Flags_Union
  149. // .Proc - Type_Flags_Proc
  150. // .Bit_Set - Type_Flags_Bit_Set
  151. flags: u32le,
  152. // Used by:
  153. // .Basic
  154. // .Named
  155. // .Generic
  156. name: String,
  157. // Used By: .Struct, .Union
  158. custom_align: String,
  159. // Used by:
  160. // .Array - 1 count: 0=len
  161. // .Enumerated_Array - 1 count: 0=len
  162. // .SOA_Struct_Fixed - 1 count: 0=len
  163. // .Bit_Set - 2 count: 0=lower, 1=upper
  164. // .Simd_Vector - 1 count: 0=len
  165. elem_count_len: u32le,
  166. elem_counts: [Type_Elems_Cap]i64le,
  167. // Used by: .Procedures
  168. // blank implies the "odin" calling convention
  169. calling_convention: String,
  170. // Used by:
  171. // .Named - 1 type: 0=base type
  172. // .Generic - <1 type: 0=specialization
  173. // .Pointer - 1 type: 0=element
  174. // .Array - 1 type: 0=element
  175. // .Enumerated_Array - 2 types: 0=index and 1=element
  176. // .Slice - 1 type: 0=element
  177. // .Dynamic_Array - 1 type: 0=element
  178. // .Map - 2 types: 0=key, 1=value
  179. // .SOA_Struct_Fixed - 1 type: underlying SOA struct element
  180. // .SOA_Struct_Slice - 1 type: underlying SOA struct element
  181. // .SOA_Struct_Dynamic - 1 type: underlying SOA struct element
  182. // .Union - 0+ types: variants
  183. // .Enum - <1 type: 0=base type
  184. // .Proc - 2 types: 0=parameters, 1=results
  185. // .Bit_Set - <=2 types: 0=element type, 1=underlying type (Underlying_Type flag will be set)
  186. // .Simd_Vector - 1 type: 0=element
  187. // .Relative_Pointer - 2 types: 0=pointer type, 1=base integer
  188. // .Relative_Slice - 2 types: 0=slice type, 1=base integer
  189. types: Array(Type_Index),
  190. // Used by:
  191. // .Named - 1 field for the definition
  192. // .Struct - fields
  193. // .Enum - fields
  194. // .Tuple - parameters (procedures only)
  195. entities: Array(Entity_Index),
  196. // Used By: .Struct, .Union
  197. polymorphic_params: Type_Index,
  198. // Used By: .Struct, .Union
  199. where_clauses: Array(String),
  200. }
  201. Type_Flags_Basic :: distinct bit_set[Type_Flag_Basic; u32le];
  202. Type_Flag_Basic :: enum u32le {
  203. Untyped = 1,
  204. }
  205. Type_Flags_Struct :: distinct bit_set[Type_Flag_Struct; u32le];
  206. Type_Flag_Struct :: enum u32le {
  207. Polymorphic = 0,
  208. Packed = 1,
  209. Raw_Union = 2,
  210. }
  211. Type_Flags_Union :: distinct bit_set[Type_Flag_Union; u32le];
  212. Type_Flag_Union :: enum u32le {
  213. Polymorphic = 0,
  214. No_Nil = 1,
  215. Maybe = 2,
  216. }
  217. Type_Flags_Proc :: distinct bit_set[Type_Flag_Proc; u32le];
  218. Type_Flag_Proc :: enum u32le {
  219. Polymorphic = 0,
  220. Diverging = 1,
  221. Optional_Ok = 2,
  222. Variadic = 3,
  223. C_Vararg = 4,
  224. }
  225. Type_Flags_Bit_Set :: distinct bit_set[Type_Flag_Bit_Set; u32le];
  226. Type_Flag_Bit_Set :: enum u32le {
  227. Range = 1,
  228. Op_Lt = 2,
  229. Op_Lt_Eq = 3,
  230. Underlying_Type = 4,
  231. }
  232. from_array :: proc(base: ^Header_Base, a: $A/Array($T)) -> []T {
  233. s: mem.Raw_Slice;
  234. s.data = rawptr(uintptr(base) + uintptr(a.offset));
  235. s.len = int(a.length);
  236. return transmute([]T)s;
  237. }
  238. from_string :: proc(base: ^Header_Base, s: String) -> string {
  239. return string(from_array(base, s));
  240. }
  241. Reader_Error :: enum {
  242. None,
  243. Header_Too_Small,
  244. Invalid_Magic,
  245. Data_Too_Small,
  246. Invalid_Version,
  247. }
  248. read_from_bytes :: proc(data: []byte) -> (h: ^Header, err: Reader_Error) {
  249. if len(data) < size_of(Header_Base) {
  250. err = .Header_Too_Small;
  251. return;
  252. }
  253. header_base := (^Header_Base)(raw_data(data));
  254. if header_base.magic != Magic_String {
  255. err = .Invalid_Magic;
  256. return;
  257. }
  258. if len(data) < int(header_base.total_size) {
  259. err = .Data_Too_Small;
  260. return;
  261. }
  262. if header_base.version != Version_Type_Default {
  263. err = .Invalid_Version;
  264. return;
  265. }
  266. h = (^Header)(header_base);
  267. return;
  268. }