next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
openIn -- open an input file
Description
openIn "fff"
opens an input file whose filename is
fff
.
Other options are available. For details, see
openInOut
.
Ways to use
openIn
:
openIn(String)