public final class GetChar extends AbstractSingleResultPredicate
get_char(X) - reads the next character from the input stream.
The goal succeeds if X can be unified with next character read from the current input stream. Succeeds
only once and the operation of moving to the next character is not undone on backtracking.
If there are no more characters to read from the current input stream (i.e. if the end of the stream has been
reached) then an attempt is made to unify X with an atom with the value end_of_file.
| Constructor and Description |
|---|
GetChar() |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
evaluate(Term argument) |
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBaseclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisAlwaysCutOnBacktrackprotected boolean evaluate(Term argument)
evaluate in class AbstractSingleResultPredicateCopyright © 2024. All rights reserved.