/* ------------------------------------------------------------------------- */
/* "zcode" : Z-opcodes, text translation and abbreviation routines */
/* */
/* Part of Inform release 5 */
/* */
/* On non-ASCII machines, translate_to_ascii must be altered */
/* ------------------------------------------------------------------------- */
#include "header.h"
int32 total_chars_trans, total_bytes_trans, trans_length;
int chars_lookup[256];
int abbrevs_lookup[256], almade_flag=0;
extern int translate_to_ascii(char c)
{ return((int) c);
}
const char *alphabet[3] = {
"abcdefghijklmnopqrstuvwxyz",
"ABCDEFGHIJKLMNOPQRSTUVWXYZ",
" ^0123456789.,!?_#'~/\\-:()"
};
extern void make_lookup(void)
{ int i, j, k;
for (j=0; j<256; j++)
{ chars_lookup[j]=127; abbrevs_lookup[j]= -1; }
for (j=0; j<3; j++)
for (k=0; k<26; k++)
{ i=(int) ((alphabet[j])[k]);
chars_lookup[i]=k+j*26;
}
}
extern void make_abbrevs_lookup(void)
{ int i, j, k, l; char p[MAX_ABBREV_LENGTH]; char *p1, *p2;
do
{ for (i=0, j=0; j<no_abbrevs; j++)
for (k=j+1; k<no_abbrevs; k++)
{ p1=(char *)abbreviations_at+j*MAX_ABBREV_LENGTH;
p2=(char *)abbreviations_at+k*MAX_ABBREV_LENGTH;
if (strcmp(p1,p2)<0)
{ i=1; strcpy(p,p1); strcpy(p1,p2); strcpy(p2,p);
l=abbrev_values[j]; abbrev_values[j]=abbrev_values[k];
abbrev_values[k]=l;
l=abbrev_quality[j]; abbrev_quality[j]=abbrev_quality[k];
abbrev_quality[k]=l;
}
}
} while (i==1);
for (j=no_abbrevs-1; j>=0; j--)
{ p1=(char *)abbreviations_at+j*MAX_ABBREV_LENGTH;
abbrevs_lookup[p1[0]]=j;
abbrev_freqs[j]=0;
}
almade_flag=1;
}
static int z_chars[3], uptothree;
static int total_zchars_trans;
static unsigned char *text_pc;
static void write_z_char(int i)
{ uint32 j;
total_zchars_trans++;
z_chars[uptothree++]=(i%32);
if (uptothree!=3) return;
j= z_chars[0]*0x0400 + z_chars[1]*0x0020 + z_chars[2];
text_pc[0] = j/256;
text_pc[1] = j%256;
uptothree=0; text_pc+=2;
total_bytes_trans+=2;
}
static void end_z_chars(void)
{ unsigned char *p;
trans_length=total_zchars_trans-trans_length;
while (uptothree!=0) write_z_char(5);
p=(unsigned char *) text_pc;
*(p-2)= *(p-2)+128;
}
static int try_abbreviations_from(unsigned char *text, int i, int from)
{ int j, k; char *p, c;
c=text[i];
for (j=from, p=(char *)abbreviations_at+from*MAX_ABBREV_LENGTH;
(j<no_abbrevs)&&(c==p[0]); j++, p+=MAX_ABBREV_LENGTH)
{ if (text[i+1]==p[1])
{ for (k=2; p[k]!=0; k++)
if (text[i+k]!=p[k]) goto NotMatched;
for (k=0; p[k]!=0; k++) text[i+k]=1;
abbrev_freqs[j]++;
return(j);
NotMatched: ;
}
}
return(-1);
}
static int32 text_transcribed = 0;
extern zip *translate_text(zip *p, char *s_text)
{ int i, j, k, newa, cc, value, value2;
unsigned char *text;
if (s_text[0]==0) error("The empty string \"\" is illegal");
trans_length=total_zchars_trans;
if ((almade_flag==0)&&(no_abbrevs!=0)&&(abbrev_mode!=0))
make_abbrevs_lookup();
if ((abbrev_mode!=0)&&(store_the_text==1))
{ if (pass_number==1)
{ text_transcribed += strlen(s_text)+2;
if (text_transcribed >= MAX_TRANSCRIPT_SIZE)
memoryerror("MAX_TRANSCRIPT_SIZE", MAX_TRANSCRIPT_SIZE);
}
else
{ sprintf(all_text_p, "%s\n\n", s_text);
all_text_p+=strlen(all_text_p);
}
}
text=(unsigned char *) s_text;
uptothree=0; text_pc=(unsigned char *) p;
for (i=0; text[i]!=0; i++)
{ total_chars_trans++;
if (double_spaced==1)
{ if ((text[i]=='.')&&(text[i+1]==' ')&&(text[i+2]==' '))
text[i+2]=1;
}
if ((economy_mode==1)&&(abbrev_mode!=0)
&&((k=abbrevs_lookup[text[i]])!=-1))
{ if ((j=try_abbreviations_from(text, i, k))!=-1)
{ if (j<32) { write_z_char(2); write_z_char(j); }
else { write_z_char(3); write_z_char(j-32); }
}
}
if (text[i]=='@')
{ if (text[i+1]=='@')
{ i+=2;
value=atoi((char *) (text+i));
write_z_char(5); write_z_char(6);
write_z_char(value/32); write_z_char(value%32);
while (isdigit(text[i])) i++; i--;
}
else
{ value= -1;
switch(text[i+1])
{ case '0': value=0; break;
case '1': value=1; break;
case '2': value=2; break;
case '3': value=3; break;
case '4': value=4; break;
case '5': value=5; break;
case '6': value=6; break;
case '7': value=7; break;
case '8': value=8; break;
case '9': value=9; break;
}
value2= -1;
switch(text[i+2])
{ case '0': value2=0; break;
case '1': value2=1; break;
case '2': value2=2; break;
case '3': value2=3; break;
case '4': value2=4; break;
case '5': value2=5; break;
case '6': value2=6; break;
case '7': value2=7; break;
case '8': value2=8; break;
case '9': value2=9; break;
}
if ((value!=-1)&&(value2!=-1))
{ i++; i++;
write_z_char(1); write_z_char(value*10+value2);
}
}
}
else
{ if (text[i]!=1)
{ if (text[i]==' ') write_z_char(0);
else
{ cc=chars_lookup[(int) (text[i])];
if (cc==127)
{ write_z_char(5); write_z_char(6);
j=translate_to_ascii(text[i]);
write_z_char(j/32); write_z_char(j%32);
}
else
{ newa=cc/26; value=cc%26;
if (newa==1) write_z_char(4);
if (newa==2) write_z_char(5);
write_z_char(value+6);
}
}
}
}
}
end_z_chars();
return((zip *) text_pc);
}
/* ------------------------------------------------------------------------- */
/* The (static) Z-code database (using a table adapted from that in the */
/* InfoToolkit disassembler "txd") */
/* ------------------------------------------------------------------------- */
static opcode the_opcode(int i,char *s,int k,int l,int m)
{ opcode op; op.name=(zip *)s; op.code=i; op.type1=k; op.type2=l; op.no=m;
return(op);
}
extern opcode opcs(int32 i)
{
switch(i)
{
case 0: return(the_opcode(0x01, "je", BRANCH, NONE, TWO));
case 1: return(the_opcode(0x02, "jl", BRANCH, NONE, TWO));
case 2: return(the_opcode(0x03, "jg", BRANCH, NONE, TWO));
case 3: return(the_opcode(0x04, "dec_chk", BRANCH, VAR, TWO));
case 4: return(the_opcode(0x05, "inc_chk", BRANCH, VAR, TWO));
case 5: return(the_opcode(0x06, "jin", BRANCH, NONE, TWO));
case 6: return(the_opcode(0x07, "test", BRANCH, NONE, TWO));
case 7: return(the_opcode(0x08, "or", STORE, NONE, TWO));
case 8: return(the_opcode(0x09, "and", STORE, NONE, TWO));
case 9: return(the_opcode(0x0A, "test_attr", BRANCH, NONE, TWO));
case 10: return(the_opcode(0x0B, "set_attr", NONE, NONE, TWO));
case 11: return(the_opcode(0x0C, "clear_attr", NONE, NONE, TWO));
case 12: return(the_opcode(0x0D, "store", NONE, VAR, TWO));
case 13: return(the_opcode(0x0D, "store", NONE, VAR, VARI));
case 14: return(the_opcode(0x0E, "insert_obj", NONE, NONE, TWO));
case 15: return(the_opcode(0x0F, "loadw", STORE, NONE, TWO));
case 16: return(the_opcode(0x10, "loadb", STORE, NONE, TWO));
case 17: return(the_opcode(0x11, "get_prop", STORE, NONE, TWO));
case 18: return(the_opcode(0x12, "get_prop_addr", STORE, NONE, TWO));
case 19: return(the_opcode(0x13, "get_next_prop", STORE, NONE, TWO));
case 20: return(the_opcode(0x14, "add", STORE, NONE, TWO));
case 21: return(the_opcode(0x15, "sub", STORE, NONE, TWO));
case 22: return(the_opcode(0x16, "mul", STORE, NONE, TWO));
case 23: return(the_opcode(0x17, "div", STORE, NONE, TWO));
case 24: return(the_opcode(0x18, "mod", STORE, NONE, TWO));
case 25: return(the_opcode(0x01, "je", BRANCH, NONE, VARI));
case 26: return(the_opcode(0x20, "call", CALL, NONE, VARI));
case 27: return(the_opcode(0x20, "call", STORE, NONE, VARI));
case 28: return(the_opcode(0x21, "storew", NONE, NONE, VARI));
case 29: return(the_opcode(0x22, "storeb", NONE, NONE, VARI));
case 30: return(the_opcode(0x23, "put_prop", NONE, NONE, VARI));
case 32: return(the_opcode(0x25, "print_char", PCHAR, NONE, VARI));
case 33: return(the_opcode(0x26, "print_num", NONE, NONE, VARI));
case 34: return(the_opcode(0x27, "random", STORE, NONE, VARI));
case 35: return(the_opcode(0x28, "push", NONE, NONE, VARI));
case 36: return(the_opcode(0x29, "pull", NONE, VAR, VARI));
case 37: return(the_opcode(0x2A, "split_window", NONE, NONE, VARI));
case 38: return(the_opcode(0x2B, "set_window", NONE, NONE, VARI));
case 39: return(the_opcode(0x33, "output_stream", NONE, NONE, VARI));
case 40: return(the_opcode(0x34, "input_stream", NONE, NONE, VARI));
case 41: return(the_opcode(0x35, "sound_effect", NONE, NONE, VARI));
case 42: return(the_opcode(0x00, "jz", BRANCH, NONE, ONE));
case 43: return(the_opcode(0x01, "get_sibling", STORE, OBJECT, ONE));
case 44: return(the_opcode(0x02, "get_child", STORE, OBJECT, ONE));
case 45: return(the_opcode(0x03, "get_parent", STORE, NONE, ONE));
case 46: return(the_opcode(0x04, "get_prop_len", STORE, NONE, ONE));
case 47: return(the_opcode(0x05, "inc", NONE, VAR, ONE));
case 48: return(the_opcode(0x06, "dec", NONE, VAR, ONE));
case 49: return(the_opcode(0x07, "print_addr", NONE, NONE, ONE));
case 50: return(the_opcode(0x09, "remove_obj", NONE, NONE, ONE));
case 51: return(the_opcode(0x0A, "print_obj", NONE, NONE, ONE));
case 52: return(the_opcode(0x0B, "ret", RETURN, NONE, ONE));
case 53: return(the_opcode(0x0C, "jump", JUMP, NONE, ONE));
case 54: return(the_opcode(0x0D, "print_paddr", NONE, NONE, ONE));
case 55: return(the_opcode(0x0E, "load", STORE, VAR, ONE));
case 57: return(the_opcode(0x00, "rtrue", RETURN, NONE, ZERO));
case 58: return(the_opcode(0x01, "rfalse", RETURN, NONE, ZERO));
case 59: return(the_opcode(0x02, "print", NONE, TEXT, ZERO));
case 60: return(the_opcode(0x03, "print_ret", RETURN, TEXT, ZERO));
case 63: return(the_opcode(0x07, "restart", NONE, NONE, ZERO));
case 64: return(the_opcode(0x08, "ret_popped", RETURN, NONE, ZERO));
case 65: return(the_opcode(0x09, "pop", NONE, NONE, ZERO));
case 66: return(the_opcode(0x0A, "quit", NONE, NONE, ZERO));
case 67: return(the_opcode(0x0B, "new_line", NONE, NONE, ZERO));
case 69: return(the_opcode(0x0D, "verify", BRANCH, NONE, ZERO));
}
if ((version_number==3) && (i==68))
return(the_opcode(0x0C, "show_status", NONE, NONE, ZERO));
if ((version_number==3) || (version_number==4))
{ switch(i)
{
case 31: return(the_opcode(0x24, "read", NONE, NONE, VARI));
case 56: return(the_opcode(0x0F, "not", STORE, NONE, ONE));
case 61: return(the_opcode(0x05, "save", BRANCH, NONE, ZERO));
case 62: return(the_opcode(0x06, "restore", BRANCH, NONE, ZERO));
}
}
if (version_number>=4)
{ switch(i)
{
case 70: return(the_opcode(0x19, "call_2s", CALL, NONE, TWO));
case 72: return(the_opcode(0x20, "call_vs", CALL, NONE, VARI));
case 89: return(the_opcode(0x2C, "call_vs2", CALL, NONE, MANY));
case 75: return(the_opcode(0x2D, "erase_window", NONE, NONE, VARI));
case 76: return(the_opcode(0x2E, "erase_line", NONE, NONE, VARI));
case 77: return(the_opcode(0x2F, "set_cursor", NONE, NONE, VARI));
case 78: return(the_opcode(0x31, "set_text_style", NONE, NONE, VARI));
case 79: return(the_opcode(0x32, "buffer_mode", NONE, NONE, VARI));
case 96: return(the_opcode(0x35, "sound_effect", NONE, NONE, VARI));
case 80: return(the_opcode(0x36, "read_char", STORE, NONE, VARI));
case 81: return(the_opcode(0x37, "scan_table", STORE, OBJECT, VARI));
case 98: return(the_opcode(0x04, "nop", NONE, NONE, ZERO));
case 82: return(the_opcode(0x08, "call_1s", CALL, NONE, ONE));
}
}
if (version_number>=5)
{ switch(i)
{
case 71: return(the_opcode(0x1a, "call_2n", NCALL, NONE, TWO));
case 99: return(the_opcode(0x1b, "set_colour", NONE, NONE, TWO));
case 100: return(the_opcode(0x1c, "throw", NONE, NONE, TWO));
case 90: return(the_opcode(0x24, "read", STORE, NONE, VARI));
case 61: return(the_opcode(0x00, "save", STORE, NONE, EXTD));
case 62: return(the_opcode(0x01, "restore", STORE, NONE, EXTD));
case 85: return(the_opcode(0x02, "log_shift", STORE, NONE, EXTD));
case 91: return(the_opcode(0x03, "art_shift", STORE, NONE, EXTD));
case 86: return(the_opcode(0x04, "set_font", STORE, NONE, EXTD));
case 87: return(the_opcode(0x09, "save_undo", STORE, NONE, EXTD));
case 88: return(the_opcode(0x0A, "restore_undo", STORE, NONE, EXTD));
case 56: return(the_opcode(0x38, "not", NONE, NONE, VARI));
case 73: return(the_opcode(0x39, "call_vn", NCALL, NONE, VARI));
case 74: return(the_opcode(0x3a, "call_vn2", NCALL, NONE, MANY));
case 97: return(the_opcode(0x3b, "tokenise", NONE, NONE, VARI));
case 101: return(the_opcode(0x3c, "encode_text", NONE, NONE, VARI));
case 102: return(the_opcode(0x3d, "copy_table", NONE, NONE, VARI));
case 103: return(the_opcode(0x3e, "print_table", NONE, NONE, VARI));
case 84: return(the_opcode(0x3f, "check_arg_count", BRANCH, NONE, VARI));
case 83: return(the_opcode(0x0F, "call_1n", NCALL, NONE, ONE));
case 104: return(the_opcode(0x09, "catch", STORE, NONE, ZERO));
case 105: return(the_opcode(0x0F, "piracy", BRANCH, NONE, ZERO));
}
}
if (version_number==6)
{ switch(i)
{
case 92: return(the_opcode(0x05, "draw_picture", NONE, NONE, EXTD));
case 93: return(the_opcode(0x06, "picture_data", BRANCH, NONE, EXTD));
case 94: return(the_opcode(0x07, "erase_picture", NONE, NONE, EXTD));
case 106: return(the_opcode(0x08, "set_margins", NONE, NONE, EXTD));
case 107: return(the_opcode(0x10, "move_window", NONE, NONE, EXTD));
case 108: return(the_opcode(0x11, "window_size", NONE, NONE, EXTD));
case 109: return(the_opcode(0x12, "window_style", NONE, NONE, EXTD));
case 110: return(the_opcode(0x13, "get_wind_prop", STORE, NONE, EXTD));
case 111: return(the_opcode(0x14, "scroll_window", NONE, NONE, EXTD));
case 112: return(the_opcode(0x15, "pop_stack", NONE, NONE, EXTD));
case 113: return(the_opcode(0x16, "read_mouse", NONE, NONE, EXTD));
case 114: return(the_opcode(0x17, "mouse_window", NONE, NONE, EXTD));
case 115: return(the_opcode(0x18, "push_stack", BRANCH, NONE, EXTD));
case 116: return(the_opcode(0x19, "put_wind_prop", NONE, NONE, EXTD));
case 117: return(the_opcode(0x1a, "print_form", NONE, NONE, EXTD));
case 118: return(the_opcode(0x1b, "make_menu", BRANCH, NONE, EXTD));
case 119: return(the_opcode(0x1c, "picture_table", NONE, NONE, EXTD));
}
}
return(the_opcode(0xff,"???",INVALID,NONE,ZERO));
}
/* ------------------------------------------------------------------------- */
/* Creating reserved words */
/* ------------------------------------------------------------------------- */
#define CreateD_(x,y) prim_new_symbol(x,y,14,6)
#define CreateC_(x,y) prim_new_symbol(x,y,15,6)
#define CreateB_(x,y,z) prim_new_symbol(x,z+y*100,16,6)
#define CreateA_(x,y) prim_new_symbol(x,y,17,6)
extern void stockup_symbols(void)
{ char *r1="RET#TRUE", *r2="RET#FALSE";
new_symbol("nothing",0,9);
new_symbol("sp",0,4); new_symbol("ret#true",1,4);
new_symbol("rtrue",1,4); new_symbol("ret#false",2,4);
new_symbol("rfalse",2,4);
new_symbol("=",1,10); new_symbol("==",1,10);
new_symbol(">",2,10); new_symbol("<",3,10);
new_symbol("has",4,10);
new_symbol("near",5,10);
new_symbol("~=",6,10); new_symbol("<=",7,10);
new_symbol(">=",8,10);
new_symbol("hasnt",9,10); new_symbol("far",10,10);
new_symbol("name",1,12);
new_symbol("temp_global",239,2);
new_symbol("temp_global2",238,2);
new_symbol("temp_global3",237,2);
new_symbol("sys_glob0",0,2);
new_symbol("sys_glob1",1,2);
new_symbol("sys_glob2",2,2);
CreateD_("ABBREVIATE", ABBREVIATE_CODE);
CreateD_("ATTRIBUTE", ATTRIBUTE_CODE);
CreateD_("CONSTANT", CONSTANT_CODE);
CreateD_("DICTIONARY", DICTIONARY_CODE);
CreateD_("END", END_CODE);
CreateD_("INCLUDE", INCLUDE_CODE);
CreateD_("GLOBAL", GLOBAL_CODE);
CreateD_("OBJECT", OBJECT_CODE);
CreateD_("PROPERTY", PROPERTY_CODE);
CreateD_("RELEASE", RELEASE_CODE);
CreateD_("SWITCHES", SWITCHES_CODE);
CreateD_("STATUSLINE", STATUSLINE_CODE);
CreateD_("VERB", VERB_CODE);
CreateD_("TRACE", TRACE_CODE);
CreateD_("NOTRACE", NOTRACE_CODE);
CreateD_("ETRACE", ETRACE_CODE);
CreateD_("NOETRACE", NOETRACE_CODE);
CreateD_("BTRACE", BTRACE_CODE);
CreateD_("NOBTRACE", NOBTRACE_CODE);
CreateD_("LTRACE", LTRACE_CODE);
CreateD_("NOLTRACE", NOLTRACE_CODE);
CreateD_("ATRACE", ATRACE_CODE);
CreateD_("NOATRACE", NOATRACE_CODE);
CreateD_("LISTSYMBOLS", LISTSYMBOLS_CODE);
CreateD_("LISTOBJECTS", LISTOBJECTS_CODE);
CreateD_("LISTVERBS", LISTVERBS_CODE);
CreateD_("LISTDICT", LISTDICT_CODE);
CreateD_("[", OPENBLOCK_CODE);
CreateD_("]", CLOSEBLOCK_CODE);
CreateD_("SERIAL", SERIAL_CODE);
CreateD_("DEFAULT", DEFAULT_CODE);
CreateD_("STUB", STUB_CODE);
CreateD_("VERSION", VERSION_CODE);
CreateD_("IFV3", IFV3_CODE);
CreateD_("IFV5", IFV5_CODE);
CreateD_("IFDEF", IFDEF_CODE);
CreateD_("IFNDEF", IFNDEF_CODE);
CreateD_("ENDIF", ENDIF_CODE);
CreateD_("IFNOT", IFNOT_CODE);
CreateD_("LOWSTRING", LOWSTRING_CODE);
CreateD_("CLASS", CLASS_CODE);
CreateD_("FAKE_ACTION", FAKE_ACTION_CODE);
CreateD_("NEARBY", NEARBY_CODE);
CreateD_("SYSTEM_FILE", SYSTEM_CODE);
CreateD_("REPLACE", REPLACE_CODE);
CreateD_("EXTEND", EXTEND_CODE);
CreateD_("ARRAY", ARRAY_CODE);
CreateB_("PRINT_ADDR", PRINT_ADDR_CODE, 49);
CreateB_("PRINT_CHAR", PRINT_CHAR_CODE, 32);
CreateB_("PRINT_PADDR", PRINT_PADDR_CODE, 54);
CreateB_("PRINT_OBJ", PRINT_OBJ_CODE, 51);
CreateB_("PRINT_NUM", PRINT_NUM_CODE, 33);
CreateB_("RESTORE", RESTORE_CODE, 62);
CreateB_("SAVE", SAVE_CODE, 61);
CreateB_("PRINT", PRINT_CODE, 59);
CreateB_("PRINT_RET", PRINT_RET_CODE, 60);
CreateB_("JUMP", JUMP_CODE, 53);
CreateC_("REMOVE", REMOVE_CODE);
CreateC_("RETURN", RETURN_CODE);
CreateC_("DO", DO_CODE);
CreateC_("FOR", FOR_CODE);
CreateC_("IF", IF_CODE);
CreateC_("OBJECTLOOP", OBJECTLOOP_CODE);
CreateC_("UNTIL", UNTIL_CODE);
CreateC_("WHILE", WHILE_CODE);
CreateC_("BREAK", BREAK_CODE);
CreateC_("ELSE", ELSE_CODE);
CreateC_("GIVE", GIVE_CODE);
CreateC_("INVERSION", INVERSION_CODE);
CreateC_("MOVE", MOVE_CODE);
CreateC_("PUT", PUT_CODE);
CreateC_("WRITE", WRITE_CODE);
CreateC_("STRING", STRING_CODE);
CreateC_("FONT", FONT_CODE);
CreateC_("READ", READ_CODE);
CreateC_("STYLE", STYLE_CODE);
CreateC_("SPACES", SPACES_CODE);
CreateC_("BOX", BOX_CODE);
CreateC_("SWITCH", SWITCH_CODE);
CreateA_("JE",0);
CreateA_("JL",1);
CreateA_("JG",2);
CreateA_("JZ",42);
CreateA_("SREAD",31);
CreateA_("RANDOM",34);
CreateA_("RET",52);
CreateA_(r1,57);
CreateA_(r2,58);
CreateA_("RTRUE",57);
CreateA_("RFALSE",58);
CreateA_("RESTART",63);
CreateA_("RETSP",64);
CreateA_("REMOVE_OBJ",50);
CreateA_("PUT_PROP",30);
CreateA_("PUSH",35);
CreateA_("PULL",36);
CreateA_("POP",65);
CreateA_("GET_SIBLING",43);
CreateA_("GET_CHILD",44);
CreateA_("GET_PARENT",45);
CreateA_("GET_PROP_LEN",46);
CreateA_("GET_PROP",17);
CreateA_("GET_PROP_ADDR",18);
CreateA_("GET_NEXT_PROP",19);
CreateA_("SET_ATTR",10);
CreateA_("STORE",12);
CreateA_("SUB",21);
CreateA_("STOREW",28);
CreateA_("STOREB",29);
CreateA_("SPLIT_WINDOW",37);
CreateA_("SET_WINDOW",38);
CreateA_("OUTPUT_STREAM",39);
CreateA_("SOUND_EFFECT",41);
CreateA_("SHOW_SCORE",68);
CreateA_("DEC_CHK",3);
CreateA_("INC_CHK",4);
CreateA_("COMPARE_POBJ",5);
CreateA_("TEST",6);
CreateA_("OR",7);
CreateA_("AND",8);
CreateA_("TEST_ATTR",9);
CreateA_("CLEAR_ATTR",11);
CreateA_("LSTORE",13);
CreateA_("INSERT_OBJ",14);
CreateA_("LOADW",15);
CreateA_("LOADB",16);
CreateA_("ADD",20);
CreateA_("MUL",22);
CreateA_("DIV",23);
CreateA_("MOD",24);
CreateA_("VJE",25);
CreateA_("CALL",26);
CreateA_("ICALL",27);
CreateA_("INPUT_STREAM",40);
CreateA_("INC",47);
CreateA_("DEC",48);
CreateA_("LOAD",55);
CreateA_("NOT",56);
CreateA_("QUIT",66);
CreateA_("NEW_LINE",67);
CreateA_("VERIFY",69);
CreateA_("CALL_2S",70);
CreateA_("CALL_2N",71);
CreateA_("CALL_VS",72);
CreateA_("CALL_VN",73);
CreateA_("CALL_VN2",74);
CreateA_("ERASE_WINDOW",75);
CreateA_("ERASE_LINE",76);
CreateA_("SET_CURSOR",77);
CreateA_("SET_TEXT_STYLE",78);
CreateA_("BUFFER_MODE",79);
CreateA_("READ_CHAR",80);
CreateA_("SCANW",81);
CreateA_("CALL_1S",82);
CreateA_("CALL_1N",83);
CreateA_("CHECK_NO_ARGS",84);
CreateA_("LOG_SHIFT",85);
CreateA_("SET_FONT",86);
CreateA_("SAVE_UNDO",87);
CreateA_("RESTORE_UNDO",88);
CreateA_("CALL_VS2",89);
CreateA_("AREAD",90);
CreateA_("ART_SHIFT",91);
CreateA_("DRAW_PICTURE",92);
CreateA_("PICTURE_DATA",93);
CreateA_("ERASE_PICTURE",94);
CreateA_("INPUT_STREAM",95);
CreateA_("BEEP",96);
CreateA_("APARSE",97);
CreateA_("NOP",98);
CreateA_("COLOUR",99);
CreateA_("THROW",100);
CreateA_("ENCRYPT",101);
CreateA_("COPY_TABLE",102);
CreateA_("PRINT_TABLE",103);
CreateA_("CATCH",104);
CreateA_("PIRACY",105);
CreateA_("SET_MARGINS",106);
CreateA_("MOVE_WINDOW",107);
CreateA_("WINDOW_SIZE",108);
CreateA_("WINDOW_STYLE",109);
CreateA_("GET_WIND_PROP",110);
CreateA_("SCROLL_WINDOW",111);
CreateA_("POP_STACK",112);
CreateA_("READ_MOUSE",113);
CreateA_("MOUSE_WINDOW",114);
CreateA_("PUSH_STACK",115);
CreateA_("PUT_WIND_PROP",116);
CreateA_("PRINT_FORM",117);
CreateA_("MAKE_MENU",118);
CreateA_("PICTURE_TABLE",119);
CreateA_("IO_BUFFER_MODE",79); /* Alias for BUFFER_MODE */
CreateA_("JIN",5); /* for COMPARE_POBJ */
CreateA_("SET_COLOUR",99); /* for COLOUR */
CreateA_("RET_POPPED",64); /* for RETSP */
CreateA_("SHOW_STATUS",68); /* for SHOW_SCORE */
CreateA_("SCAN_TABLE",81); /* for SCANW */
CreateA_("TOKENISE",97); /* for APARSE */
CreateA_("ENCODE_TEXT",101); /* for ENCRYPT */
CreateA_("CHECK_ARG_COUNT",84); /* for CHECK_NO_ARGS */
}
/* ------------------------------------------------------------------------- */
/* The abbreviations optimiser */
/* ------------------------------------------------------------------------- */
typedef struct tlb_s
{ char text[4];
int32 intab, occurrences;
} tlb;
static tlb *tlbtab;
static int32 no_occs;
static int32 *grandtable;
static int32 *grandflags;
typedef struct optab_s
{ int32 length;
int32 popularity;
int32 score;
int32 location;
char text[64];
} optab;
static optab *bestyet, *bestyet2;
static int pass_no=0;
static void optimise_pass(void)
{ int32 i; int t1, t2;
int32 j, j2, k, nl, matches, noflags, score, min, minat, x, scrabble, c;
for (i=0; i<256; i++) bestyet[i].length=0;
for (i=0; i<no_occs; i++)
{ if ((i!=(int) '\n')&&(tlbtab[i].occurrences!=0))
{ printf("Pass %d, %4ld/%ld '%s' (%ld occurrences) ",
pass_no, (long int) i, (long int) no_occs, tlbtab[i].text,
(long int) tlbtab[i].occurrences);
t1=(int) (time(0));
for (j=0; j<tlbtab[i].occurrences; j++)
{ for (j2=0; j2<tlbtab[i].occurrences; j2++) grandflags[j2]=1;
nl=2; noflags=tlbtab[i].occurrences;
while ((noflags>=2)&&(nl<=62))
{ nl++;
for (j2=0; j2<nl; j2++)
if (all_text[grandtable[tlbtab[i].intab+j]+j2]=='\n')
goto FinishEarly;
matches=0;
for (j2=j; j2<tlbtab[i].occurrences; j2++)
{ if (grandflags[j2]==1)
{ x=grandtable[tlbtab[i].intab+j2]
- grandtable[tlbtab[i].intab+j];
if (((x>-nl)&&(x<nl))
|| (memcmp(all_text+grandtable[tlbtab[i].intab+j],
all_text+grandtable[tlbtab[i].intab+j2],
nl)!=0))
{ grandflags[j2]=0; noflags--; }
else matches++;
}
}
scrabble=0;
for (k=0; k<nl; k++)
{ scrabble++;
c=all_text[grandtable[tlbtab[i].intab+j+k]];
if (c!=(int) ' ')
{ if (chars_lookup[c]==127)
scrabble+=2;
else
if (chars_lookup[c]>=26)
scrabble++;
}
}
score=(matches-1)*(scrabble-2);
min=score;
for (j2=0; j2<256; j2++)
{ if ((nl==bestyet[j2].length)
&& (memcmp(all_text+bestyet[j2].location,
all_text+grandtable[tlbtab[i].intab+j],
nl)==0))
{ j2=256; min=score; }
else
{ if (bestyet[j2].score<min)
{ min=bestyet[j2].score; minat=j2;
}
}
}
if (min!=score)
{ bestyet[minat].score=score;
bestyet[minat].length=nl;
bestyet[minat].location=grandtable[tlbtab[i].intab+j];
bestyet[minat].popularity=matches;
for (j2=0; j2<nl; j2++) sub_buffer[j2]=
all_text[bestyet[minat].location+j2];
sub_buffer[nl]=0;
}
}
FinishEarly: ;
}
t2=((int) time(0)) - t1;
printf(" (%d seconds)\n",t2);
}
}
}
static int any_overlap(char *s1, char *s2)
{ int a, b, i, j, flag;
a=strlen(s1); b=strlen(s2);
for (i=1-b; i<a; i++)
{ flag=0;
for (j=0; j<b; j++)
if ((0<=i+j)&&(i+j<=a-1))
if (s1[i+j]!=s2[j]) flag=1;
if (flag==0) return(1);
}
return(0);
}
#define MAX_TLBS 8000
extern void optimise_abbreviations(void)
{ int32 i, j, t, max=0, MAX_GTABLE;
int32 j2, selected, available, maxat, nl;
tlb test;
printf("Beginning calculation of optimal abbreviations...\n");
tlbtab=my_calloc(sizeof(tlb), MAX_TLBS, "tlb table"); no_occs=0;
sub_buffer=my_calloc(sizeof(char), BUFFER_LENGTH, "sub_buffer");
for (i=0; i<MAX_TLBS; i++) tlbtab[i].occurrences=0;
bestyet=my_calloc(sizeof(optab), 256, "bestyet");
bestyet2=my_calloc(sizeof(optab), 64, "bestyet2");
bestyet2[0].text[0]='.';
bestyet2[0].text[1]=' ';
bestyet2[0].text[2]=' ';
bestyet2[0].text[3]=0;
bestyet2[1].text[0]=',';
bestyet2[1].text[1]=' ';
bestyet2[1].text[2]=0;
for (i=0, t=0; all_text+i<all_text_p; i++)
{
if ((all_text[i]=='.') && (all_text[i+1]==' ') && (all_text[i+2]==' '))
{ all_text[i]='\n'; all_text[i+1]='\n'; all_text[i+2]='\n';
bestyet2[0].popularity++;
}
if ((all_text[i]=='.') && (all_text[i+1]==' '))
{ all_text[i]='\n'; all_text[i+1]='\n';
bestyet2[0].popularity++;
}
if ((all_text[i]==',') && (all_text[i+1]==' '))
{ all_text[i]='\n'; all_text[i+1]='\n';
bestyet2[1].popularity++;
}
}
MAX_GTABLE=subtract_pointers(all_text_p,all_text)+1;
grandtable=my_calloc(4*sizeof(int32), MAX_GTABLE/4, "grandtable");
for (i=0, t=0; all_text+i<all_text_p; i++)
{ test.text[0]=all_text[i];
test.text[1]=all_text[i+1];
test.text[2]=all_text[i+2];
test.text[3]=0;
if ((test.text[0]=='\n')||(test.text[1]=='\n')||(test.text[2]=='\n'))
goto DontKeep;
for (j=0; j<no_occs; j++)
if (strcmp(test.text,tlbtab[j].text)==0)
goto DontKeep;
test.occurrences=0;
for (j=i+3; all_text+j<all_text_p; j++)
{ if ((all_text[i]==all_text[j])
&& (all_text[i+1]==all_text[j+1])
&& (all_text[i+2]==all_text[j+2]))
{ grandtable[t+test.occurrences]=j;
test.occurrences++;
if (t+test.occurrences==MAX_GTABLE)
{ printf("All %ld cross-references used\n",
(long int) MAX_GTABLE);
goto Built;
}
}
}
if (test.occurrences>=2)
{ tlbtab[no_occs]=test;
tlbtab[no_occs].intab=t; t+=tlbtab[no_occs].occurrences;
if (max<tlbtab[no_occs].occurrences)
max=tlbtab[no_occs].occurrences;
no_occs++;
if (no_occs==MAX_TLBS)
{ printf("All %d three-letter-blocks used\n",
MAX_TLBS);
goto Built;
}
}
DontKeep: ;
}
Built:
grandflags=my_calloc(sizeof(int), max, "grandflags");
printf("Cross-reference table (%ld entries) built...\n",
(long int) no_occs);
/* for (i=0; i<no_occs; i++)
printf("%4d %4d '%s' %d\n",i,tlbtab[i].intab,tlbtab[i].text,
tlbtab[i].occurrences);
*/
for (i=0; i<64; i++) bestyet2[i].length=0; selected=2;
available=256;
while ((available>0)&&(selected<64))
{ printf("Pass %d\n", ++pass_no);
optimise_pass();
available=0;
for (i=0; i<256; i++)
if (bestyet[i].score!=0)
{ available++;
nl=bestyet[i].length;
for (j2=0; j2<nl; j2++) bestyet[i].text[j2]=
all_text[bestyet[i].location+j2];
bestyet[i].text[nl]=0;
}
/* printf("End of pass results:\n");
printf("\nno score freq string\n");
for (i=0; i<256; i++)
if (bestyet[i].score>0)
printf("%02d: %4d %4d '%s'\n", i, bestyet[i].score,
bestyet[i].popularity, bestyet[i].text);
*/
do
{ max=0;
for (i=0; i<256; i++)
if (max<bestyet[i].score)
{ max=bestyet[i].score;
maxat=i;
}
if (max>0)
{ bestyet2[selected++]=bestyet[maxat];
printf("Selection %2ld: '%s' (repeated %ld times, scoring %ld)\n",
(long int) selected,bestyet[maxat].text,
(long int) bestyet[maxat].popularity,
(long int) bestyet[maxat].score);
test.text[0]=bestyet[maxat].text[0];
test.text[1]=bestyet[maxat].text[1];
test.text[2]=bestyet[maxat].text[2];
test.text[3]=0;
for (i=0; i<no_occs; i++)
if (strcmp(test.text,tlbtab[i].text)==0)
break;
for (j=0; j<tlbtab[i].occurrences; j++)
{ if (memcmp(bestyet[maxat].text,
all_text+grandtable[tlbtab[i].intab+j],
bestyet[maxat].length)==0)
{ for (j2=0; j2<bestyet[maxat].length; j2++)
all_text[grandtable[tlbtab[i].intab+j]+j2]='\n';
}
}
for (i=0; i<256; i++)
if ((bestyet[i].score>0)&&
(any_overlap(bestyet[maxat].text,bestyet[i].text)==1))
{ bestyet[i].score=0;
/* printf("Discarding '%s' as overlapping\n",
bestyet[i].text); */
}
}
} while ((max>0)&&(available>0)&&(selected<64));
}
printf("\nChosen abbreviations (in Inform syntax):\n\n");
for (i=0; i<selected; i++)
printf("Abbreviate \"%s\";\n", bestyet2[i].text);
zcode_free_arrays();
}
extern void zcode_free_arrays(void)
{ my_free (&tlbtab,"tlb table");
my_free (&sub_buffer,"sub_buffer");
my_free (&bestyet,"bestyet");
my_free (&bestyet2,"bestyet2");
my_free (&grandtable,"grandtable");
my_free (&grandflags,"grandflags");
}
extern void init_zcode_vars(void)
{ almade_flag = 0;
pass_no = 0;
bestyet = NULL;
bestyet2 = NULL;
tlbtab = NULL;
grandtable = NULL;
grandflags = NULL;
text_transcribed = 0;
}
