Examples of gov.nasa.jpf.conformanceChecker.comparators.MethodInfoComparator

Package gov.nasa.jpf.conformanceChecker.comparators

Examples of gov.nasa.jpf.conformanceChecker.comparators.MethodInfoComparator

gov.nasa.jpf.conformanceChecker.comparators.MethodInfoComparator
Provides a way to compare methods. These are the elements of a {@link MethodInfo} that are compared, in order:- name - return type - declaring class - argument number - argument types - modifiers Two {@link MethodInfo}s from the same class, with the same name, return type and parameters that are one native ant the other not are considered equals. The rationale behind this is that in JPF a lot of methods of model classes are declared as native in order to be intercepted by native peers. @author Matteo Ceccarello

        && checkStaticFields(cls, standardVersions);
  }


  boolean checkMethods(ClassInfo cls, Map<MaybeVersion, ClassInfo> standardVersions) {
    boolean noInconsistencies = true;
    MethodInfoComparator cmp = new MethodInfoComparator();
    MethodInfo[] modelMethods = cls.getDeclaredMethodInfos();
    for (MaybeVersion ver : standardVersions.keySet()) {
      ClassInfo std = standardVersions.get(ver);
      MethodInfo[] stdMethods = std.getDeclaredMethodInfos();
      Arrays.sort(stdMethods, cmp);

View Full Code Here

   * peer methods of the given native peer class.
   * 
   * @see NativePeerChecker#getPeerMethods(ClassInfo)
   */
  protected MethodInfo[] getSortedPeerMethods(ClassInfo peer) {
    MethodInfoComparator comparator = new MethodInfoComparator();
    MethodInfo[] peerMethods = getPeerMethods(peer);
    Arrays.sort(peerMethods, comparator);
    return peerMethods;
  }

View Full Code Here

TOP

Related Classes of gov.nasa.jpf.conformanceChecker.comparators.MethodInfoComparator

gov.nasa.jpf.conformanceChecker.checkers.ModifierChecker

gov.nasa.jpf.conformanceChecker.checkers.NativePeerChecker

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.