Examples of Inconsistency

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

71
72
73
74
75
76
77
78
79
80
81
      FieldInfo[] stdFields = std.getDeclaredInstanceFields();
      Arrays.sort(stdFields, comparator);
      for (FieldInfo f : modelFields) {
        if(MemberLevel.getMemberLevel(f).compareTo(this.level) >= 0) {
          if (Arrays.binarySearch(stdFields, f, comparator) < 0) {
            signal(new Inconsistency(
                InconsistencyType.ORPHAN_FIELD, ver, cls, f,
                "This field is present in the model, but not in " +
                "the library version."));
            noInconsistencies = false;
          }
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

77
78
79
80
81
82
83
84
85
86
87
   
    for (MethodInfo method : cls.getDeclaredMethodInfos()) {
      if (Modifier.isNative(method.getModifiers())) {
        if (Arrays.binarySearch(peerMethods, method, comp) < 0) {
          noInconsistencies = false;
          signal(new Inconsistency(
              InconsistencyType.ORPHAN_NATIVE_PEER,
              MaybeVersion.nothing(),
              cls,
              method,
              "The native peer is missing for this method."));
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

72
73
74
75
76
77
78
79
80
81
82
    for (MaybeVersion version : standardVersions.keySet()) {
      MethodInfo[] standardMethods = standardVersions.get(version).getDeclaredMethodInfos();
      for (MethodInfo m : standardMethods) {
        if(MemberLevel.getMemberLevel(m).compareTo(this.level) >= 0) {
          if(Arrays.binarySearch(modelMethods, m, comparator) < 0) {
            signal(new Inconsistency(
                InconsistencyType.MISSING_METHOD,
                version,
                m.getClassInfo(),
                m,
                "This method is present in the library version " +
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
      int result = cmp.compare(modelFields[i], stdFields[j]);
      if(result == 0){
        i++;
        j++;
      } else if (result < 0) { // modelField < stdField
        signal(new Inconsistency(
            getInconsistencyType(),
            version,
            modelFields[i].getClassInfo(),
            modelFields[i],
            "This field is present in the model class but not in the " +
            "library version."));
        i++;
        noInconsistencies = false;
      } else { // modelField > stdField
        signal(new Inconsistency(
            getInconsistencyType(),
            version,
            stdFields[j].getClassInfo(),
            stdFields[j],
            "This field is present in the library version of the class but " +
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
    FieldInfoComparator cmp = new FieldInfoComparator(mask);
    Arrays.sort(modelFields, cmp);
    Arrays.sort(stdFields, cmp);
    for (FieldInfo f : stdFields) {
      if (Arrays.binarySearch(modelFields, f, cmp) < 0) {
        signal(new Inconsistency(
            getInconsistencyType(),
            version,
            f.getClassInfo(),
            f,
            "This field is present in the library version of the class but " +
            "not in the model."));
      }
    }
    for (FieldInfo f : modelFields) {
      if (Arrays.binarySearch(stdFields, f, cmp) < 0) {
        signal(new Inconsistency(
            getInconsistencyType(),
            version,
            f.getClassInfo(),
            f,
            "This field is present in the model class but not in the " +
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

73
74
75
76
77
78
79
80
81
82
83
      for (MethodInfo m : modelMethods) {
        // TODO render constructors properly
        if (!"<init>".equals(m.getName()) && // it's not a constructor
            MemberLevel.getMemberLevel(m).compareTo(this.level) >= 0) {
          if(Arrays.binarySearch(standardMethods, m, comp) < 0) {
            signal(new Inconsistency(
                InconsistencyType.ORPHAN_METHOD,
                version,
                m.getClassInfo(),
                m,
                "This method is present in the model class, but not " +
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

98
99
100
101
102
103
104
105
106
107
108
      for (MethodInfo m : modelMethods) {
        if (MemberLevel.getMemberLevel(m).compareTo(this.level) >= 0) {
          int idx = Arrays.binarySearch(stdMethods, m, cmp);
          if (idx >= 0) {
            if (!modifiersEqual(m, stdMethods[idx])) {
              signal(new Inconsistency(
                  InconsistencyType.INCONSISTENT_MODIFIERS, ver, cls, m,
                  "The library version is: "
                      + Modifier.toString(stdMethods[idx].getModifiers())));
              noInconsistencies = false;
            }
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

126
127
128
129
130
131
132
133
134
135
136
      for (FieldInfo f : modelInstanceFields) {
        if (MemberLevel.getMemberLevel(f).compareTo(this.level) >= 0) {
          int idx = Arrays.binarySearch(stdInstanceFields, f, cmp);
          if (idx >= 0) {
            if (!modifiersEqual(f, stdInstanceFields[idx])) {
              signal(new Inconsistency(
                  InconsistencyType.INCONSISTENT_MODIFIERS, ver, cls, f,
                    "The library version is: "
                      + Modifier.toString(stdInstanceFields[idx].getModifiers())));
              noInconsistencies = false;
            }
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

153
154
155
156
157
158
159
160
161
162
163
      for (FieldInfo f : modelStaticFields) {
        if (MemberLevel.getMemberLevel(f).compareTo(this.level) >= 0) {
          int idx = Arrays.binarySearch(stdStaticFields, f, cmp);
          if (idx >= 0) {
            if (!modifiersEqual(f, stdStaticFields[idx])) {
              signal(new Inconsistency(
                  InconsistencyType.INCONSISTENT_MODIFIERS, ver, cls, f,
                    "The library version is: "
                      + Modifier.toString(stdStaticFields[idx].getModifiers())));
              noInconsistencies = false;
            }
View Full Code Here

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

86
87
88
89
90
91
92
93
94
95
96
   
    MangledMethodInfoComparator comp = new MangledMethodInfoComparator(true);
   
    for (MethodInfo peerMth : peerMethods) {
      if (Arrays.binarySearch(modelMethods, peerMth, comp) < 0) {
        signal(new Inconsistency(
            InconsistencyType.MISSING_NATIVE_PEER,
            MaybeVersion.nothing(),
            peer,
            peerMth,
            "This native peer is missing a corresponding method in the " +
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.