2 * Copyright © 2011 Keith Packard <keithp@keithp.com>
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; version 2 of the License.
8 * This program is distributed in the hope that it will be useful, but
9 * WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 * General Public License for more details.
13 * You should have received a copy of the GNU General Public License along
14 * with this program; if not, write to the Free Software Foundation, Inc.,
15 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
18 package org.altusmetrum.altoslib_11;
23 import java.util.concurrent.*;
25 public class AltosGPSSat implements AltosJsonable {
29 public AltosGPSSat(int s, int c) {
34 public AltosGPSSat() {
37 public AltosHashSet hashSet() {
38 AltosHashSet h = new AltosHashSet();
39 h.putInt("svid", svid);
40 h.putInt("c_n0", c_n0);
44 public AltosJson json() {
45 AltosJson j = new AltosJson();
51 private AltosGPSSat(AltosHashSet h) {
52 svid = h.getInt("svid", 0);
53 c_n0 = h.getInt("c_n0", 0);
56 private AltosGPSSat(AltosJson j) {
57 svid = j.get_int("svid", 0);
58 c_n0 = j.get_int("c_n0", 0);
61 static public AltosGPSSat fromHashSet(AltosHashSet h, AltosGPSSat def) {
64 return new AltosGPSSat(h);
67 static public AltosGPSSat[] json_array(AltosJson j) {
72 AltosGPSSat[] sats = new AltosGPSSat[size];
73 for (int i = 0; i < size; i++)
74 sats[i] = new AltosGPSSat(j.get(i));
78 static public AltosGPSSat[] array(String string) {
84 StringReader reader = new StringReader(string);
85 ArrayList<AltosGPSSat> array = new ArrayList<AltosGPSSat>();
88 while ((element = AltosHashSet.get_token(reader)) != null) {
89 AltosGPSSat sat = AltosGPSSat.fromHashSet(AltosHashSet.fromString(element), null);
93 return array.toArray(new AltosGPSSat[0]);
94 } catch (IOException ie) {
99 public static String toString(AltosGPSSat[] sats) {
104 StringWriter writer = new StringWriter();
106 for (AltosGPSSat g : sats) {
107 String element = g.hashSet().toString();
108 AltosHashSet.put_token(writer, element);
110 return writer.toString();
111 } catch (IOException ie) {