|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface InteractionContext<E>
| Method Summary | |
|---|---|
int |
getHeight()
Returns the term height in chars. |
String |
getProperty(String propertyName)
Returns a generic property, usually this property is resolved by the shell client. |
int |
getWidth()
Returns the term width in chars. |
String |
readLine(String msg,
boolean echo)
Display a message and read a line on the console. |
| Methods inherited from interface org.crsh.Pipe |
|---|
provide |
| Methods inherited from interface java.io.Flushable |
|---|
flush |
| Method Detail |
|---|
int getWidth()
int getHeight()
String getProperty(String propertyName)
propertyName - the property name
String readLine(String msg,
boolean echo)
msg - the message to display before reading a lineecho - wether or not the line read should be echoed when typing
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||