stream = ((JavaObjectTerm) a1).object();
} else {
throw new IllegalDomainException(this, 1, "stream_or_alias", a1);
}
if (!(stream instanceof PushbackReader)) {
throw new PermissionException(this, "input", "stream", a1, "");
}
// read single character
try {
int c = ((PushbackReader) stream).read();
if (c < 0) { // EOF