Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> prolifics >> [ jni overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

com.prolifics.jni
Class ExceptionDescriber  

java.lang.Object
  java.io.Writer
      com.prolifics.jni.ExceptionDescriber

---

public class ExceptionDescriber

extends java.io.Writer

---

Field Summary
(package private)  java.lang.StringBuffer	s

 

Fields inherited from class java.io.Writer

lock

 

Constructor Summary

ExceptionDescriber()

 

Method Summary
void	close()           This method closes the stream.
(package private) static java.lang.String	describe(java.lang.Throwable e)
void	flush()           This method forces any data that may have been buffered to be written to the underlying output device.
void	write(char[] cbuf, int off, int len)           This method writes len char from the specified array buf starting at index offset into the array.

 

Methods inherited from class java.io.Writer

write, write, write, write

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

s

java.lang.StringBuffer s

Constructor Detail

ExceptionDescriber

public ExceptionDescriber()

Method Detail

describe

static java.lang.String describe(java.lang.Throwable e)

---

write

public void write(char[] cbuf,
                  int off,
                  int len)

Description copied from class: java.io.Writer

This method writes len char from the specified array buf starting at index offset into the array.

Subclasses must provide an implementation of this abstract method.

---

flush

public void flush()

Description copied from class: java.io.Writer

This method forces any data that may have been buffered to be written to the underlying output device. Please note that the host environment might perform its own buffering unbeknowst to Java. In that case, a write made (for example, to a disk drive) might be cached in OS buffers instead of actually being written to disk.

---

close

public void close()

Description copied from class: java.io.Writer

This method closes the stream. Any internal or native resources associated with this stream are freed. Any subsequent attempt to access the stream might throw an exception.

This method in this class does nothing.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> prolifics >> [ jni overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---