Examples of Wyal2WycsBuilder


        Pipeline<WycsFile> wycsPipeline = new Pipeline(WycsBuildTask.defaultPipeline);


        wycsPipeline.setOption(VerificationCheck.class,"enable",verification);
        wycsPipeline.setOption(SmtVerificationCheck.class,"enable",smtVerification);
        Wyal2WycsBuilder wycsBuilder = new Wyal2WycsBuilder(project,wycsPipeline);


        if(verbose) {
          wycsBuilder.setLogger(new Logger.Default(System.err));
        }


        project.add(new StdBuildRule(wycsBuilder, wyalDir,
            wyalIncludes, wyalExcludes, wycsDir));

Examples of wycs.builders.Wyal2WycsBuilder

        pipeline.apply(pipelineModifiers);
      }


      // whileydir can be null if a subclass of this task doesn't
      // necessarily require it.
      Wyal2WycsBuilder builder = new Wyal2WycsBuilder(project, pipeline);


      if (verbose) {
        builder.setLogger(new Logger.Default(System.err));
      }
      builder.setDebug(debug);


      project.add(new StdBuildRule(builder, wyalDir, wyalIncludes,
          wyalExcludes, wycsDir));
    }
  }

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.