00001 
00002 
00003 
00004 
00005 
00006 
00007 
00008 
00009 
00010 
00011 #include "yapi.h"
00012 #include "pc.h"
00013 #include <fstream>
00014 
00015 using namespace std;
00016 
00017 int main()
00018 {
00019   
00020   RTE rte;
00021 
00022   
00023   ofstream f("./Results/pc.out");
00024   rte.setOutStream(f);
00025 
00026   
00027   ofstream g("./Results/pc.err");
00028   rte.setErrorStream(g);
00029 
00030   
00031   PC pc( id("pc") );
00032 
00033   
00034   
00035   rte.start(pc);
00036 
00037   
00038   ofstream h("./Results/pc.workload");
00039   printWorkload(pc, h);
00040 
00041   
00042   ofstream i("./Results/pc.dot");
00043   printDotty(pc, i);
00044 
00045   f.close();
00046   g.close();
00047   h.close();
00048   i.close();
00049   
00050   return 0;
00051 }