Package gov.nasa.jpf.jvm

Examples of gov.nasa.jpf.jvm.MethodInfo

75
76
77
78
79
80
81
82
83
  }
 
  @Test
  public void testNotEqual3() {
    ClassInfo c1 = cls("java.lang.String");
    MethodInfo m1 = method(c1, PUBLIC, "java.lang.String", "substring", new String[]{"int"});
    MethodInfo m2 = method(c1, PUBLIC, "java.lang.String", "substring", new String[]{"int", "int"});
    assertTrue(new MethodInfoComparator().compare(m1, m2) != 0);
  }
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
      String returnType,
      String name,
      String[] arguments
      )
  {
    MethodInfo mi = createMock(MethodInfo.class);
    expect(mi.getClassInfo()).andReturn(classInfo).anyTimes();
    expect(mi.getModifiers()).andReturn(modifiers).anyTimes();
    expect(mi.getName()).andReturn(name).anyTimes();
    expect(mi.getReturnType()).andReturn(returnType).anyTimes();
    expect(mi.getArgumentTypeNames()).andReturn(arguments).anyTimes();
   
    expect(mi.isPrivate()).andReturn(Modifier.isPrivate(modifiers)).anyTimes();
    expect(mi.isProtected()).andReturn(Modifier.isProtected(modifiers)).anyTimes();
    expect(mi.isPublic()).andReturn(Modifier.isPublic(modifiers)).anyTimes();
   
    replay(mi);
    return mi;
  }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
      String returnType,
      String name,
      String[] arguments
      )
  {
    MethodInfo mi = createMock(MethodInfo.class);
    expect(mi.getModifiers()).andReturn(modifiers).anyTimes();
    expect(mi.getReturnType()).andReturn(returnType).anyTimes();
    expect(mi.getName()).andReturn(name).anyTimes();
    expect(mi.getArgumentTypeNames()).andReturn(arguments).anyTimes();
   
    expect(mi.isPrivate()).andReturn(Modifier.isPrivate(modifiers)).anyTimes();
    expect(mi.isProtected()).andReturn(Modifier.isProtected(modifiers)).anyTimes();
    expect(mi.isPublic()).andReturn(Modifier.isPublic(modifiers)).anyTimes();
   
    return mi;
  }
View Full Code Here
TOP

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

  • gov.nasa.jpf.conformanceChecker.comparators.MangledMethodInfoComparator
  • gov.nasa.jpf.conformanceChecker.comparators.MangledMethodInfoComparatorTest
  • gov.nasa.jpf.conformanceChecker.comparators.MethodInfoComparatorTest
  • 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.