Package kodkod.util.ints

Examples of kodkod.util.ints.IntTreeSet$Range


  }
 
  public static Link[] selectAlternate(Entry entry, String... ranges) {
    Range[] r = new Range[ranges.length];
    for (int n = 0; n < ranges.length; n++)
      r[n] = new Range(ranges[n],true);
    return selectAlternate(entry, r);
  }
View Full Code Here


  }
 
  public static Link[] selectAlternate(Source source, Locale... locales) {
    Range[] ranges = new Range[locales.length];
    for (int n = 0; n < locales.length; n++)
      ranges[n] = new Range(Lang.fromLocale(locales[n]),true);
    return selectAlternate(source, ranges);
  }
View Full Code Here

  }
 
  public static Link[] selectAlternate(Source source, String... ranges) {
    Range[] r = new Range[ranges.length];
    for (int n = 0; n < ranges.length; n++)
      r[n] = new Range(ranges[n],true);
    return selectAlternate(source, r);
  }
View Full Code Here

      r[n] = new Range(ranges[n],true);
    return selectAlternate(source, r);
  }
 
  public static Link[] selectAlternate(List<Link> links, String range) {
    return selectAlternate(links, new Range(range,true));
  }
View Full Code Here

  }
 
  @Test
  public void test4647Matching() throws Exception {
    Lang lang = new Lang("en-Latn-US-valencia");
    Range range1 = new Range("*",true);
    Range range2 = new Range("en-*",true);
    Range range3 = new Range("en-Latn-*",true);
    Range range4 = new Range("en-US-*",true);
    Range range5 = new Range("en-*-US-*",true);
    Range range6 = new Range("*-US",true);
    Range range7 = new Range("*-valencia",true);
    Range range8 = new Range("*-FR",true);
    assertTrue(range1.matches(lang,true));
    assertTrue(range2.matches(lang,true));
    assertTrue(range3.matches(lang,true));
    assertTrue(range4.matches(lang,true));
    assertTrue(range5.matches(lang,true));
    assertTrue(range6.matches(lang,true));
    assertTrue(range7.matches(lang,true));
    assertFalse(range8.matches(lang,true));
  }
View Full Code Here

    String script = lang.getScript().getName();
    String region = lang.getRegion().getName();
    String variant = lang.getVariant().getName();
   
    // Perform extended range matching
    Range range = new Range("en-US-*",true);
    System.out.println(range.matches(lang,true));
   
    // Locale integration
    Locale locale = lang.getLocale();
    System.out.println(locale);
  }
View Full Code Here

        Array dataArray = Array.factory(DataType.FLOAT, section.getShape());
        GradsVariable gradsVar = findVar(v2);

        // Canonical ordering is ens, time, level, lat, lon
        int           rangeIdx  = 0;
        Range         ensRange  = (gradsDDF.getEnsembleDimension() != null)
                                  ? section.getRange(rangeIdx++)
                                  : new Range(0, 0);
        Range         timeRange = (section.getRank() > 2)
                                  ? section.getRange(rangeIdx++)
                                  : new Range(0, 0);
        Range         levRange  = (gradsVar.getNumLevels() > 0)
                                  ? section.getRange(rangeIdx++)
                                  : new Range(0, 0);
        Range         yRange    = section.getRange(rangeIdx++);
        Range         xRange    = section.getRange(rangeIdx);

        IndexIterator ii        = dataArray.getIndexIterator();

        // loop over ens
        for (int ensIdx = ensRange.first(); ensIdx <= ensRange.last();
View Full Code Here

    // create the List<Dim>
    // Section shifted = intersect.shiftOrigin(dataSection); // want reletive to dataSection
    int wantStride = 1;
    int dataStride = 1;
    for (int ii = varRank - 1; ii >= 0; ii--) {
      Range dr = dataSection.getRange(ii);
      Range wr = wantSection.getRange(ii);
      Range ir = intersect.getRange(ii);
      dimList.add(new Dim(dr, wr, ir, dataStride, wantStride)); // note reversed : fastest first
      dataStride *= dr.length();
      wantStride *= wr.length();
    }

View Full Code Here

     * @throws InvalidRangeException  range doesn't match data
     */
    public Array readVariable(Variable v2, Section section)
            throws IOException, InvalidRangeException {

        Range timeRange = null;
        Range bandRange = null;
        Range geoXRange = null;
        Range geoYRange = null;
        if (section != null & section.getRank() > 0) {
            if (section.getRank() > 3) {
                timeRange = (Range) section.getRange(0);
                bandRange = (Range) section.getRange(1);
                geoYRange = (Range) section.getRange(2);
                geoXRange = (Range) section.getRange(3);
            } else if (section.getRank() > 2) {
                timeRange = (Range) section.getRange(0);
                geoYRange = (Range) section.getRange(1);
                geoXRange = (Range) section.getRange(2);
            } else if (section.getRank() > 1) {
                geoYRange = (Range) section.getRange(0);
                geoXRange = (Range) section.getRange(1);
            } else {
                geoXRange = (Range) section.getRange(0);
            }
        }

        String varname = v2.getFullName();

        Array dataArray =
            Array.factory(v2.getDataType().getPrimitiveClassType(),
                          section.getShape());

        Index dataIndex = dataArray.getIndex();

        if (varname.equals("latitude") || varname.equals("longitude")) {
            double[][] pixel = new double[2][1];
            double[][] latLon;
            double[][][] latLonValues =
                new double[geoXRange.length()][geoYRange.length()][2];

            // Use Range object, which calculates requested i, j
            // values and incorporates stride
            for (int i = 0; i < geoXRange.length(); i++) {
                for (int j = 0; j < geoYRange.length(); j++) {
                    pixel[0][0] = (double) geoXRange.element(i);
                    pixel[1][0] = (double) geoYRange.element(j);
                    latLon      = nav.toLatLon(pixel);

                    if (varname.equals("lat")) {
                        dataArray.setFloat(dataIndex.set(j, i),
                                           (float) (latLon[0][0]));
                    } else {
                        dataArray.setFloat(dataIndex.set(j, i),
                                           (float) (latLon[1][0]));
                    }
                }
            }
        }

        if (varname.equals("image")) {
            try {
                int[][] pixelData = new int[1][1];
                if (bandRange != null) {
                    for (int k = 0; k < bandRange.length(); k++) {
                        int bandIndex = bandRange.element(k) + 1// band numbers in McIDAS are 1 based
                        for (int j = 0; j < geoYRange.length(); j++) {
                            for (int i = 0; i < geoXRange.length(); i++) {
                                pixelData = af.getData(geoYRange.element(j),
                                        geoXRange.element(i), 1, 1,
                                        bandIndex);
                                dataArray.setInt(dataIndex.set(0, k, j, i),
                                        (pixelData[0][0]));
                            }
                        }
                    }

                } else {
                    for (int j = 0; j < geoYRange.length(); j++) {
                        for (int i = 0; i < geoXRange.length(); i++) {
                            pixelData = af.getData(geoYRange.element(j),
                                    geoXRange.element(i), 1, 1);
                            dataArray.setInt(dataIndex.set(0, j, i),
                                             (pixelData[0][0]));
                        }
                    }
View Full Code Here

        groups = volScan.getWidthGroups();
      else if( shortName.startsWith("DiffReflectivity"))
        groups = volScan.getDifferentialReflectivityGroups();

      if(section.getRank() == 2) {
          Range radialRange = section.getRange(0);
          Range gateRange = section.getRange(1);
          List lli = (List)groups.get(0);
          readOneScan(lli, radialRange, gateRange, ii);
      } else {
          Range scanRange = section.getRange(0);
          Range radialRange = section.getRange(1);
          Range gateRange = section.getRange(2);
          for (int i=scanRange.first(); i<=scanRange.last(); i+= scanRange.stride()) {
            readOneScan((List)groups.get(i), radialRange, gateRange, ii);
          }
      }
      return data;
View Full Code Here

TOP

Related Classes of kodkod.util.ints.IntTreeSet$Range

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.