Package gov.nasa.jpf.jvm

Examples of gov.nasa.jpf.jvm.FieldInfo

174
175
176
177
178
179
180
181
182
183
184
        return memberClass.getSimpleName() + " " + mi.getLongName();
                  //Arrays.toString(mi.getArgumentTypeNames()).replace('[','(').replace(']', ')');
      return mi.getReturnTypeName() + " " + mi.getLongName();
    }
    if(member instanceof FieldInfo) {
      FieldInfo fi = ((FieldInfo) member);
      return fi.getType() + " " + fi.getName();
    }
    throw new RuntimeException("Member " + member + " is not a " +
        "field nor a method");
  }
View Full Code Here
302
303
304
305
306
307
308
309
310
311
312
313
   */
  @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
36
37
38
39
40
41
42
43
44
45
  @Test
  public void compareEquals1() {
    ClassInfo ci = createMock(ClassInfo.class);
    expect(ci.getName()).andReturn("java.lang.System").times(2);
    replay(ci);
    FieldInfo f1 = FieldInfo.create(ci, "out", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    FieldInfo f2 = FieldInfo.create(ci, "out", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    int result = new FieldInfoComparator().compare(f1, f2);
    assertEquals(result, 0);
  }
View Full Code Here
47
48
49
50
51
52
53
54
55
56
  @Test
  public void compareNotEquals2() {
    ClassInfo ci = createMock(ClassInfo.class);
    expect(ci.getName()).andReturn("java.lang.System").anyTimes();
    replay(ci);
    FieldInfo f1 = FieldInfo.create(ci, "out", "Ljava/io/PrintStrea;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    FieldInfo f2 = FieldInfo.create(ci, "out", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    int result = new FieldInfoComparator().compare(f1, f2);
    assertTrue(result < 0);
  }
View Full Code Here
58
59
60
61
62
63
64
65
66
67
  @Test
  public void compareNotEquals3() {
    ClassInfo ci = createMock(ClassInfo.class);
    expect(ci.getName()).andReturn("java.lang.System").anyTimes();
    replay(ci);
    FieldInfo f1 = FieldInfo.create(ci, "out", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    FieldInfo f2 = FieldInfo.create(ci, "in", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    int result = new FieldInfoComparator().compare(f1, f2);
    assertTrue(result > 0);
  }
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
  public static FieldInfo field(
      int modifiers,
      String type,
      String name)
  {
    FieldInfo fi = createMock(FieldInfo.class);
    expect(fi.getName()).andReturn(name).anyTimes();
    expect(fi.getFullName()).andReturn(name).anyTimes();
    expect(fi.getType()).andReturn(type).anyTimes();
   
    expect(fi.getModifiers()).andReturn(modifiers).anyTimes();
    expect(fi.isPublic()).andReturn(Modifier.isPublic(modifiers)).anyTimes();
   
    return fi;
  }
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
153
154
155
        addClassInfo((MethodInfo) member, ci);
        replay(member);
        methods.add((MethodInfo) member);
      }
      else {
        FieldInfo f = (FieldInfo) member;
        addClassInfo(f, ci);
        replay(f);
        if(Modifier.isStatic(f.getModifiers()))
          staticFields.add(f);
        else
          instanceFields.add(f);
      }
    }
View Full Code Here
TOP

Related Classes of gov.nasa.jpf.jvm.FieldInfo

  • gov.nasa.jpf.conformanceChecker.comparators.FieldInfoComparatorTest
  • gov.nasa.jpf.conformanceChecker.Inconsistency
  • gov.nasa.jpf.conformanceChecker.listener.ClassCheckerListener
  • gov.nasa.jpf.conformanceChecker.util.MockFactory
    • 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.