Package statechum.analysis.learning.experiments.ExperimentRunner

Examples of statechum.analysis.learning.experiments.ExperimentRunner.HandleProcessIO

77
78
79
80
81
82
83
84
85
86
87
                erlangProcess.getOutputStream().write("halt().\n".getBytes());
                erlangProcess.getOutputStream().flush();
            } catch (IOException e1) {
                statechum.Helper.throwUnchecked("failed to communicate with Erlang process", e1);
            }
            ExperimentRunner.dumpStreams(erlangProcess, ErlangRunner.timeBetweenChecks, new HandleProcessIO() {

                @Override
                public void OnHeartBeat() {// no prodding is done for a short-running converter.
                }
View Full Code Here
264
265
266
267
268
269
270
271
272
273
274
    /** Evaluates the supplied command in Erlang environment.
     * @param 
     */
    public static void runErlang(String ErlangCommand) throws IOException {
        Process erlangProcess = Runtime.getRuntime().exec(new String[]{ErlangRunner.getErlangBin() + "erl", "-eval", ErlangCommand + ",halt()."}, null, new File(ErlangQSMOracle.ErlangFolder));
        ExperimentRunner.dumpStreams(erlangProcess, LTL_to_ba.timeBetweenHearbeats, new HandleProcessIO() {

            @Override
            public void OnHeartBeat() {// no prodding is done for a short-running converter.
            }

View Full Code Here
144
145
146
147
148
149
150
151
152
153
154
          ErlangRunner.dumpProcessOutputOnFailure("dialyzer",p);
        }
        // Receive the type info....
        Process p = Runtime.getRuntime().exec(new String[]{ErlangRunner.getErlangBin()+"typer","--plt",ErlangRunner.getName(f, ERL.PLT),ErlangRunner.getName(f, ERL.ERL)}, null, f.getParentFile());
      final StringBuffer err=new StringBuffer(),out=new StringBuffer();
        ExperimentRunner.dumpStreams(p, LTL_to_ba.timeBetweenHearbeats, new HandleProcessIO() {

            @Override
            public void OnHeartBeat() {// no prodding is done for a short-running converter.
            }
View Full Code Here
250
251
252
253
254
255
256
257
258
259
260
   *            process to run.
   */
  public static void dumpProcessOutputOnFailure(String name, Process p) {
    final StringBuffer err = new StringBuffer(), out = new StringBuffer();
    ExperimentRunner.dumpStreams(p, timeBetweenChecks,
        new HandleProcessIO() {

          @Override
          public void OnHeartBeat() {// no prodding is done for a
                        // short-running converter.
          }
View Full Code Here
391
392
393
394
395
396
397
398
399
400
401
        stdDumper = new Thread(new Runnable() {

          @Override
          public void run() {
            ExperimentRunner.dumpStreams(erlangProcess,
                timeBetweenChecks, new HandleProcessIO() {

                  @Override
                  public void OnHeartBeat() {
                    // no prodding is done - we are
                    // being prodded by Erlang instead.
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.experiments.ExperimentRunner.HandleProcessIO

  • statechum.analysis.Erlang.ErlangRunner
  • statechum.analysis.Erlang.ErlangRuntime
  • statechum.analysis.Erlang.TestErlangModule
  • statechum.analysis.Erlang.TestErlangRunner
  • statechum.analysis.learning.ErlangOracleLearner
  • statechum.analysis.learning.rpnicore.LTL_to_ba
    • 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.