Révision 133 pobysoC-4.0/src/test-pobyso-02.c

test-pobyso-02.c (revision 133)
29 29 
int
30 30 
main(int argc, char** argv)
31 31 
{
32 
  pobyso_func_exp_t f;
32 
  pobyso_func_exp_t f = NULL;
33 
  pobyso_func_exp_t one = NULL;
33 34 
  sollya_lib_init();
34 35 
  pobyso_set_canonical_on();
35 36 
  f = pobyso_parse_string(argv[1]);
......
46 47 
        argv[1]);
47 48 
  }
48 49 
  sollya_lib_clear_obj(f);
50 
  /*  */
51 
  one = pobyso_parse_string("1");
52 
  if (pobyso_is_function(one))
53 
  {
54 
    pobyso_is_constant_expression(one);
55 
    fprintf(stdout, "%s is a function.\n", "1");
56 
  }
57 
  else
58 
  {
59 
    fprintf(stdout,"%s is not a function.\n", "1");
60 
  }
61 
  sollya_lib_clear_obj(one);
62 

  		





  49
  63
  
    
  sollya_lib_close();


  		





  50
  64
  
    
  return 0;


  		





  51
  65
  
    
} /* End main */


  		












Formats disponibles :
  Unified diff