Examples of Instruction

Examples of cz.cuni.mff.abacs.burglar.logics.planning.instructions.Instruction

152
153
154
155
156
157
158
159
160
161
162
163
    if(a.size() != b.size()){
      return false;
    }
   
    for(int i = 0; i < a.size(); i++){
      Instruction instrA = a.get(i);
      Instruction instrB = b.get(i);
      if(instrA.matches(instrB) == false)
        return false;
    }
   
    return true;
View Full Code Here

Examples of de.fub.bytecode.generic.Instruction

144
145
146
147
148
149
150
151
152
      _local = null;
  }
    }
   
    public Instruction loadInstruction() {
  final Instruction instr = _loadInstruction;
  return instr != null
      ? instr : (_loadInstruction = _type.LOAD(_local.getIndex()));
    }
View Full Code Here

Examples of electric.xml.Instruction

363
364
365
366
367
368
369
370
371
        return getStringValue( elem );
    }

    public String getProcessingInstructionTarget(Object obj)
    {
        Instruction pi = (Instruction) obj;

        return pi.getTarget();
    }
View Full Code Here

Examples of fitnesse.slim.instructions.Instruction

365
366
367
368
369
370
371
372
      "|DT:slim test|\n" +
        "|x|\n" +
        "|y|\n"
    );

    Instruction makeInstruction = new MakeInstruction("decisionTable_id_0", "decisionTable_id", "SlimTest");
    assertEquals(makeInstruction, instructions.get(0));
  }
View Full Code Here

Examples of fitnesse.testsystems.Instruction

67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
  @Override
  public void testAssertionVerified(Assertion assertion, TestResult testResult) {
    if (testResult == null) {
      return;
    }
    Instruction instruction = assertion.getInstruction();
    Expectation expectation = assertion.getExpectation();
    TestExecutionReport.InstructionResult instructionResult = new TestExecutionReport.InstructionResult();
    instructionResults.add(instructionResult);

    String id = instruction.getId();

    instructionResult.instruction = instruction.toString();
    instructionResult.slimResult = testResult.toString();
    try {
      TestExecutionReport.Expectation expectationResult = new TestExecutionReport.Expectation();
      instructionResult.addExpectation(expectationResult);
      expectationResult.instructionId = id;
View Full Code Here

Examples of gov.nasa.jpf.jvm.bytecode.Instruction

300
301
302
303
304
305
306
307
308
309
310
   * Prints a warning message if the istruction that is being executed is
   * accessing a fields that was generated.
   */
  @Override
  public void executeInstruction(JVM vm) {
    Instruction last = vm.getNextInstruction();
    if(last instanceof FieldInstruction) {
      FieldInfo accessed = ((FieldInstruction) last).getFieldInfo();
      if(isGenerated(accessed))
        logger.warning("The field " + accessed.getFullName() + " is missing from " +
            "the model class.\n\ta default implementation is being used.");
View Full Code Here

Examples of gov.nasa.jpf.vm.Instruction

30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
  public static final Object readFlag = new Object();
  public static final Object writeFlag = new Object();

  @Override
  public Instruction invokevirtual(String clsName, String methodName, String methodSignature) {
    Instruction i = super.invokevirtual(clsName, methodName, methodSignature);
    if (clsName.equals("java/net/Socket") && methodName.equals("connect")) {
      i.setAttr(connectFlag);
    } else if (clsName.equals("java/net/ServerSocket") && methodName.equals("accept")) {
      i.setAttr(acceptFlag);
    } else if (clsName.equals("java/io/InputStream") && methodName.equals("read")) {
      i.setAttr(readFlag);
    } else if (clsName.equals("java/io/OutputStream") && methodName.equals("write")) {
      i.setAttr(writeFlag);
    }
    return i;
  }
View Full Code Here

Examples of gpinterpreter.Instruction

161
162
163
164
165
166
167
168
169
170
171
    public static List<Instruction> getProgram(List<Gene> individual, GeneType geneType, ClusterHead in) {
        List<Instruction> program = new ArrayList<Instruction>();

        for (int i = 0; i < individual.size(); i++) {
            Instruction inst = null;
            switch (geneType) {
                case INTEGER:
                    IntegerGene g = (IntegerGene) (individual.get(i));
                    inst = IntegerInstructionGene.getInstruction(g.intValue(),
                            in.getSize());
View Full Code Here

Examples of info.s5d.assembly.instruction.Instruction

58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
  {
    /*for (Instruction instruction : instructions) {
      instruction.handleInstruction(insnHandler);
    }*/
    for (int i = start; i < size(); i++) {
      Instruction instruction = instructionAt(i);
      if (instruction == null)
        return; //we're done
      try {
        instruction.handleInstruction(insnHandler);
      } catch (Exception e) {
       
      }
    }
  }
View Full Code Here

Examples of jbet.Instruction

389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
        jbet.MethodInfo mi = new jbet.MethodInfo("<init>",
                emptyDesc,
                jbet.MethodInfo.ACC_PUBLIC);
        mi.code = new Snippit();
        mi.code.push(new Instruction().setAload(0));
        mi.code.push(new Instruction().setInvokeSpecial("java/lang/Object",
                "<init>",
                emptyDesc));
        mi.code.push(new Instruction().setReturn());
        mi.maxLocals = 1;
        mi.maxStack = 1;
        ci.addMethod(mi);

        mi = new jbet.MethodInfo("main", mainDesc, jbet.MethodInfo.ACC_PUBLIC
                | jbet.MethodInfo.ACC_STATIC);
        mi.code = new Snippit();
        mi.code.push(new Instruction().setGetstatic("java/lang/System",
                "out",
                printStreamType));
        mi.code.push(new Instruction().setSpush("Hello world!"));
        mi.code.push(new Instruction().setInvokeVirtual("java/io/PrintStream",
                "println",
                printlnDesc));
        mi.maxLocals = 1;
        mi.maxStack = 2;
        ci.addMethod(mi);
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.