Searched defs:pushLevel (Results 1 - 2 of 2) sorted by relevance

/openjdk7/jdk/src/share/classes/java/util/logging/
H A DMemoryHandler.java42 * a pre-defined level, the <tt>pushLevel</tt>.
66 * defines the <tt>pushLevel</tt> (defaults to <tt>level.SEVERE</tt>).
77 private Level pushLevel; field in class:MemoryHandler
90 pushLevel = manager.getLevelProperty(cname +".push", Level.SEVERE);
132 * properties (or their default values) except that the given <tt>pushLevel</tt>
137 * @param pushLevel message level to push on
141 public MemoryHandler(Handler target, int size, Level pushLevel) { argument
142 if (target == null || pushLevel == null) {
152 this.pushLevel = pushLevel;
[all...]
/openjdk7/corba/src/share/classes/com/sun/corba/se/impl/interceptors/
H A DPIHandlerImpl.java92 int pushLevel = 0; field in class:PIHandlerImpl
96 printSpaces(pushLevel);
97 pushLevel++;
103 pushLevel--;
104 printSpaces(pushLevel);

Completed in 24 milliseconds