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 }