Examples of Inconsistency

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

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

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

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

Examples of gov.nasa.jpf.conformanceChecker.Inconsistency

70
71
72
73
74
75
76
77
78
79
80
      FieldInfo[] stdFields = std.getDeclaredStaticFields();
      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 class, but " +
                "is missing in the library version."));
            noInconsistencies = false;
          }
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.