|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IOContext<E>
The io context extends the pipe.
| Method Summary | |
|---|---|
int |
getHeight()
Returns the term height in chars. |
int |
getWidth()
Returns the term width in chars. |
| Methods inherited from interface org.crsh.io.Pipe |
|---|
provide |
| Methods inherited from interface java.io.Flushable |
|---|
flush |
| Method Detail |
|---|
int getWidth()
int getHeight()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||