Examples of apply()

Examples of soot.jimple.Stmt.apply()

182
183
184
185
186
187
188
189
190
191
192
          Body body = method.getActiveBody();
          Collection<Unit> uc = body.getUnits();
          for (Unit u : uc) {
            if (u instanceof Stmt) {
              Stmt stmt = (Stmt)u;
              stmt.apply(this);
              if (stmt.containsInvokeExpr()) {
                createHotspotsFromInvokeExpr(stmt);
              }
            }
          }
View Full Code Here

Examples of test.Replace.apply()

88
89
90
91
92
93
94
95
96
97
98
    Nat N = make(n);
    Nat R = factory.makeNat_Fib(N);

    Nat res = null;
    while (res != R) {
      res = (Nat) replace.apply(R);
      R = res;
    }

    if (unmake(R) != r) {
      System.err.println("unexpected result of computation!");
View Full Code Here

Examples of wyautl.rw.IterativeRewriter.apply()

894
895
896
897
898
899
900
901
902
903
904
        automaton, Types.inferences);
    IterativeRewriter.Strategy<ReductionRule> reductionStrategy = new UnfairRuleStateRewriteStrategy<ReductionRule>(
        automaton, Types.reductions);
    IterativeRewriter rw = new IterativeRewriter(automaton,
        inferenceStrategy, reductionStrategy, Types.SCHEMA);
    rw.apply();
    //
//    try {
//      new PrettyAutomataWriter(System.err, SCHEMA, "And",
//          "Or").write(automaton);
//      System.out.println();
View Full Code Here

Examples of wyautl.rw.StrategyRewriter.apply()

46
47
48
49
50
51
52
53
54
55
56
        automaton, Arithmetic.inferences);
    StrategyRewriter.Strategy<ReductionRule> reductionStrategy = new SimpleRewriteStrategy<ReductionRule>(
        automaton, Arithmetic.reductions);
    StrategyRewriter rw = new StrategyRewriter(automaton,
        inferenceStrategy, reductionStrategy, Arithmetic.SCHEMA);
    rw.apply(10000);

    boolean result = automaton.get(automaton.getRoot(0)).equals(Arithmetic.False);
    if(result != unsat) {
      System.out.println("\n\n*** TEST FAILED: " + line + "\n");
    }
View Full Code Here

Examples of wycc.lang.Pipeline.apply()

574
575
576
577
578
579
580
581
582
583
584
      // whileydir can be null if a subclass of this task doesn't
      // necessarily require it.
      Pipeline wyilPipeline = initialisePipeline();

      if(pipelineModifiers != null) {
            wyilPipeline.apply(pipelineModifiers);
          }

      // ========================================================
      // Whiley => Wyil Compilation Rule
      // ========================================================
View Full Code Here

Examples of wycs.transforms.TypePropagation.apply()

159
160
161
162
163
164
165
166
167
168
169
    for(Pair<Path.Entry<?>,Path.Root> p : delta) {
      Path.Entry<?> f = p.first();
      if (f.contentType() == WyalFile.ContentType) {
        Path.Entry<WyalFile> sf = (Path.Entry<WyalFile>) f;
        WyalFile wf = sf.read();
        typer.apply(wf);
      }
    }

    logger.logTimedMessage("Typed " + count + " source file(s).",
        System.currentTimeMillis() - tmpTime, tmpMem - runtime.freeMemory());
View Full Code Here

Examples of xenon3d.scene.GraphicsContext3D.apply()

158
159
160
161
162
163
164
165
166
167
168
                gc.setTransform(tri_trans);
                gc.draw(tri_geo);
                gc.endTransform();
                gc.beginTransform();
                gc.setTransform(quad_trans);
                gc.apply(quad_app);
                gc.draw(quad_geo);
                gc.endTransform();
            }
           
            @Override
View Full Code Here

Examples of xerial.larray.LIntArray.apply()

42
43
44
45
46
47
48
49
50
51
52
        }
        for (int iter = 0; iter < 10; iter++) {
            long sum = 0;
            long start = System.currentTimeMillis();
            for (int i = 0; i < l.length(); i++) {
                sum += l.apply(i);
            }
            long end = System.currentTimeMillis();
            _logger.debug("time:" + (end - start) + " sum:" + sum);
        }
        _logger.debug("compressing the data");
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.