dev:file_formats
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| dev:file_formats [2013/12/27 10:13] – external edit 127.0.0.1 | dev:file_formats [2022/12/20 15:53] (current) – [Command Table: .dtct] ursgraf | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== deep File Formats ====== | ====== deep File Formats ====== | ||
| - | We translate all necessary Classfiles directly into executable target code. There is no need for object files. However, we use files to specify the target configuration ([[.: | + | We translate all necessary Classfiles directly into executable target code. There is no need for object files. However, we use files to specify the target configuration ([[.: |
| All file formats start with a 8 byte keyword. | All file formats start with a 8 byte keyword. | ||
| #XXXX-Y\n | #XXXX-Y\n | ||
| Where XXXX gives the format and Y stands for a single digit version number. The number sign # is used in all our file formats for comments. When openening any file the keyword dictates which parser to use and also which version of the parser. This makes it possible to change the syntax of the configuration file. When loading the file the proper parser has to be used. | Where XXXX gives the format and Y stands for a single digit version number. The number sign # is used in all our file formats for comments. When openening any file the keyword dictates which parser to use and also which version of the parser. This makes it possible to change the syntax of the configuration file. When loading the file the proper parser has to be used. | ||
| - | |||
| ===== Configuration: | ===== Configuration: | ||
| The configuration of the target platform is described in detail in [[.: | The configuration of the target platform is described in detail in [[.: | ||
| Line 23: | Line 22: | ||
| As an example: | As an example: | ||
| - | >ch/ntb/ | + | >org/deepjava/ |
| !doubleValue@8456880 | !doubleValue@8456880 | ||
| !halfValue@8456984 | !halfValue@8456984 | ||
dev/file_formats.1388135588.txt.gz · Last modified: 2016/02/25 13:33 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
