Package org.rascalmpl.library.cobra.util

Examples of org.rascalmpl.library.cobra.util.NullOutputStream


  }

  public IValue _quickcheck(IValue function, IBool verbose, IBool maxVerbose, IInteger maxDepth, IInteger tries,
      IEvaluatorContext eval) {

    NullOutputStream nullStream = new NullOutputStream();
    PrintWriter printer = new PrintWriter(nullStream);
    PrintWriter out = (verbose.getValue()) ? eval.getStdOut() : printer;

    ArrayList<AbstractFunction> functions = extractFunctions(function, eval);
View Full Code Here

TOP

Related Classes of org.rascalmpl.library.cobra.util.NullOutputStream

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.