Package gov.nasa.jpf.conformanceChecker

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
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
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

Related Classes of gov.nasa.jpf.conformanceChecker.Inconsistency

  • gov.nasa.jpf.conformanceChecker.checkers.MissingInstanceFieldChecker
  • gov.nasa.jpf.conformanceChecker.checkers.MissingMethodChecker
  • gov.nasa.jpf.conformanceChecker.checkers.MissingNativePeerChecker
  • gov.nasa.jpf.conformanceChecker.checkers.MissingStaticFieldChecker
  • gov.nasa.jpf.conformanceChecker.checkers.ModifierChecker
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanInstanceFieldChecker
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanMethodChecker
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanNativePeerChecker
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanStaticFieldChecker
  • gov.nasa.jpf.conformanceChecker.checkers.StateChecker
    • 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.