trafo.c

这是一个Linux下的集成开发环境

 {
  tString prev_class;
  {
/* line 362 "java.puma" */

/* line 362 "java.puma" */
   prev_class = cur_class_ptr;
/* line 363 "java.puma" */
   cur_class_ptr = GetCStr (yyP16->my_interface.ident);
/* line 364 "java.puma" */
   Traverse (yyP16->my_interface.block);
/* line 365 "java.puma" */
   cur_class_ptr = prev_class;
/* line 366 "java.puma" */
   yyP16 = yyP16->my_interface.next;
   goto yyRecursion;
  }
 }

  case kmethod:
/* line 368 "java.puma" */
  {
/* line 369 "java.puma" */
   cur_method_ptr = GetCStr (yyP16->method.ident);
/* line 370 "java.puma" */
   to_types (yyP16->method.decl_list, cur_arg_types);
/* line 370 "java.puma" */
   cur_arg_types_ptr = cur_arg_types;
/* line 371 "java.puma" */
   Traverse (yyP16->method.decl_list);
/* line 372 "java.puma" */
   Traverse (yyP16->method.type);
/* line 373 "java.puma" */
   Texception (yyP16->method.throws);
/* line 374 "java.puma" */
   Traverse (yyP16->method.block);
/* line 375 "java.puma" */
   yyP16 = yyP16->method.next;
   goto yyRecursion;
  }

  case kconstructor:
/* line 377 "java.puma" */
  {
/* line 378 "java.puma" */
   cur_method_ptr = GetCStr (yyP16->constructor.ident);
/* line 379 "java.puma" */
   to_types (yyP16->constructor.decl_list, cur_arg_types);
/* line 379 "java.puma" */
   cur_arg_types_ptr = cur_arg_types;
/* line 380 "java.puma" */
   Traverse (yyP16->constructor.decl_list);
/* line 381 "java.puma" */
   Texception (yyP16->constructor.throws);
/* line 382 "java.puma" */
   Traverse (yyP16->constructor.block);
/* line 383 "java.puma" */
   yyP16 = yyP16->constructor.next;
   goto yyRecursion;
  }

  case kvar_decl:
/* line 385 "java.puma" */
  {
/* line 386 "java.puma" */
   cur_method_ptr = null;
/* line 386 "java.puma" */
   cur_arg_types_ptr = null;
/* line 387 "java.puma" */
   Traverse (yyP16->var_decl.type);
/* line 388 "java.puma" */
   Traverse (yyP16->var_decl.decl_list);
/* line 389 "java.puma" */
   yyP16 = yyP16->var_decl.next;
   goto yyRecursion;
  }

  case kstatic_initializer:
/* line 391 "java.puma" */
  {
/* line 392 "java.puma" */
   cur_method_ptr = null;
/* line 392 "java.puma" */
   cur_arg_types_ptr = null;
/* line 393 "java.puma" */
   Traverse (yyP16->static_initializer.statement_c);
/* line 394 "java.puma" */
   yyP16 = yyP16->static_initializer.next;
   goto yyRecursion;
  }

  case kinitializer:
/* line 396 "java.puma" */
  {
/* line 397 "java.puma" */
   cur_method_ptr = null;
/* line 397 "java.puma" */
   cur_arg_types_ptr = null;
/* line 398 "java.puma" */
   Traverse (yyP16->initializer.statement_c);
/* line 399 "java.puma" */
   yyP16 = yyP16->initializer.next;
   goto yyRecursion;
  }

  case kparameter:
/* line 401 "java.puma" */
  {
/* line 402 "java.puma" */
   Traverse (yyP16->parameter.type);
/* line 403 "java.puma" */
   Traverse (yyP16->parameter.array);
/* line 404 "java.puma" */
   yyP16 = yyP16->parameter.next;
   goto yyRecursion;
  }

  case kvariable:
  if (yyP16->variable.expression->Kind == knoexpression) {
/* line 406 "java.puma" */
  {
/* line 407 "java.puma" */
   yyP16 = yyP16->variable.next;
   goto yyRecursion;
  }

  }
  if (yyP16->variable.env->Kind == kenv2) {
/* line 409 "java.puma" */
  {
/* line 410 "java.puma" */
   put_cross_ref (PAF_REF_TO_MBR_VAR, PAF_MBR_FUNC_DEF, PAF_REF_SCOPE_GLOBAL, cur_class_ptr, cur_method_ptr, cur_arg_types_ptr, get_class_name_2 (yyP16->variable.env->env2.env1 -> env . object), GetCStr (yyP16->variable.ident), null, current_file, (int)  yyP16->variable.pos . Line, PAF_REF_WRITE);
/* line 414 "java.puma" */
   Traverse (yyP16->variable.expression);
/* line 415 "java.puma" */
   yyP16 = yyP16->variable.next;
   goto yyRecursion;
  }

  }
/* line 417 "java.puma" */
  {
/* line 418 "java.puma" */
   put_cross_ref (PAF_REF_TO_LOCAL_VAR, PAF_MBR_FUNC_DEF, PAF_REF_SCOPE_LOCAL, cur_class_ptr, cur_method_ptr, cur_arg_types_ptr, null, GetCStr (yyP16->variable.ident), null, current_file, (int)  yyP16->variable.pos . Line, PAF_REF_WRITE);
/* line 421 "java.puma" */
   Traverse (yyP16->variable.expression);
/* line 422 "java.puma" */
   yyP16 = yyP16->variable.next;
   goto yyRecursion;
  }

  case kcompound_stmt:
/* line 424 "java.puma" */
  {
/* line 425 "java.puma" */
   yyP16 = yyP16->compound_stmt.statement_list;
   goto yyRecursion;
  }

  case kexpression_stmt:
/* line 427 "java.puma" */
  {
/* line 428 "java.puma" */
   yyP16 = yyP16->expression_stmt.expression;
   goto yyRecursion;
  }

  case kvar_decl_stmt:
/* line 430 "java.puma" */
  {
/* line 431 "java.puma" */
   Traverse (yyP16->var_decl_stmt.type);
/* line 432 "java.puma" */
   yyP16 = yyP16->var_decl_stmt.decl_list;
   goto yyRecursion;
  }

  case ktype_decl_stmt:
/* line 434 "java.puma" */
  {
/* line 435 "java.puma" */
   yyP16 = yyP16->type_decl_stmt.type_decl;
   goto yyRecursion;
  }

  case kif_else_stmt:
/* line 437 "java.puma" */
  {
/* line 438 "java.puma" */
   Traverse (yyP16->if_else_stmt.expression);
/* line 439 "java.puma" */
   Traverse (yyP16->if_else_stmt.then);
/* line 440 "java.puma" */
   yyP16 = yyP16->if_else_stmt.Else;
   goto yyRecursion;
  }

  case kif_stmt:
/* line 442 "java.puma" */
  {
/* line 443 "java.puma" */
   Traverse (yyP16->if_stmt.expression);
/* line 444 "java.puma" */
   yyP16 = yyP16->if_stmt.then;
   goto yyRecursion;
  }

  case kwhile_stmt:
/* line 446 "java.puma" */
  {
/* line 447 "java.puma" */
   Traverse (yyP16->while_stmt.expression);
/* line 448 "java.puma" */
   yyP16 = yyP16->while_stmt.statement;
   goto yyRecursion;
  }

  case kdo_stmt:
/* line 450 "java.puma" */
  {
/* line 451 "java.puma" */
   Traverse (yyP16->do_stmt.statement);
/* line 452 "java.puma" */
   yyP16 = yyP16->do_stmt.expression;
   goto yyRecursion;
  }

  case kbreak_id_stmt:
/* line 454 "java.puma" */
  {
/* line 455 "java.puma" */
   yyP16 = yyP16->break_id_stmt.expression;
   goto yyRecursion;
  }

  case kcontinue_id_stmt:
/* line 457 "java.puma" */
  {
/* line 458 "java.puma" */
   yyP16 = yyP16->continue_id_stmt.expression;
   goto yyRecursion;
  }

  case kreturn_expr_stmt:
/* line 460 "java.puma" */
  {
/* line 461 "java.puma" */
   yyP16 = yyP16->return_expr_stmt.expression;
   goto yyRecursion;
  }

  case kfor_stmt:
/* line 463 "java.puma" */
  {
/* line 464 "java.puma" */
   Traverse (yyP16->for_stmt.for_init);
/* line 465 "java.puma" */
   Traverse (yyP16->for_stmt.expression);
/* line 466 "java.puma" */
   Traverse (yyP16->for_stmt.for_incr);
/* line 467 "java.puma" */
   yyP16 = yyP16->for_stmt.statement;
   goto yyRecursion;
  }

  case kthrow_stmt:
/* line 469 "java.puma" */
  {
/* line 470 "java.puma" */
   yyP16 = yyP16->throw_stmt.expression;
   goto yyRecursion;
  }

  case ksynchronized_stmt:
/* line 472 "java.puma" */
  {
/* line 473 "java.puma" */
   Traverse (yyP16->synchronized_stmt.expression);
/* line 474 "java.puma" */
   yyP16 = yyP16->synchronized_stmt.statement;
   goto yyRecursion;
  }

  case klabeled_stmt:
/* line 476 "java.puma" */
  {
/* line 477 "java.puma" */
   yyP16 = yyP16->labeled_stmt.statement;
   goto yyRecursion;
  }

  case ktry_stmt:
/* line 479 "java.puma" */
  {
/* line 480 "java.puma" */
   Traverse (yyP16->try_stmt.statement);
/* line 481 "java.puma" */
   Traverse (yyP16->try_stmt.catch_list);
/* line 482 "java.puma" */
   yyP16 = yyP16->try_stmt.finally;
   goto yyRecursion;
  }

  case kswitch_stmt:
/* line 484 "java.puma" */
  {
/* line 485 "java.puma" */
   Traverse (yyP16->switch_stmt.expression);
/* line 486 "java.puma" */
   yyP16 = yyP16->switch_stmt.switch_list;
   goto yyRecursion;
  }

  case kstatement:
/* line 488 "java.puma" */
  {
/* line 489 "java.puma" */
   Traverse (yyP16->statement.statement);
/* line 490 "java.puma" */
   yyP16 = yyP16->statement.next;
   goto yyRecursion;
  }

  case kswitch_:
/* line 492 "java.puma" */
  {
/* line 493 "java.puma" */
   Traverse (yyP16->switch_.expression_list);
/* line 494 "java.puma" */
   Traverse (yyP16->switch_.statement_list);
/* line 495 "java.puma" */
   yyP16 = yyP16->switch_.next;
   goto yyRecursion;
  }

  case kcatch:
  if (yyP16->catch.decl_list->Kind == kparameter) {
/* line 497 "java.puma" */
  {
/* line 498 "java.puma" */
   Texception (yyP16->catch.decl_list->parameter.type);
/* line 499 "java.puma" */
   Traverse (yyP16->catch.statement);
/* line 500 "java.puma" */
   yyP16 = yyP16->catch.next;
   goto yyRecursion;
  }

  }
  break;
  case knamed_type:
/* line 502 "java.puma" */
  {
/* line 503 "java.puma" */
   Tclass (yyP16->named_type.qualified_symbol);
  }
   return;

  case karray_type:
/* line 505 "java.puma" */
  {
/* line 506 "java.puma" */
   yyP16 = yyP16->array_type.type;
   goto yyRecursion;
  }

  case kexpression:
/* line 508 "java.puma" */
  {
/* line 509 "java.puma" */
   Traverse (yyP16->expression.expression);
/* line 510 "java.puma" */
   yyP16 = yyP16->expression.next;
   goto yyRecursion;
  }

  case kqualification:
/* line 512 "java.puma" */
 {
  tTree id_obj;
  {
/* line 513 "java.puma" */

/* line 513 "java.puma" */
   id_obj = Tidentify (yyP16);
/* line 514 "java.puma" */
   if (! (id_obj == nnoobject)) goto yyL37;
  {
/* line 515 "java.puma" */
   to_types (yyP16->qualification.qualified_symbol, ref_class);
/* line 516 "java.puma" */
   put_cross_ref (PAF_REF_TO_CLASS, PAF_MBR_FUNC_DEF, PAF_REF_SCOPE_GLOBAL, cur_class_ptr, cur_method_ptr, cur_arg_types_ptr, null, ref_class, null, current_file, (int)  yyP16->qualification.qualified_symbol->qualified_symbol.pos . Line, acc);
/* line 519 "java.puma" */
   put_cross_ref (no_of_args >= 0 ? PAF_REF_TO_MBR_FUNC : PAF_REF_TO_MBR_VAR, PAF_MBR_FUNC_DEF, PAF_REF_SCOPE_GLOBAL, cur_class_ptr, cur_method_ptr, cur_arg_types_ptr, ref_class, GetCStr (yyP16->qualification.ident), null, current_file, (int)  yyP16->qualification.pos . Line, acc);
  }
  }
   return;
 }
yyL37:;

/* line 524 "java.puma" */
  {
/* line 525 "java.puma" */
   Tqualification (yyP16);
  }
   return;

  case kident:
/* line 527 "java.puma" */
  {
/* line 528 "java.puma" */
  Tidentify (yyP16); 
/* line 529 "java.puma" */
   use_object (yyP16);
  }
   return;

  case kunary:
/* line 531 "java.puma" */
 {
  int acc_save;
  {
/* line 532 "java.puma" */

/* line 533 "java.puma" */

   switch (yyP16->unary.operator) {
   case post_decr	:
   case post_incr	:
   case pre_decr	:
   case pre_incr	:
      acc_save = acc; acc = PAF_REF_WRITE;
      Traverse (yyP16->unary.expression);
      acc = acc_save;
      break;
   default		:
      Traverse (yyP16->unary.expression);
   }

  }
   return;
 }

  case kbinary:
/* line 548 "java.puma" */
  {
/* line 549 "java.puma" */
   Traverse (yyP16->binary.lop);
/* line 550 "java.puma" */
   yyP16 = yyP16->binary.rop;
   goto yyRecursion;
  }

  case kassign:
/* line 552 "java.puma" */
  {
/* line 553 "java.puma" */
   acc = PAF_REF_WRITE;
/* line 554 "java.puma" */
   Traverse (yyP16->assign.lval);
/* line 555 "java.puma" */
   acc = PAF_REF_READ;
/* line 556 "java.puma" */
   yyP16 = yyP16->assign.rval;
   goto yyRecursion;
  }

  case kaggregate:
/* line 558 "java.puma" */
  {
/* line 559 "java.puma" */
   yyP16 = yyP16->aggregate.expression_list;
   goto yyRecursion;
  }

  case kcall:
/* line 561 "java.puma" */
 {
  int acc_save;
  {
/* line 562 "java.puma" */
   no_of_args = yyP16->call.expression_list->expression_list.no_of_args;
/* line 563 "java.puma" */
   Traverse (yyP16->call.expression);
/* line 564 "java.puma" */
   no_of_args = - 1;
/* line 565 "java.puma" */

/* line 565 "java.puma" */
   acc_save = acc;
/* line 565 "java.puma" */
   acc = PAF_REF_PASS;
/* line 566 "java.puma" */
   Traverse (yyP16->call.expression_list);