Package statechum.analysis.learning.experiments.ExperimentRunner

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

676
677
678
679
680
681
682
683
684
685
686
  {
    final StringBuffer converterOutput = new StringBuffer();
    try
    {
      final Process ltlconverter = Runtime.getRuntime().exec(new String[]{pathTo_ltl2ba==null?"ltl2ba":pathTo_ltl2ba, "-f",ltl});// run LTL2BA
      ExperimentRunner.dumpStreams(ltlconverter,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
183
184
185
186
187
188
189
190
191
192
193
          ErlangRuntime.dumpProcessOutputOnFailure("dialyzer",p);
        }
        // Receive the type info....
        Process p = Runtime.getRuntime().exec(new String[]{ErlangRunner.getErlangBin()+"typer","--plt",ErlangRunner.getName(f, ERL.PLT, true),ErlangRunner.getName(f, ERL.ERL,false)}, null);//, ErlangRunner.getErlangBeamDirectory());
      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
282
283
284
285
286
287
288
289
290
291
292
   *            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
414
415
416
417
418
419
420
421
422
423
424
        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
613
614
615
616
617
618
619
620
621
622
623
  {
    final StringBuffer converterOutput = new StringBuffer();
    try
    {
      final Process ltlconverter = Runtime.getRuntime().exec(new String[]{pathTo_ltl2ba==null?"ltl2ba":pathTo_ltl2ba, "-f",ltl});// run LTL2BA
      ExperimentRunner.dumpStreams(ltlconverter,timeBetweenHearbeats,new HandleProcessIO() {

      @Override
      public void OnHeartBeat() {// no prodding is done for a short-running converter.
      }
View Full Code Here
59
60
61
62
63
64
65
66
67
68
69
   *            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
218
219
220
221
222
223
224
225
226
227
228
        stdDumper = new Thread(new Runnable() {

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

                  @Override
                  public void OnHeartBeat() {
                    // no prodding is done - we are
                    // being prodded by Erlang instead.
View Full Code Here
495
496
497
498
499
500
501
502
503
504
505
  {
    final StringBuffer converterOutput = new StringBuffer();
    try
    {
      final Process ltlconverter = Runtime.getRuntime().exec(new String[]{"ltl2ba", "-f",ltl});// run LTL2BA
      ExperimentRunner.dumpStreams(ltlconverter,timeBetweenHearbeats,new HandleProcessIO() {

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

      public void StdErr(StringBuffer b) {
View Full Code Here
287
288
289
290
291
292
293
294
295
296
297
  public void attemptRun(String MagicNumber) throws IOException
  {
        Process erlangProcess = Runtime.getRuntime().exec(new String[]{ErlangRunner.getErlangBin() + "erl","-run",ErlangRunner.getErlName(output.getName()),"testFun","arg",
            "-noshell"}, null, testDir);
      final StringBuffer err=new StringBuffer(),out=new StringBuffer();
        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
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.