From c4e5cc4fc06b1c3503d3d6f1d5a5ee3d6f9aac7c Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Tue, 12 Sep 2017 12:57:04 +0200 Subject: [PATCH] use common::Streams for cmeasure --- aaccess2/src/aaccess.cpp | 2 +- aarbology2/src/aarbology.cpp | 2 +- acast2/src/acast.cpp | 2 +- acompaction2/src/acompaction.cpp | 2 +- aconversions2/src/aconversion.cpp | 2 +- aconvert2/src/aconvert.cpp | 2 +- aderivation2/src/aderivation.cpp | 2 +- adeterminize2/src/adeterminize.cpp | 2 +- aecho2/src/aecho.cpp | 2 +- aepsilon2/src/aepsilon.cpp | 2 +- agenerate2/src/agenerate.cpp | 2 +- aintegral2/src/aintegral.cpp | 2 +- aintrospection2/src/aintrospection.cpp | 2 +- alangop2/src/alangop.cpp | 2 +- aminimize2/src/aminimize.cpp | 2 +- anormalize2/src/anormalize.cpp | 2 +- aql2/src/aql.cpp | 2 +- aquery2/src/aquery.cpp | 2 +- arand2/src/arand.cpp | 2 +- araw2/src/araw.cpp | 2 +- arename2/src/arename.cpp | 2 +- areverse2/src/areverse.cpp | 2 +- arun2/src/arun.cpp | 2 +- astat2/src/astat.cpp | 2 +- astringology2/src/astringology.cpp | 2 +- atrim2/src/atrim.cpp | 2 +- tniceprint/src/tniceprint.cpp | 2 +- 27 files changed, 27 insertions(+), 27 deletions(-) diff --git a/aaccess2/src/aaccess.cpp b/aaccess2/src/aaccess.cpp index feb55f607f..3c4d38312c 100644 --- a/aaccess2/src/aaccess.cpp +++ b/aaccess2/src/aaccess.cpp @@ -208,7 +208,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/aarbology2/src/aarbology.cpp b/aarbology2/src/aarbology.cpp index cedbd20e50..5c9ef2b38f 100644 --- a/aarbology2/src/aarbology.cpp +++ b/aarbology2/src/aarbology.cpp @@ -219,7 +219,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/acast2/src/acast.cpp b/acast2/src/acast.cpp index 8b79e9787a..e24d7abb05 100644 --- a/acast2/src/acast.cpp +++ b/acast2/src/acast.cpp @@ -67,7 +67,7 @@ int main(int argc, char** argv) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch(const exception::CommonException& exception) { diff --git a/acompaction2/src/acompaction.cpp b/acompaction2/src/acompaction.cpp index 9aa03cad07..3792e3a8bb 100644 --- a/acompaction2/src/acompaction.cpp +++ b/acompaction2/src/acompaction.cpp @@ -58,7 +58,7 @@ int main(int argc, char** argv) { parser = cli::Parser ( cli::Lexer ( "execute $outputAutomaton >#stdout" ) ); parser.parse ( )->run ( environment ); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch (const exception::CommonException& exception) { diff --git a/aconversions2/src/aconversion.cpp b/aconversions2/src/aconversion.cpp index 0f0dd9fe9b..b6a775e7ef 100644 --- a/aconversions2/src/aconversion.cpp +++ b/aconversions2/src/aconversion.cpp @@ -81,7 +81,7 @@ int main ( int argc, char * argv[] ) { measurements::end(); measurements::end(); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch(const exception::CommonException& exception) { diff --git a/aconvert2/src/aconvert.cpp b/aconvert2/src/aconvert.cpp index 86fa89dd7d..bdd184f9be 100644 --- a/aconvert2/src/aconvert.cpp +++ b/aconvert2/src/aconvert.cpp @@ -251,7 +251,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/aderivation2/src/aderivation.cpp b/aderivation2/src/aderivation.cpp index aff33c232c..20012559ef 100644 --- a/aderivation2/src/aderivation.cpp +++ b/aderivation2/src/aderivation.cpp @@ -66,7 +66,7 @@ int main(int argc, char** argv) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch(const exception::CommonException& exception) { diff --git a/adeterminize2/src/adeterminize.cpp b/adeterminize2/src/adeterminize.cpp index b0e2784e98..c30256d2ca 100644 --- a/adeterminize2/src/adeterminize.cpp +++ b/adeterminize2/src/adeterminize.cpp @@ -61,7 +61,7 @@ int main ( int argc, char * * argv ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/aecho2/src/aecho.cpp b/aecho2/src/aecho.cpp index 4115251ff9..c70944a35b 100644 --- a/aecho2/src/aecho.cpp +++ b/aecho2/src/aecho.cpp @@ -60,7 +60,7 @@ int main(int argc, char** argv) { measurements::end ( ); measurements::end ( ); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch(const exception::CommonException& exception) { diff --git a/aepsilon2/src/aepsilon.cpp b/aepsilon2/src/aepsilon.cpp index 9cd9764ae9..2f53aaff2b 100644 --- a/aepsilon2/src/aepsilon.cpp +++ b/aepsilon2/src/aepsilon.cpp @@ -87,7 +87,7 @@ int main(int argc, char** argv) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch (const exception::CommonException& exception) { diff --git a/agenerate2/src/agenerate.cpp b/agenerate2/src/agenerate.cpp index 987e06d50c..714d0a8a41 100644 --- a/agenerate2/src/agenerate.cpp +++ b/agenerate2/src/agenerate.cpp @@ -97,7 +97,7 @@ int main ( int argc, char * argv[] ) { measurements::end(); measurements::end(); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/aintegral2/src/aintegral.cpp b/aintegral2/src/aintegral.cpp index 00a515e953..89e687e23b 100644 --- a/aintegral2/src/aintegral.cpp +++ b/aintegral2/src/aintegral.cpp @@ -66,7 +66,7 @@ int main(int argc, char** argv) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch(const exception::CommonException& exception) { diff --git a/aintrospection2/src/aintrospection.cpp b/aintrospection2/src/aintrospection.cpp index 2011614521..bf5a841ff2 100644 --- a/aintrospection2/src/aintrospection.cpp +++ b/aintrospection2/src/aintrospection.cpp @@ -177,7 +177,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/alangop2/src/alangop.cpp b/alangop2/src/alangop.cpp index 1d4fb28510..8457d8e13a 100644 --- a/alangop2/src/alangop.cpp +++ b/alangop2/src/alangop.cpp @@ -98,7 +98,7 @@ int main(int argc, char* argv[]) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch( const exception::CommonException & exception ) { diff --git a/aminimize2/src/aminimize.cpp b/aminimize2/src/aminimize.cpp index 84a7ebf879..d6243e1d50 100644 --- a/aminimize2/src/aminimize.cpp +++ b/aminimize2/src/aminimize.cpp @@ -73,7 +73,7 @@ int main(int argc, char** argv) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch (const exception::CommonException& exception) { diff --git a/anormalize2/src/anormalize.cpp b/anormalize2/src/anormalize.cpp index d9d269f644..58fcb8109c 100644 --- a/anormalize2/src/anormalize.cpp +++ b/anormalize2/src/anormalize.cpp @@ -106,7 +106,7 @@ int main ( int argc, char * * argv ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/aql2/src/aql.cpp b/aql2/src/aql.cpp index 479ac365fb..f94dd8297b 100644 --- a/aql2/src/aql.cpp +++ b/aql2/src/aql.cpp @@ -95,7 +95,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); if ( measure.getValue ( ) ) - ext::cmeasure << measurements::results ( ) << std::endl; + common::Streams::cmeasure << measurements::results ( ) << std::endl; if ( result == cli::Command::Result::QUIT ) return 0; diff --git a/aquery2/src/aquery.cpp b/aquery2/src/aquery.cpp index 5325b9df47..efbb851eb1 100644 --- a/aquery2/src/aquery.cpp +++ b/aquery2/src/aquery.cpp @@ -124,7 +124,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/arand2/src/arand.cpp b/arand2/src/arand.cpp index d8c2651b6f..bac9cee0e1 100644 --- a/arand2/src/arand.cpp +++ b/arand2/src/arand.cpp @@ -198,7 +198,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/araw2/src/araw.cpp b/araw2/src/araw.cpp index 23876ea9f4..f19d9a4c6b 100644 --- a/araw2/src/araw.cpp +++ b/araw2/src/araw.cpp @@ -118,7 +118,7 @@ int main(int argc, char** argv) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch(const exception::CommonException& exception) { diff --git a/arename2/src/arename.cpp b/arename2/src/arename.cpp index fb39412c1c..14bffe0efc 100644 --- a/arename2/src/arename.cpp +++ b/arename2/src/arename.cpp @@ -73,7 +73,7 @@ int main ( int argc, char * * argv ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/areverse2/src/areverse.cpp b/areverse2/src/areverse.cpp index 98206c807a..193e96aea9 100644 --- a/areverse2/src/areverse.cpp +++ b/areverse2/src/areverse.cpp @@ -61,7 +61,7 @@ int main(int argc, char** argv) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch (const exception::CommonException& exception) { diff --git a/arun2/src/arun.cpp b/arun2/src/arun.cpp index abfc6bc1f1..6224c45466 100644 --- a/arun2/src/arun.cpp +++ b/arun2/src/arun.cpp @@ -101,7 +101,7 @@ int main(int argc, char* argv[]) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/astat2/src/astat.cpp b/astat2/src/astat.cpp index 9f018a90fd..a325f1e49f 100644 --- a/astat2/src/astat.cpp +++ b/astat2/src/astat.cpp @@ -77,7 +77,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/astringology2/src/astringology.cpp b/astringology2/src/astringology.cpp index 07a8dd5831..31775860bb 100644 --- a/astringology2/src/astringology.cpp +++ b/astringology2/src/astringology.cpp @@ -219,7 +219,7 @@ int main ( int argc, char * argv[] ) { measurements::end ( ); measurements::end ( ); - if ( measure.getValue ( ) ) ext::cmeasure << measurements::results ( ) << std::endl; + if ( measure.getValue ( ) ) common::Streams::cmeasure << measurements::results ( ) << std::endl; return 0; } catch ( const exception::CommonException & exception ) { diff --git a/atrim2/src/atrim.cpp b/atrim2/src/atrim.cpp index b35527c1b0..6a3cfffacc 100644 --- a/atrim2/src/atrim.cpp +++ b/atrim2/src/atrim.cpp @@ -125,7 +125,7 @@ int main(int argc, char* argv[]) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch( const exception::CommonException & exception ) { diff --git a/tniceprint/src/tniceprint.cpp b/tniceprint/src/tniceprint.cpp index ea5bebb1db..e0f6da66e7 100644 --- a/tniceprint/src/tniceprint.cpp +++ b/tniceprint/src/tniceprint.cpp @@ -65,7 +65,7 @@ int main(int argc, char** argv) { measurements::end(); measurements::end(); - if(measure.getValue()) ext::cmeasure << measurements::results() << std::endl; + if(measure.getValue()) common::Streams::cmeasure << measurements::results() << std::endl; return 0; } catch(const exception::CommonException& exception) { -- GitLab