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édente | ||
agi-game:specifications-resources [2021/05/24 14:47] – [The header] frater | agi-game:specifications-resources [2023/04/13 09:50] (Version actuelle) – frater | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | ====== Logic resources ====== | + | ====== |
- | ===== Introduction | + | ==== Introduction ==== |
- | At the heart of Sierra's Adventure Game Interpreter | + | Au cœur de l'AGI (Adventure Game Interpreter) de Sierra se trouve le fichier " |
- | These files contain the code that makes up the game. Each room has a logic script that goes with it. This logic script governs what can take place in that room. Here is an example of what the programmer writes when a game is being created. | + | |
- | Example: KQ4. Room 7. | + | Ces fichiers contiennent le code qui compose le jeu. Chaque pièce est accompagnée d'un script logique. Ce script logique régit ce qui peut se passer dans cette salle. |
+ | |||
+ | Voici un exemple de ce que le programmeur écrit lors de la création d'un jeu. | ||
+ | |||
+ | Exemple: KQ4. Room 7. | ||
<code C> | <code C> | ||
Ligne 41: | Ligne 44: | ||
===== Command list and argument types ===== | ===== Command list and argument types ===== | ||
- | Following tables show a list of all AGI commands and their argument | + | Les tableaux suivants présentent une liste de toutes les commandes |
+ | |||
+ | Les noms des commandes sont tirés des messages | ||
^ Opcode | ^ Opcode | ||
Ligne 250: | Ligne 255: | ||
| B6 | adj.ego.move.to.xy | | B6 | adj.ego.move.to.xy | ||
+ | ===== Logic resource format ===== | ||
- | <span id=" | ||
- | ==Logic resource format== | + | ==== le header ==== |
- | ==== The header ==== | + | L' |
- | The header of each logic script is seven bytes in length for games | + | Après cette date, une compression |
- | before 1988. After this date compression | + | |
- | and the header was subsequently altered. This compression will be | + | |
- | discussed at a later stage. | + | |
- | {| border=" | + | Cette compression sera discutée ultérieurement. |
- | |- | + | |
- | ! Offset | + | |
- | ! Command | + | |
- | |- | + | |
- | | 0-1 | + | |
- | | Signature (0x12--0x34) | + | |
- | |- | + | |
- | | 2 | + | |
- | | Vol number that the resource is contained in | + | |
- | |- | + | |
- | | 3-4 | + | |
- | | Length of the resource without the header | + | |
- | |- | + | |
- | | 5-6 | + | |
- | | Offset of logic code message section | + | |
- | |} | + | |
- | All text that can be printed to the screen from within a logic script | + | ^ Offset |
- | is stored in an encrypted form at the end of the logic script. | + | | 0-1 | Signature (0x12--0x34) |
+ | | 2 | Numéro du volume dans lequel la ressource est contenue | | ||
+ | | 3-4 | Longueur de la ressource sans l' | ||
+ | | 5-6 | Décalage de la section des messages du code logique | ||
- | Example: KQ1. Room 2. | + | Tout le texte qui peut être imprimé à l' |
+ | Exemple: KQ1. Room 2. | ||
+ | |||
+ | < | ||
12 34 Signature | 12 34 Signature | ||
| | ||
5F 06 Length = 0x065F | 5F 06 Length = 0x065F | ||
BA 02 Text start = 0x02BA | BA 02 Text start = 0x02BA | ||
+ | </ | ||
- | ===Opcodes=== | + | ==== Opcodes === |
- | The logic code section starts immediately after the header and | + | |
- | continues until the start of the message section has been reached. There | + | |
- | are three sets of codes used in a logic script. Most codes will have | + | |
- | between one and seven arguments inclusive. This is discussed later on. | + | |
- | The first set of codes is the AGI commands themselves listed in | + | |
- | [[AGI/ | + | |
- | The second set of codes is as follows: | + | La section du code logique commence immédiatement après l' |
- | {| border=" | + | Trois séries de codes sont utilisées dans un script logique. |
- | ! Code | + | |
- | ! Command | + | |
- | |- | + | |
- | | FF | + | |
- | | ''' | + | |
- | |- | + | |
- | | FE | + | |
- | | ''' | + | |
- | |- | + | |
- | | FD | + | |
- | | ''' | + | |
- | |- | + | |
- | | FC | + | |
- | | ''' | + | |
- | |} | + | |
- | At present these are the only high value codes encountered. The | + | La plupart des codes ont entre un et sept arguments inclus. Nous y reviendrons plus loin. |
- | ''' | + | |
- | 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. | + | La première série de codes correspond aux commandes AGI elles-mêmes énumérées dans les tableaux précédents et se situe dans la plage 0x00--0xB6. |
+ | La deuxième série de codes est la suivante : | ||
+ | |||
+ | ^ Code ^ Command | ||
+ | | FF | **if** | ||
+ | | FE | **else** or **goto** | ||
+ | | FD | **not** | ||
+ | | FC | **or** | ||
+ | |||
+ | À l' | ||
+ | |||
+ | Exemple: KQ1, Room 2. | ||
+ | |||
+ | <code C> | ||
| | ||
| | ||
| | ||
| | ||
+ | </ | ||
- | The above translates to: | + | que l'on peut traduire comme ci-dessous: |
- | < | + | <code C> |
if (isset(5)) | if (isset(5)) | ||
</ | </ | ||
- | which tests whether | + | ce code test si le "flag" numero |
- | the interpreter into a condition checking | + | Le '' |
- | set of codes listed in [[AGI/ | + | |
+ | < | ||
0x00 - 0x12 Condition codes. | 0x00 - 0x12 Condition codes. | ||
+ | </ | ||
+ | Lorsque l' | ||
- | When the interpreter encounters a 0xFF it will then interpret the | + | Les deux octets qui suivent immédiatement le deuxième |
- | 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 '' | + | |
- | is ended. | + | |
- | us or the machine, does three things: | + | |
- | #Reads in the following two bytes. | + | Lorsque le deuxième '' |
- | #Opens a bracket. | + | |
- | #Switches to AGI command mode. | + | |
- | Example: KQ1, Room 2. | + | - Il lit les deux octets suivants. |
+ | - Il ouvre une parenthèse. | ||
+ | - Il passe en mode de commande AGI. | ||
- | < | + | Exemple: KQ1, Room 2. |
+ | |||
+ | <code C> | ||
FF 07 05 FF if (isset(5)) | FF 07 05 FF if (isset(5)) | ||
Ligne 366: | Ligne 347: | ||
</ | </ | ||
- | ===The ''' | + | ==== la commande **else** et plus sur les parenthèses ==== |
- | The ''' | + | |
- | ''' | + | |
- | caused a number of hassles in the past. When an ''' | + | |
- | statement follows an ''' | + | |
- | after the ''' | + | |
- | longer'' | + | |
- | ''' | + | |
- | Here's an example: | + | L'instruction **else** continue toujours après un bloc de crochets **if**. |
- | < | + | Cette caractéristique est importante et a causé un certain nombre de problèmes dans le passé. |
+ | |||
+ | Lorsqu' | ||
+ | |||
+ | voici un exemple: | ||
+ | |||
+ | <code C> | ||
if (isset(231)) { FF 07 E7 FF 05 00 | if (isset(231)) { FF 07 E7 FF 05 00 | ||
printf(" | printf(" | ||
Ligne 392: | Ligne 372: | ||
</ | </ | ||
- | 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 ''' | ||
- | structure. The situation is the same for nested ''' | ||
- | structures. | ||
- | The ''' | + | En général, on s'attend à ce que la distance entre les crochets soit de 0x0002, mais dans le cas ci-dessus, elle est clairement de 0x0005, ce qui illustre la différence entre une instruction **if** directe et une structure **if..else**. |
- | statements except that they' | + | |
- | code but is instead the inverse of the condition given by the above | + | |
- | ''' | + | |
- | 0xFE code and then the AGI command clock that the ''' | + | |
- | statement encompasses. | + | |
- | ===Test conditions=== | + | La situation est la même pour les structures **if..else** imbriquées. |
- | Conditions can be one of the following types: | + | |
- | FF 07 05 FF One condition | + | Les instructions **else** elles-mêmes ressemblent beaucoup aux instructions **if**, sauf que leur condition de test est donnée après le code '' |
- | FF FD 07 05 FF | + | |
- | FF 07 05 07 06 FF Multiple | + | Seule la distance entre les crochets est donnée après le code '' |
- | FF FC 07 05 07 06 FC FF Multiple | + | |
+ | ==== Test de conditions ==== | ||
+ | |||
+ | Les conditions peuvent être de l'un des types suivants: | ||
+ | |||
+ | < | ||
+ | FF 07 05 FF Une condition | ||
+ | FF FD 07 05 FF | ||
+ | FF 07 05 07 06 FF Plusieurs | ||
+ | FF FC 07 05 07 06 FC FF Plusieurs | ||
FF FC 07 06 07 06 FC FD 07 08 FF Combination. | FF FC 07 06 07 06 FC FD 07 08 FF Combination. | ||
+ | </ | ||
- | These conditions | + | Ces conditions |
- | < | + | <code C> |
if (isset(5)) | if (isset(5)) | ||
if (!isset(5)) | if (!isset(5)) | ||
Ligne 424: | Ligne 403: | ||
</ | </ | ||
- | If multiple boolean | + | Si plusieurs |
- | respective values are ANDed together. If multiple boolean expressions | + | |
- | are grouped together and then surrounded by a pair of 0xFC codes, then | + | |
- | their values are ORed together. | + | |
- | The 0xFD code only applies to the following condition code whose | + | Si plusieurs expressions booléennes sont regroupées et entourées d'une paire de codes '' |
- | boolean value it inverts. | + | |
- | ===Arguments=== | + | Le code '' |
- | 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 | + | |
- | follows: | + | |
- | {| border=" | ||
- | |- | ||
- | ! Offset | ||
- | ! Description | ||
- | |- | ||
- | | 0-1 | ||
- | | Pointer to implementation code | ||
- | |- | ||
- | | 2 | ||
- | | Number of arguments | ||
- | |- | ||
- | | 3 | ||
- | | Type of arguments | ||
- | |} | ||
- | The type of arguments | + | ==== Arguments ==== |
+ | Vous vous demandez peut-être comment l' | ||
+ | Cette information est stockée dans le fichier '' | ||
+ | |||
+ | Dans ce fichier, il y a un tableau qui contient quatre octets pour chaque commande AGI et chaque code de condition. | ||
+ | |||
+ | Ces quatre octets sont interprétés comme suit : | ||
+ | |||
+ | ^ Offset | ||
+ | | 0-1 | Pointeur vers le code de mise en œuvre | ||
+ | | 2 | Numbre d' | ||
+ | | 3 | Type d' | ||
+ | |||
+ | Le type de valeur des arguments est interprété comme suit : | ||
+ | |||
+ | < | ||
| | ||
| | ||
+ | </ | ||
- | If the bit is set, argument | + | Si le bit est activé, l'argument |
- | the argument | + | |
- | since no AGI command or AGI condition | + | La fonction du bit 0 n'est pas connue, car aucune commande |
Examples: | Examples: | ||
- | *0x80 Says that the commands first argument | + | |
- | *0x60 Says that the second and third arguments | + | * 0x60 Indique que les deuxième et troisième |
- | ===The messages | + | ==== la section |
- | The messages section of a logic script contains all the strings that can | + | |
- | be displayed by that logic script. These strings are encrypted by | + | |
- | xor' | + | |
- | Example: KQ1, Room 2. | + | La section des messages d'un script logique contient toutes les chaînes qui peuvent être affichées par ce script logique. |
- | < | + | Ces chaînes sont cryptées par **XOR** tous les onze octets avec la chaîne "Avis Durgan" |
+ | |||
+ | Exemple: KQ1, Room 2. | ||
+ | |||
+ | <code C> | ||
if (said(look, alligators)) | if (said(look, alligators)) | ||
{ | { | ||
Ligne 483: | Ligne 455: | ||
</ | </ | ||
- | In the above example, the print statement is represented as: | + | Dans l' |
+ | < | ||
65 08 | 65 08 | ||
+ | </ | ||
+ | |||
+ | Le '' | ||
- | The 0x08 is the number given to the string and corresponds to its | + | Le format |
- | position in the list of strings at the end of the logic script. | + | |
- | The format | + | |
- | {| border=" | + | ^ Offset |
- | |- | + | | 0 | Number of messages |
- | ! Offset | + | | 1-2 | Pointer to the end of the messages |
- | ! Description | + | | 3-4 | Array of message pointers |
- | |- | + | | ... | Array of message pointers |
- | | | + | | ? | Start of the text data. From this point the messages are encrypted with Avis Durgan (in their unencrypted form, each message is separated by a 0x00 value) |
- | | Number of messages | + | |
- | |- | + | |
- | | 1-2 | + | |
- | | Pointer to the end of the messages | + | |
- | |- | + | |
- | | 3-4 | + | |
- | | Array of message pointers | + | |
- | |- | + | |
- | | ... | + | |
- | | Array of message pointers | + | |
- | |- | + | |
- | | ? | + | |
- | | Start of the text data. From this point the messages are encrypted with Avis Durgan (in their unencrypted form, each message is separated by a 0x00 value) | + | |
- | |} | + | |
- | ===Implementation=== | + | ==== Implementation |
- | The implementation for each AGI statement is found in the <tt>agi</tt>/ | + | The implementation for each AGI statement is found in the //agi/// file. This is the AGI interpreter itself. The data in the '' |
- | file. This is the AGI interpreter itself. The data in the | + | |
- | <tt>agidata.ovl</ | + | |
- | implementation for an AGI statement. Below are a couple of examples: | + | |
Example: MH2, equaln. | Example: MH2, equaln. | ||
- | < | + | < |
; | ; | ||
0D71 AC LODSB ;get variable number | 0D71 AC LODSB ;get variable number | ||
Ligne 535: | Ligne 492: | ||
Example: MH2, equalv. | Example: MH2, equalv. | ||
- | < | + | < |
; | ; | ||
0D82 AC LODSB ;get first var number | 0D82 AC LODSB ;get first var number | ||
Ligne 550: | Ligne 507: | ||
</ | </ | ||
- | These two examples show the difference between how numbers and | + | These two examples show the difference between how numbers and variables are dealt with. In the case of a variable, the variables number is used as an index into the table of variable values to get the value which is being tested. It appears that the variable table is at offset 0x0009 in the data segment. |
- | variables are dealt with. In the case of a variable, the variables | + | |
- | number is used as an index into the table of variable values to get | + | |
- | the value which is being tested. It appears that the variable table is | + | |
- | at offset 0x0009 in the data segment. | + | |
- | ===How the interpreter handles the code=== | + | ==== How the interpreter handles the code ==== |
- | The following 8086 assembly language code is the actual code from | + | The following 8086 assembly language code is the actual code from the MS-DOS version of Manhunter: San Francisco. There are some calls to routines which aren't displayed. Take my word for it that they do what the comment says. For those of you who can't follow whats going on, I'll explain the interpretation in steps after the code block. |
- | the MS-DOS version of Manhunter: San Francisco. There are some calls | + | |
- | to routines which aren't displayed. Take my word for it that they do | + | |
- | what the comment says. For those of you who can't follow whats going | + | |
- | on, I'll explain the interpretation in steps after the code block. | + | |
- | < | + | < |
;Decoding a LOGIC file. | ;Decoding a LOGIC file. | ||
1E6C:2EF2 56 PUSH SI | 1E6C:2EF2 56 PUSH SI | ||
Ligne 668: | Ligne 617: | ||
1E6C:2FA4 EBDE JMP 2F84 | 1E6C:2FA4 EBDE JMP 2F84 | ||
1E6C:2FA6 AD LODSW | 1E6C:2FA6 AD LODSW | ||
- | 1E6C:2FA7 03F0 ADD | + | 1E6C:2FA7 03F0 ADD |
- | s) | + | |
1E6C:2FA9 E954FF | 1E6C:2FA9 E954FF | ||
</ | </ | ||
- | '' | + | //Situation 1.// |
- | execution mode. In this routine, if the code is below 0xFC, then it is | + | Every logic script starts in normal AGI command execution mode. In this routine, if the code is below 0xFC, then it is presumed to be an AGI command. It will then call the main command execution routine which will jump to the relevant routine for the specific command using the jump table stored in '' |
- | presumed to be an AGI command. It will then call the main command | + | The command is performed and it returns to the main execution routine where it loops back to the top and deals with the next code in the logic file. |
- | execution routine which will jump to the relevant routine for the | + | |
- | specific command using the jump table stored in <tt>agidata.ovl</tt>. | + | |
- | The command is performed and it returns to the main execution routine | + | |
- | where it loops back to the top and deals with the next code in the | + | |
- | logic file. | + | |
- | '' | + | //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 '' |
- | 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 <tt>agidata.ovl</ | + | |
- | Each test command routine will return a value in <tt>AL</tt> | + | |
- | says whether it is true or not. Depending on the NOTs and ORs, the | + | |
- | whole expression is evaluated. If at any stage during the evaluation | + | |
- | the routine decides that the expression will be false, it exits to | + | |
- | another routine which skips the rest of the ''' | + | |
- | and then adds the two byte word following the closing 0xFF code to | + | |
- | the execution pointer. This usually has the affect of jumping over | + | |
- | the ''' | + | |
- | to the ending 0xFF then it knows the expression is true simply because | + | |
- | it hasn't exited out of the routine yet. At this stage it jumps over | + | |
- | the two bytes following the closing 0xFF and then goes back to | + | |
- | executing straight AGI commands. | + | |
- | '' | + | //Situation 3.// |
- | the code 0xFE is encountered, | + | If in the normal execution of AGI commands, the code 0xFE is encountered, |
- | two bytes which follow form a 16-bit twos complement value which is | + | If you're confused by this, the following example will probably explain things. |
- | added to execution pointer. This is all it does. Previously we said | + | |
- | that the 0xFE code stood for the ''' | + | |
- | in actual fact correct for over 90% of the time, but the small number | + | |
- | of other occurrences are best described as ''' | + | |
- | If you're confused by this, the following example will probably explain | + | |
- | things. | + | |
Example: | Example: | ||
- | < | + | <code C> |
if (said( open, door)) { | if (said( open, door)) { | ||
// first block of AGI statements | // first block of AGI statements | ||
Ligne 722: | Ligne 643: | ||
</ | </ | ||
- | The above example is how the original coder would have written the AGI | + | The above example is how the original coder would have written the AGI code. If we now look at the following example, it is not hard to see that it would achieve the same thing. |
- | code. If we now look at the following example, it is not hard to see | + | |
- | that it would achieve the same thing. | + | |
- | < | + | <code C> |
if (!said( open, door)) goto label1; | if (!said( open, door)) goto label1; | ||
// first block of AGI statements | // first block of AGI statements | ||
Ligne 737: | Ligne 656: | ||
</ | </ | ||
- | 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. |
- | implemented in the logic code. The ''' | + | |
- | conditional branch where the branch is taken if the condition is | + | ==== The **said** test command ==== |
- | not met, while the ''' | + | |
- | jump. If a 0xFE code appears in the middle of some AGI code and | + | |
- | wasn't actually originally coded as an ''' | + | |
- | most likely a ''' | + | |
- | ===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 778: | Ligne 684: | ||
</ | </ | ||
- | 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 796: | Ligne 697: | ||
</ | </ | ||
- | 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 ''' | + | |