Examples of FieldInfoComparator

gov.nasa.jpf.conformanceChecker.comparators.FieldInfoComparator
Class used to compare {@link FieldInfo} objects.Performs a comparison based first on the type of the fields, than on their names and finally on their modifiers. @author Matteo Ceccarello

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

  /**
   * Compares the two arrays in linear time. To be tested. Still requires n log n for sorting
   */
  protected boolean compareArraysFast(FieldInfo[] modelFields, FieldInfo[] stdFields, MaybeVersion version) {
    boolean noInconsistencies = true;
    FieldInfoComparator cmp = new FieldInfoComparator(mask);
    Arrays.sort(modelFields, cmp);
    Arrays.sort(stdFields, cmp);
    
    for(int i=0, j=0; i<modelFields.length && j<stdFields.length;) {
      int result = cmp.compare(modelFields[i], stdFields[j]);
      if(result == 0){
        i++;
        j++;
      } else if (result < 0) { // modelField < stdField
        signal(new Inconsistency(

View Full Code Here

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

    return noInconsistencies;
  }
  
  protected boolean compareArrays(FieldInfo[] modelFields, FieldInfo[] stdFields, MaybeVersion version) {
    boolean noInconsistencies = true;
    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(

View Full Code Here

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

  }


  boolean checkInstanceFields(ClassInfo cls,
      Map<MaybeVersion, ClassInfo> standardVersions) {
    boolean noInconsistencies = true;
    FieldInfoComparator cmp = new FieldInfoComparator();
    FieldInfo[] modelInstanceFields = cls.getDeclaredInstanceFields();
    for (MaybeVersion ver : standardVersions.keySet()) {
      ClassInfo std = standardVersions.get(ver);
      FieldInfo[] stdInstanceFields = std.getDeclaredInstanceFields();
      Arrays.sort(stdInstanceFields, cmp);

View Full Code Here

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

  }


  boolean checkStaticFields(ClassInfo cls,
      Map<MaybeVersion, ClassInfo> standardVersions) {
    boolean noInconsistencies = true;
    FieldInfoComparator cmp = new FieldInfoComparator();
    FieldInfo[] modelStaticFields = cls.getDeclaredStaticFields();
    for (MaybeVersion ver : standardVersions.keySet()) {
      ClassInfo std = standardVersions.get(ver);
      FieldInfo[] stdStaticFields = std.getDeclaredStaticFields();
      Arrays.sort(stdStaticFields, cmp);

View Full Code Here

TOP

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.