encode.c

有用

{
yy yyb;
yy yy_0_1;
yy yyv_Elems;
yy yy_0_1_1;
yy yyv_Elem;
yy yy_0_1_2;
yy yy_1_1;
yy yy_2_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_48_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yyv_Elems = yy_0_1_1;
yyv_Elem = yy_0_1_2;
yy_1_1 = yyv_Elems;
write_code_ELEMS(yy_1_1);
yy_2_1 = yyv_Elem;
write_code_ELEM(yy_2_1);
return;
yyfl_48_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_48_2;
return;
yyfl_48_2 : ;
}
yyErr(2,407);
}
write_code_ELEM(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Id;
yy yy_0_1_1;
yy yy_0_1_2;
yy yy_0_1_3;
yy yy_1_1;
yy yyv_LhsKey;
yy yy_1_2;
yy yyv_Pos;
yy yy_2;
yy yy_3_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_49_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yy_0_1_3 = ((yy)yy_0_1[3]);
yyv_Id = yy_0_1_1;
yy_1_1 = yyv_Id;
LhsKeyForNonterm(yy_1_1, &yy_1_2);
yyv_LhsKey = yy_1_2;
yy_2 = (yy) yyv_LhsKey[4];
if (yy_2 == (yy) yyu) yyErr(1,416);
yyv_Pos = yy_2;
yy_3_1 = yyv_Pos;
set_field(yy_3_1);
return;
yyfl_49_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy yyv_N;
yy yy_0_1_1;
yy yyv_TERMBASE;
yy yy_1;
yy yy_2_1;
yy yy_2_1_1;
yy yy_2_1_2;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_49_2;
yy_0_1_1 = ((yy)yy_0_1[1]);
yyv_N = yy_0_1_1;
yy_1 = yyglov_term_base;
if (yy_1 == (yy) yyu) yyErr(1,419);
yyv_TERMBASE = yy_1;
yy_2_1_1 = yyv_N;
yy_2_1_2 = yyv_TERMBASE;
yy_2_1 = (yy)(((long)yy_2_1_1)+((long)yy_2_1_2));
set_field(yy_2_1);
return;
yyfl_49_2 : ;
}
{
yy yyb;
yy yy_0_1;
yy yyv_SKey;
yy yy_0_1_1;
yy yy_0_1_2;
yy yy_0_1_3;
yy yy_1_1;
yy yyv_LhsKey;
yy yy_1_2;
yy yyv_Pos;
yy yy_2;
yy yy_3_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 3) goto yyfl_49_3;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yy_0_1_3 = ((yy)yy_0_1[3]);
yyv_SKey = yy_0_1_1;
yy_1_1 = yyv_SKey;
LhsKeyForSubphrase(yy_1_1, &yy_1_2);
yyv_LhsKey = yy_1_2;
yy_2 = (yy) yyv_LhsKey[4];
if (yy_2 == (yy) yyu) yyErr(1,423);
yyv_Pos = yy_2;
yy_3_1 = yyv_Pos;
set_field(yy_3_1);
return;
yyfl_49_3 : ;
}
yyErr(2,413);
}
set_field(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yyv_N;
yy yy_0_1;
yy yyv_X;
yy yy_1;
yy yy_2_1;
yy yy_3_1;
yy yy_4_1;
yy yy_5_1;
yy yy_6_1;
yy yy_8;
yy yy_8_1;
yy yy_8_2;
yy_0_1 = yyin_1;
yyv_N = yy_0_1;
yy_1 = yyglov_FieldIndex;
if (yy_1 == (yy) yyu) yyErr(1,430);
yyv_X = yy_1;
yy_2_1 = ((yy)"/* ");
Put(yy_2_1);
yy_3_1 = yyv_X;
PutI(yy_3_1);
yy_4_1 = ((yy)" */ ");
Put(yy_4_1);
yy_5_1 = yyv_N;
PutI(yy_5_1);
yy_6_1 = ((yy)",");
Put(yy_6_1);
Nl();
yy_8_1 = yyv_X;
yy_8_2 = ((yy)1);
yy_8 = (yy)(((long)yy_8_1)+((long)yy_8_2));
yyglov_FieldIndex = yy_8;
return;
}
}
write_annotation_LHSKEYS(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Keys;
yy yy_0_1_1;
yy yyv_Key;
yy yy_0_1_2;
yy yy_1_1;
yy yy_2_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_52_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yyv_Keys = yy_0_1_1;
yyv_Key = yy_0_1_2;
yy_1_1 = yyv_Keys;
write_annotation_LHSKEYS(yy_1_1);
yy_2_1 = yyv_Key;
write_annotation_LHSKEY(yy_2_1);
return;
yyfl_52_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_52_2;
return;
yyfl_52_2 : ;
}
yyErr(2,436);
}
write_annotation_LHSKEY(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yyv_Key;
yy yy_0_1;
yy yyv_Clauses;
yy yy_1;
yy yy_2_1;
yy_0_1 = yyin_1;
yyv_Key = yy_0_1;
yy_1 = (yy) yyv_Key[3];
if (yy_1 == (yy) yyu) yyErr(1,446);
yyv_Clauses = yy_1;
yy_2_1 = yyv_Clauses;
write_annotation_CLAUSEKEYS(yy_2_1);
return;
}
}
write_annotation_CLAUSEKEYS(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Clauses;
yy yy_0_1_1;
yy yyv_Clause;
yy yy_0_1_2;
yy yy_1_1;
yy yy_2_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_54_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yyv_Clauses = yy_0_1_1;
yyv_Clause = yy_0_1_2;
yy_1_1 = yyv_Clauses;
write_annotation_CLAUSEKEYS(yy_1_1);
yy_2_1 = yyv_Clause;
write_annotation_CLAUSEKEY(yy_2_1);
return;
yyfl_54_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_54_2;
return;
yyfl_54_2 : ;
}
yyErr(2,449);
}
write_annotation_CLAUSEKEY(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yyv_Key;
yy yy_0_1;
yy yyv_Elems;
yy yy_1;
yy yyv_Chain;
yy yy_2;
yy yy_3_1;
yy yy_4_1;
yy yyv_LhsPos;
yy yy_5;
yy yy_6_1;
yy yy_6_1_1;
yy yyv_Annotation;
yy yy_7;
yy yy_8_1_1_1;
yy yy_8_1_1_2;
yy yyv_N;
yy yy_8_1_1_2_1;
yy yy_8_1_2_1;
yy yy_8_2_1_1;
yy yy_8_2_1_2;
yy yy_8_2_2_1;
yy yy_8_2_2_1_1;
yy_0_1 = yyin_1;
yyv_Key = yy_0_1;
yy_1 = (yy) yyv_Key[1];
if (yy_1 == (yy) yyu) yyErr(1,457);
yyv_Elems = yy_1;
yy_2 = (yy) yyv_Key[9];
if (yy_2 == (yy) yyu) yyErr(1,459);
yyv_Chain = yy_2;
yy_3_1 = yyv_Chain;
set_field(yy_3_1);
yy_4_1 = yyv_Elems;
write_annotation_ELEMS(yy_4_1);
yy_5 = (yy) yyv_Key[8];
if (yy_5 == (yy) yyu) yyErr(1,464);
yyv_LhsPos = yy_5;
yy_6_1_1 = yyv_LhsPos;
yy_6_1 = (yy)(-((long)yy_6_1_1));
set_field(yy_6_1);
yy_7 = (yy) yyv_Key[4];
if (yy_7 == (yy) yyu) yyErr(1,467);
yyv_Annotation = yy_7;
{
yy yysb = yyb;
yy_8_1_1_1 = yyv_Annotation;
yy_8_1_1_2 = yy_8_1_1_1;
if (yy_8_1_1_2[0] != 1) goto yyfl_55_1_8_1;
yy_8_1_1_2_1 = ((yy)yy_8_1_1_2[1]);
yyv_N = yy_8_1_1_2_1;
yy_8_1_2_1 = yyv_N;
set_field(yy_8_1_2_1);
goto yysl_55_1_8;
yyfl_55_1_8_1 : ;
yy_8_2_1_1 = yyv_Annotation;
yy_8_2_1_2 = yy_8_2_1_1;
if (yy_8_2_1_2[0] != 2) goto yyfl_55_1_8_2;
yy_8_2_2_1_1 = ((yy)1);
yy_8_2_2_1 = (yy)(-((long)yy_8_2_2_1_1));
set_field(yy_8_2_2_1);
goto yysl_55_1_8;
yyfl_55_1_8_2 : ;
goto yyfl_55_1;
yysl_55_1_8 : ;
yyb = yysb;
}
return;
yyfl_55_1 : ;
}
yyErr(2,455);
}
write_annotation_ELEMS(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Elems;
yy yy_0_1_1;
yy yyv_Elem;
yy yy_0_1_2;
yy yy_1_1;
yy yy_2_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_56_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yyv_Elems = yy_0_1_1;
yyv_Elem = yy_0_1_2;
yy_1_1 = yyv_Elems;
write_annotation_ELEMS(yy_1_1);
yy_2_1 = yyv_Elem;
write_annotation_ELEM(yy_2_1);
return;
yyfl_56_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_56_2;
return;
yyfl_56_2 : ;
}
yyErr(2,476);
}
write_annotation_ELEM(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Id;
yy yy_0_1_1;
yy yyv_Annotation;
yy yy_0_1_2;
yy yy_0_1_3;
yy yy_1_1_1_1;
yy yy_1_1_1_2;
yy yy_1_1_2_1;
yy yy_1_2_1_1;
yy yy_1_2_1_2;
yy yy_1_2_2_1;
yy yy_1_3_1_1;
yy yy_1_3_1_2;
yy yy_1_3_2_1;
yy yy_1_3_2_1_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_57_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yy_0_1_3 = ((yy)yy_0_1[3]);
yyv_Id = yy_0_1_1;
yyv_Annotation = yy_0_1_2;
{
yy yysb = yyb;
yy_1_1_1_1 = yyv_Annotation;
yy_1_1_1_2 = yy_1_1_1_1;
if (yy_1_1_1_2[0] != 1) goto yyfl_57_1_1_1;
yy_1_1_2_1 = ((yy)1);
set_field(yy_1_1_2_1);
goto yysl_57_1_1;
yyfl_57_1_1_1 : ;
yy_1_2_1_1 = yyv_Annotation;
yy_1_2_1_2 = yy_1_2_1_1;
if (yy_1_2_1_2[0] != 2) goto yyfl_57_1_1_2;
yy_1_2_2_1 = ((yy)2);
set_field(yy_1_2_2_1);
goto yysl_57_1_1;
yyfl_57_1_1_2 : ;
yy_1_3_1_1 = yyv_Annotation;
yy_1_3_1_2 = yy_1_3_1_1;
if (yy_1_3_1_2[0] != 3) goto yyfl_57_1_1_3;
yy_1_3_2_1_1 = ((yy)1);
yy_1_3_2_1 = (yy)(-((long)yy_1_3_2_1_1));
set_field(yy_1_3_2_1);
goto yysl_57_1_1;
yyfl_57_1_1_3 : ;
goto yyfl_57_1;
yysl_57_1_1 : ;
yyb = yysb;
}
return;
yyfl_57_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy yyv_N;
yy yy_0_1_1;
yy yyv_TERMBASE;
yy yy_1;
yy yy_2_1;
yy yy_2_1_1;
yy yy_2_1_2;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_57_2;
yy_0_1_1 = ((yy)yy_0_1[1]);
yyv_N = yy_0_1_1;
yy_1 = yyglov_term_base;
if (yy_1 == (yy) yyu) yyErr(1,495);
yyv_TERMBASE = yy_1;
yy_2_1_1 = yyv_N;
yy_2_1_2 = yyv_TERMBASE;
yy_2_1 = (yy)(((long)yy_2_1_1)+((long)yy_2_1_2));
set_field(yy_2_1);
return;
yyfl_57_2 : ;
}
{
yy yyb;
yy yy_0_1;
yy yyv_SKey;
yy yy_0_1_1;
yy yyv_Annotation;
yy yy_0_1_2;
yy yy_0_1_3;
yy yy_1_1_1_1;
yy yy_1_1_1_2;
yy yy_1_1_2_1;
yy yy_1_2_1_1;
yy yy_1_2_1_2;
yy yy_1_2_2_1;
yy yy_1_3_1_1;
yy yy_1_3_1_2;
yy yy_1_3_2_1;
yy yy_1_3_2_1_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 3) goto yyfl_57_3;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yy_0_1_3 = ((yy)yy_0_1[3]);
yyv_SKey = yy_0_1_1;
yyv_Annotation = yy_0_1_2;
{
yy yysb = yyb;
yy_1_1_1_1 = yyv_Annotation;
yy_1_1_1_2 = yy_1_1_1_1;
if (yy_1_1_1_2[0] != 1) goto yyfl_57_3_1_1;
yy_1_1_2_1 = ((yy)1);
set_field(yy_1_1_2_1);
goto yysl_57_3_1;
yyfl_57_3_1_1 : ;
yy_1_2_1_1 = yyv_Annotation;
yy_1_2_1_2 = yy_1_2_1_1;
if (yy_1_2_1_2[0] != 2) goto yyfl_57_3_1_2;
yy_1_2_2_1 = ((yy)2);
set_field(yy_1_2_2_1);
goto yysl_57_3_1;
yyfl_57_3_1_2 : ;
yy_1_3_1_1 = yyv_Annotation;
yy_1_3_1_2 = yy_1_3_1_1;
if (yy_1_3_1_2[0] != 3) goto yyfl_57_3_1_3;
yy_1_3_2_1_1 = ((yy)1);
yy_1_3_2_1 = (yy)(-((long)yy_1_3_2_1_1));
set_field(yy_1_3_2_1);
goto yysl_57_3_1;
yyfl_57_3_1_3 : ;
goto yyfl_57_3;
yysl_57_3_1 : ;
yyb = yysb;
}
return;
yyfl_57_3 : ;
}
yyErr(2,482);
}
write_coordinates_LHSKEYS(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Keys;
yy yy_0_1_1;
yy yyv_Key;
yy yy_0_1_2;
yy yy_1_1;
yy yy_2_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_58_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yyv_Keys = yy_0_1_1;
yyv_Key = yy_0_1_2;
yy_1_1 = yyv_Keys;
write_coordinates_LHSKEYS(yy_1_1);
yy_2_1 = yyv_Key;
write_coordinates_LHSKEY(yy_2_1);
return;
yyfl_58_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_58_2;
return;
yyfl_58_2 : ;
}
yyErr(2,511);
}
write_coordinates_LHSKEY(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yyv_Key;
yy yy_0_1;
yy yyv_Clauses;
yy yy_1;
yy yy_2_1;
yy_0_1 = yyin_1;
yyv_Key = yy_0_1;
yy_1 = (yy) yyv_Key[3];
if (yy_1 == (yy) yyu) yyErr(1,521);
yyv_Clauses = yy_1;
yy_2_1 = yyv_Clauses;
write_coordinates_CLAUSEKEYS(yy_2_1);
return;
}
}
write_coordinates_CLAUSEKEYS(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Clauses;
yy yy_0_1_1;
yy yyv_Clause;
yy yy_0_1_2;
yy yy_1_1;
yy yy_2_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_60_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yyv_Clauses = yy_0_1_1;
yyv_Clause = yy_0_1_2;
yy_1_1 = yyv_Clauses;
write_coordinates_CLAUSEKEYS(yy_1_1);
yy_2_1 = yyv_Clause;
write_coordinates_CLAUSEKEY(yy_2_1);
return;
yyfl_60_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_60_2;
return;
yyfl_60_2 : ;
}
yyErr(2,524);
}
write_coordinates_CLAUSEKEY(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yyv_Key;
yy yy_0_1;
yy yyv_Elems;
yy yy_1;
yy yyv_Chain;
yy yy_2;
yy yy_3_1;
yy yy_4_1;
yy yyv_LhsPos;
yy yy_5;
yy yy_6_1;
yy yyv_Coordinate;
yy yy_7;
yy yy_8_1;
yy yyv_N;
yy yy_8_2;
yy yy_9_1;
yy_0_1 = yyin_1;
yyv_Key = yy_0_1;
yy_1 = (yy) yyv_Key[1];
if (yy_1 == (yy) yyu) yyErr(1,532);
yyv_Elems = yy_1;
yy_2 = (yy) yyv_Key[9];
if (yy_2 == (yy) yyu) yyErr(1,534);
yyv_Chain = yy_2;
yy_3_1 = ((yy)9999);
set_field(yy_3_1);
yy_4_1 = yyv_Elems;
write_coordinates_ELEMS(yy_4_1);
yy_5 = (yy) yyv_Key[8];
if (yy_5 == (yy) yyu) yyErr(1,539);
yyv_LhsPos = yy_5;
yy_6_1 = ((yy)9999);
set_field(yy_6_1);
yy_7 = (yy) yyv_Key[5];
if (yy_7 == (yy) yyu) yyErr(1,542);
yyv_Coordinate = yy_7;
yy_8_1 = yyv_Coordinate;
POS_to_INT(yy_8_1, &yy_8_2);
yyv_N = yy_8_2;
yy_9_1 = yyv_N;
set_field(yy_9_1);
return;
}
}
write_coordinates_ELEMS(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Elems;
yy yy_0_1_1;
yy yyv_Elem;
yy yy_0_1_2;
yy yy_1_1;
yy yy_2_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_62_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yyv_Elems = yy_0_1_1;
yyv_Elem = yy_0_1_2;
yy_1_1 = yyv_Elems;
write_coordinates_ELEMS(yy_1_1);
yy_2_1 = yyv_Elem;
write_coordinates_ELEM(yy_2_1);
return;
yyfl_62_1 : ;
}
{
yy yyb;
yy yy_0_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 2) goto yyfl_62_2;
return;
yyfl_62_2 : ;
}
yyErr(2,546);
}
write_coordinates_ELEM(yyin_1)
yy yyin_1;
{
{
yy yyb;
yy yy_0_1;
yy yyv_Id;
yy yy_0_1_1;
yy yyv_Annotation;
yy yy_0_1_2;
yy yyv_Coordinate;
yy yy_0_1_3;
yy yy_1_1;
yy yyv_N;
yy yy_1_2;
yy yy_2_1;
yy_0_1 = yyin_1;
if (yy_0_1[0] != 1) goto yyfl_63_1;
yy_0_1_1 = ((yy)yy_0_1[1]);
yy_0_1_2 = ((yy)yy_0_1[2]);
yy_0_1_3 = ((yy)yy_0_1[3]);
yyv_Id = yy_0_1_1;
yyv_Annotation = yy_0_1_2;
yyv_Coordinate = yy_0_1_3;
yy_1_1 = yyv_Coordinate;
POS_to_INT(yy_1_1, &yy_1_2);
yyv_N = yy_1_2;
yy_2_1 = yyv_N;