Package gov.nasa.jpf.conformanceChecker.comparators

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

70
71
72
73
74
75
76
77
78
79
80
81
    ClassInfo peer = provider.loadNativePeerClass(cls);
    MethodInfo[] peerMethods = getSortedPeerMethods(peer);
   
    // in the comparison during binary search, the key is in the
    // second position, hence the constructor has false as parameter
    MangledMethodInfoComparator comp =
        new MangledMethodInfoComparator(false);
   
    for (MethodInfo method : cls.getDeclaredMethodInfos()) {
      if (Modifier.isNative(method.getModifiers())) {
        if (Arrays.binarySearch(peerMethods, method, comp) < 0) {
          noInconsistencies = false;
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
   
    MethodInfo[] peerMethods = getPeerMethods(peer);
    MethodInfo[] modelMethods = cls.getDeclaredMethodInfos();
    Arrays.sort(modelMethods, comparator);
   
    MangledMethodInfoComparator comp = new MangledMethodInfoComparator(true);
   
    for (MethodInfo peerMth : peerMethods) {
      if (Arrays.binarySearch(modelMethods, peerMth, comp) < 0) {
        signal(new Inconsistency(
            InconsistencyType.MISSING_NATIVE_PEER,
View Full Code Here
TOP

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

  • gov.nasa.jpf.conformanceChecker.checkers.MissingNativePeerChecker
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanNativePeerChecker
  • gov.nasa.jpf.conformanceChecker.providers.ModelClassProvider
  • gov.nasa.jpf.conformanceChecker.providers.NativePeerProvider
  • gov.nasa.jpf.jvm.ClassInfo
  • gov.nasa.jpf.jvm.MethodInfo
    • 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.