|
JACK 5.4 Application Interface | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectaos.jack.jak.util.Watchable
aos.jack.jak.cursor.Cursor
aos.jack.jak.cursor.FalseCursor
Utility cursor that always returns false. Useful for code that needs to be able to return a cursor indicating failure.
Field Summary |
Fields inherited from class aos.jack.jak.cursor.Cursor |
FALSE, falseCursor, TRUE, trueCursor, UNKNOWN |
Constructor Summary | |
FalseCursor()
|
Method Summary | |
void |
finished()
This informs the cursor that it is not going to be used again. |
boolean |
next()
This method is called to provide a next binding by this cursor. |
Cursor |
reset(aos.jack.jak.core.Generator g,
int index)
Resets the cursor. |
void |
undo()
Undo tells the cursor to backtrack anything it has done. |
boolean |
unRegister(java.util.Observer o)
|
Methods inherited from class aos.jack.jak.cursor.Cursor |
isTriggered, negate, register |
Methods inherited from class aos.jack.jak.util.Watchable |
addObserver, countObservers, deleteObserver, deleteObservers, hasChanged, notifyObservers, notifyObservers |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public FalseCursor()
Method Detail |
public boolean next()
Cursor
db.query($x) && isWhatIWant($x) && db1.query($x, $y)If the isWhatIWant() cursor simply tests its input and returns true for appropriate values then this expression would not work as expected and may go into an infinite loop.
db(1) db(2) db(3) db1(3,3)and isWhatIWant() returned true on odd numbers. Then the correct behaviour would be one result with $x=3 $y=3. However if isWhatIWant.next() always returns true on odd numbers then: $x is bound to 1,
next
in class Cursor
public Cursor reset(aos.jack.jak.core.Generator g, int index)
Cursor
reset
in class Cursor
g
- The generator that generates an equivalent cursorindex
- The index of the equivalent cursor in the generator.
public void undo()
Cursor
undo
in class Cursor
public void finished()
Cursor
finished
in class Cursor
public boolean unRegister(java.util.Observer o)
unRegister
in class Cursor
|
JACK 5.4 Application Interface | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
US Government Restricted Rights
The JACK Modules and relevant Software Material have been developed entirely at private expense and are accordingly provided with RESTRICTED RIGHTS. Use, duplication, or disclosure by Government is subject to restrictions as set forth in subparagraph (c)(1)(ii) of DFARS 252.227-7013 or subparagraph (c)(1) and (2) of the Commercial Computer Software Restricted Rights and 48 CFR 52.2270-19, as applicable.