double
979899100101102103104105
} protected void push(Number value) { JSONValue val = JSONNull.getInstance(); if (value != null) { val = new JSONNumber(value.doubleValue()); } set(++m_currentIndex, val); }
152153154155156157158159
m_currentIndex = index; } } protected Double getDouble(int index) { JSONNumber num = getNumber(index); return num == null ? null : new Double(num.doubleValue()); }
157158159160161162163164
JSONNumber num = getNumber(index); return num == null ? null : new Double(num.doubleValue()); } protected Integer getInteger(int index) { JSONNumber num = getNumber(index); return num == null ? null : new Integer((int) num.doubleValue()); }
565758596061626364
} protected void put(String key, Number value) { JSONValue val = JSONNull.getInstance(); if (value != null) { val = new JSONNumber(value.doubleValue()); } m_jsonObj.put(key, val); }
7475767778798081
} m_jsonObj.put(key, val); } protected Double getDouble(String key) { JSONNumber num = getNumber(key); return num == null ? null : new Double(num.doubleValue()); }
7980818283848586
JSONNumber num = getNumber(key); return num == null ? null : new Double(num.doubleValue()); } protected Integer getInteger(String key) { JSONNumber num = getNumber(key); return num == null ? null : new Integer((int) num.doubleValue()); }
709710711712713714715716717718719720721
} @Override public void onError(ServerError error) { JSONNumber size = error.getClientInfo().isNumber(); if (size != null) view_.showSizeWarning((long) size.doubleValue()); else super.onError(error); } }); }
101102103104105106107108109110111
sliderBar_.addSlideCompletedListener(new ChangeListener() { @Override public void onChange(Widget sender) { ManipulatorControlSlider.this.onValueChanged( new JSONNumber(sliderBar_.getCurrentValue())); } }); // add slider bar and fully initialize widget
435436437438439440441442443444445446447
364365366367368369370371372373374375376
@Override public void onError(ServerError error) { commitShowing_ = null; JSONNumber size = error.getClientInfo().isNumber(); if (size != null) view_.showSizeWarning((long) size.doubleValue()); else if (strategy_.getShowHistoryErrors()) super.onError(error); else Debug.logError(error); }