Package wycs.solver.smt

Examples of wycs.solver.smt.Sort$Array

64
65
66
67
68
69
70
71
72
73
74
  static private void readColumns(NetcdfFile ncfile) throws IOException {
    long start = System.currentTimeMillis();
    List varList = ncfile.getVariables();
    for (int i = 0; i < varList.size(); i++) {
      Variable variable = (Variable) varList.get(i);
      Array data = variable.read();
    }
    double took = (System.currentTimeMillis() - start) * .001;
    System.out.println("   nvars = " + varList.size());
    System.out.println(" readCols took=" + took + " secs");
  }
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
  static private void readColumns(NetcdfFile ncfile) throws IOException {
    long start = System.currentTimeMillis();
    long total = 0;
    for (Variable variable : ncfile.getVariables()) {
      Array data = variable.read();
      total += data.getSize();
    }
    double took = (System.currentTimeMillis() - start) * .001;
    System.out.println("   nvars = " + ncfile.getVariables().size());
    System.out.println(" readCols took=" + took + " secs ("+total+")");
  }
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
  static private void readOneVariable(NetcdfFile ncfile, String varName) throws IOException {
    long start = System.currentTimeMillis();
    long total = 0;
    Variable variable = ncfile.findVariable(varName);
      Array data = variable.read();
      total += data.getSize();
    double took = (System.currentTimeMillis() - start) * .001;
    System.out.println("   read var = " + varName+" from "+ncfile.getLocation());
    System.out.println(" readOneVariable took=" + took + " secs ("+total+")");
  }
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
      String ncmli = StringUtil.replace(ncml,'%',Integer.toString(i));
      NetcdfFile ncfile = NcMLReader.readNcML(new StringReader(ncmli), filename, null);
      System.out.println(" TestNcmlAggExisting.open "+ filename);

      Variable timev = ncfile.findVariable("time");
      Array timeD = timev.read();

      int count1 = RandomAccessFile.getOpenFiles().size();
      System.out.printf("count files at dir %d count= %d%n", i, count1);
      ncfile.close();
    }
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
    assert time.getShape()[0] == n;
    assert time.getDataType() == DataType.DOUBLE;

    assert time.getDimension(0) == ncfile.findDimension("time");

    Array data = time.read();
    assert data.getRank() == 1;
    assert data.getSize() == n;
    assert data.getShape()[0] == n;
    assert data.getElementType() == double.class;

    double prev = Double.NaN;
    IndexIterator dataI = data.getIndexIterator();
    while (dataI.hasNext()) {
      double dval = dataI.getDoubleNext();
      System.out.println(" coord=" + dval);
      assert (Double.isNaN(prev) || dval > prev);
      prev = dval;
View Full Code Here
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
      int dcount = 0;
      int scount = 0;
      for (PointObVar v : nvars) {
        if (v.getDataType().isNumeric()) {
          Array data = sdata.getArray(v.getName());
          data.resetLocalIterator();
          if (data.hasNext())
            dvals[dcount++] = data.nextDouble();

        } else if (v.getDataType().isString()) {
          ArrayChar data = (ArrayChar) sdata.getArray(v.getName());
          svals[scount++] = data.getString();
        }
      }

      ucar.unidata.geoloc.EarthLocation loc = pobsData.getLocation();
      writer.addPoint(loc.getLatitude(), loc.getLongitude(), loc.getAltitude(), pobsData.getObservationTimeAsDate(),
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
    if (showStatus) System.out.println( "**** testReadData done on "+ncfile.getLocation());
  }

  static public void testVarMatchesData( Variable v, boolean showStatus) throws IOException {
    Array data = v.read();
    assert data.getSize() == v.getSize();
    assert data.getElementType() == v.getDataType().getPrimitiveClassType();

    assert data.getRank() == v.getRank();
    int[] dataShape = data.getShape();
    int[] varShape = v.getShape();
    for (int i=0; i<data.getRank(); i++)
      assert dataShape[i] == varShape[i];

    if (showStatus) System.out.println( "**** testReadData done on "+v.getFullName());
  }
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
80
81
    assert(null != (v = ncfile.findVariable("bvar")));
    assert !v.isUnsigned();
    assert v.getDataType() == DataType.BYTE;

    boolean hasSigned = false;
    Array data = v.read();
    while (data.hasNext()) {
      byte b = data.nextByte();
      if (b < 0) hasSigned = true;
    }
    assert hasSigned;

    ncfile.close();
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
98
99
    Variable v = null;
    assert(null != (v = ncfile.findVariable("bvar")));
    assert v.getDataType() == DataType.FLOAT;

    boolean hasSigned = false;
    Array data = v.read();
    while (data.hasNext()) {
      float b = data.nextFloat();
      if (b < 0) hasSigned = true;
    }
    assert !hasSigned;

    ncfile.close();
View Full Code Here
114
115
116
117
118
119
120
121
122
123
124
125
126
    Variable v = null;
    assert(null != (v = ncd.findVariable("bvar")));
    assert v.getDataType() == DataType.FLOAT;

    boolean hasSigned = false;
    Array data = v.read();
    while (data.hasNext()) {
      float b = data.nextFloat();
      if (b < 0) hasSigned = true;
    }
    assert !hasSigned;

    ncd.close();
View Full Code Here
TOP

Related Classes of wycs.solver.smt.Sort$Array

  • com.typesafe.config.ConfigValue
  • gwlpr.protocol.util.IsArray
  • net.sf.mzmine.modules.rawdatamethods.rawdataimport.fileformats.NetCDFReadTask
  • org.apache.sis.internal.netcdf.ucar.VariableWrapper
  • org.chromium.sdk.internal.wip.WipValueLoader.ObjectProperties
  • org.chromium.sdk.JsValue
  • org.geoserver.wcs.responses.NetCDFDimensionManager
  • org.geoserver.wcs.responses.NetCDFOutputManager
  • org.geotools.imageio.hdf4.aps.HDF4APSImageReader
  • org.geotools.imageio.hdf4.HDF4ImageReader
    • 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.