Lines Matching defs:pushLevel
43 * a pre-defined level, the <tt>pushLevel</tt>. </li>
69 * defines the <tt>pushLevel</tt> (defaults to <tt>level.SEVERE</tt>). </li>
92 private volatile Level pushLevel;
105 pushLevel = manager.getLevelProperty(cname +".push", Level.SEVERE);
161 * properties (or their default values) except that the given <tt>pushLevel</tt>
166 * @param pushLevel message level to push on
170 public MemoryHandler(Handler target, int size, Level pushLevel) {
171 if (target == null || pushLevel == null) {
181 this.pushLevel = pushLevel;
193 * compared with the <tt>pushLevel</tt>. If the given level is
194 * greater than or equal to the <tt>pushLevel</tt> then <tt>push</tt>
214 if (record.getLevel().intValue() >= pushLevel.intValue()) {
260 * Set the <tt>pushLevel</tt>. After a <tt>LogRecord</tt> is copied
262 * the <tt>pushLevel</tt>, then <tt>push</tt> will be called.
264 * @param newLevel the new value of the <tt>pushLevel</tt>
273 pushLevel = newLevel;
277 * Get the <tt>pushLevel</tt>.
279 * @return the value of the <tt>pushLevel</tt>
282 return pushLevel;