Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédenteDernière révisionLes deux révisions suivantes | ||
agi-game:specifications-resources [2021/05/24 15:11] – [How the interpreter handles the code] frater | agi-game:specifications-resources [2021/05/24 15:30] – [AGI Specifications Resources : Logic resources] frater | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | ====== Logic resources ====== | + | ====== |
- | ===== Introduction | + | ==== Introduction ==== |
At the heart of Sierra' | At the heart of Sierra' | ||
Ligne 287: | Ligne 287: | ||
| FC | **or** | | FC | **or** | ||
- | At present these are the only high value codes encountered. The '' | + | At present these are the only high value codes encountered. The //if// and //or// codes are like brackets, i.e. the code will be at the start and the end of the section of codes that it refers to. The following example will illustrate this: |
Example: KQ1, Room 2. | Example: KQ1, Room 2. | ||
Ligne 311: | Ligne 311: | ||
When the interpreter encounters a 0xFF it will then interpret the following code values as being in the condition code range until it encounters the next 0xFF which switches it back into normal AGI command | When the interpreter encounters a 0xFF it will then interpret the following code values as being in the condition code range until it encounters the next 0xFF which switches it back into normal AGI command | ||
- | mode. The two bytes immediately following the second 0xFF determine how many bytes this '' | + | mode. The two bytes immediately following the second 0xFF determine how many bytes this //if// statement lasts for before the //if// is ended. |
us or the machine, does three things: | us or the machine, does three things: | ||
Ligne 331: | Ligne 331: | ||
</ | </ | ||
- | ==== The '' | + | ==== The **else** command and more on brackets ==== |
- | The '' | + | The **else** statement will always continue after an **if** bracket block. This next feature is important and has caused a number of hassles in the past. When an **else** statement follows an **if**, then the bracket distance given after the **if** statement //will be three bytes longer// (this is a consequence of the way the interpreter handles |
Here's an example: | Here's an example: | ||
Ligne 352: | Ligne 352: | ||
</ | </ | ||
- | Usually you would expect the bracket distance to be 0x0002 but in the above case it is clearly 0x0005 which illustrates the difference between a straight '' | ||
- | The '' | + | Usually you would expect the bracket distance to be 0x0002 but in the above case it is clearly 0x0005 which illustrates the difference between a straight **if** statement and an **if..else** structure. |
+ | |||
+ | The **else** | ||
==== Test conditions ==== | ==== Test conditions ==== | ||
Ligne 384: | Ligne 385: | ||
==== Arguments ==== | ==== Arguments ==== | ||
- | You may well be asking how the interpreter knows how many arguments each code has and what type of argument each argument is. This information is stored in <tt>agidata.ovl</ | + | You may well be asking how the interpreter knows how many arguments each code has and what type of argument each argument is. This information is stored in '' |
Inside this file there is a table which contains four bytes for each AGI command and condition code. These four bytes are interpreted as follows: | Inside this file there is a table which contains four bytes for each AGI command and condition code. These four bytes are interpreted as follows: | ||
Ligne 436: | Ligne 437: | ||
==== Implementation ==== | ==== Implementation ==== | ||
- | The implementation for each AGI statement is found in the '' | + | The implementation for each AGI statement is found in the //agi/// file. This is the AGI interpreter itself. The data in the '' |
Example: MH2, equaln. | Example: MH2, equaln. | ||
Ligne 589: | Ligne 590: | ||
//Situation 2.// | //Situation 2.// | ||
- | If the code is an 0xFF code, then if jumps to the '' | + | If the code is an 0xFF code, then if jumps to the **if** statement handler. In this routine is basically assesses whether the whole test condition evaluates to true or to false. It does this by treating each test separately and calling the relevant test command routines using the jump table in the '' |
//Situation 3.// | //Situation 3.// | ||
- | If in the normal execution of AGI commands, the code 0xFE is encountered, | + | If in the normal execution of AGI commands, the code 0xFE is encountered, |
If you're confused by this, the following example will probably explain things. | If you're confused by this, the following example will probably explain things. | ||
Ligne 619: | Ligne 620: | ||
</ | </ | ||
- | This is exactly how all '' | + | This is exactly how all **if**s and **else**s are implemented in the logic code. The **if** statement is a conditional branch where the branch is taken if the condition is not met, while the **else** statement is a nonconditional jump. If a 0xFE code appears in the middle of some AGI code and wasn't actually originally coded as an **else**, then it was most likely a **goto** statement. |
+ | |||
+ | ==== The **said** test command ==== | ||
- | ===The < | ||
The above assembly language code does raise a very important point. | The above assembly language code does raise a very important point. | ||
- | The ''' | + | The **said** command can have a variable number of arguments. Its code is 0x0E, and the byte following this byte gives the number of two byte words that follow as parameters. |
- | code is 0x0E, and the byte following this byte gives the number of | + | |
- | two byte words that follow as parameters. | + | |
Examples: | Examples: | ||
- | < | + | <code C> |
if (said(marble)) | if (said(marble)) | ||
if (said( open, door)) | if (said( open, door)) | ||
</ | </ | ||
- | In the above examples, the values 0x011E, 0x0237, and 0x0073 are just | + | In the above examples, the values 0x011E, 0x0237, and 0x0073 are just random word numbers that could stand for the words given. |
- | random word numbers that could stand for the words given. | + | |
- | ===Inner loops=== | + | ==== Inner loops ==== |
- | At first I almost totally discarded the existence of loops in the AGI | + | At first I almost totally discarded the existence of loops in the AGI code because it seemed to me that execution of the logic script continually looped. Loop code like " |
- | code because it seemed to me that execution of the logic script | + | |
- | continually looped. Loop code like " | + | |
- | statements wouldn' | + | |
- | increment with each pass and an ''' | + | |
- | value of the variable and take action if it was withing the desired range. | + | |
Example: | Example: | ||
- | < | + | <code C> |
if (greatern(30, | if (greatern(30, | ||
print(" | print(" | ||
Ligne 654: | Ligne 648: | ||
</ | </ | ||
- | I have found evidence of this sort of thing taking place which means | + | I have found evidence of this sort of thing taking place which means that they must loop over continuously. I don't know whether this is something that the interpreter does itself or whether it is part of |
- | that they must loop over continuously. I don't know whether this is | + | the AGI code, e.g. at the end of one logic script it calls another which then calls the first one again. With the existence of the conditional branching and unconditional branching nature of the **if** and |
- | something that the interpreter does itself or whether it is part of | + | **else** statement, it is easy to see that some of the structures such as " |
- | the AGI code, e.g. at the end of one logic script it calls another which | + | |
- | then calls the first one again. With the existence of the conditional | + | |
- | branching and unconditional branching nature of the ''' | + | |
- | ''' | + | |
- | structures such as " | + | |
Example: | Example: | ||
- | < | + | <code C> |
FF FD 0D FF 03 00 FE F7 FF | FF FD 0D FF 03 00 FE F7 FF | ||
Ligne 672: | Ligne 661: | ||
</ | </ | ||
- | The above translation is a simple one which is taken from SQ2. The | + | The above translation is a simple one which is taken from SQ2. The value 0xFFF7 is the twos complement notation for -9 which is the exact branching value to take the execution back to the start of the **if** |
- | value 0xFFF7 is the twos complement notation for -9 which is the exact | + | statement. If the above example had AGI code between the 0x00 and the 0xFE, then there would be code within the brackets of the " |
- | branching value to take the execution back to the start of the ''' | + | statements or used **goto** statements to achieve the same result. |
- | statement. If the above example had AGI code between the 0x00 and the | + | |
- | 0xFE, then there would be code within the brackets of the " | + | |
- | structure. I don't know whether the original AGI coders used these | + | |
- | statements or used ''' | + | |