|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object orc.trace.TokenTracer orc.trace.DerivedTracer.DerivedTokenTracer
protected abstract class DerivedTracer.DerivedTokenTracer
Nested Class Summary |
---|
Nested classes/interfaces inherited from class orc.trace.TokenTracer |
---|
TokenTracer.PullTrace, TokenTracer.StoreTrace |
Field Summary | |
---|---|
protected TokenTracer |
tracer
|
Constructor Summary | |
---|---|
DerivedTracer.DerivedTokenTracer(TokenTracer tracer)
|
Method Summary | |
---|---|
void |
block(TokenTracer.PullTrace pull)
Block a thread waiting for a future. |
void |
choke(TokenTracer.StoreTrace store)
Killed through the setting of a future. |
void |
die()
Terminate a thread. |
void |
enter(Closure closure)
Enter a closure. |
void |
error(TokenException error)
Report an error. |
TokenTracer |
fork()
Create a new thread. |
SourceLocation |
getSourceLocation()
|
void |
leave(int depth)
Leave "depth" closures EXPERIMENTAL |
void |
print(java.lang.String value,
boolean newline)
Print to stdout. |
void |
publish(java.lang.Object value)
Publish a value from the program. |
TokenTracer.PullTrace |
pull()
Create a new future for a pull. |
void |
receive(java.lang.Object value)
Return from a site call. |
void |
send(java.lang.Object site,
java.lang.Object[] arguments)
Call a site. |
void |
setSourceLocation(SourceLocation location)
|
TokenTracer.StoreTrace |
store(TokenTracer.PullTrace event,
java.lang.Object value)
Store a value for a future. |
void |
unblock(TokenTracer.StoreTrace store)
Receive a future we were waiting for. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected TokenTracer tracer
Constructor Detail |
---|
public DerivedTracer.DerivedTokenTracer(TokenTracer tracer)
Method Detail |
---|
public void block(TokenTracer.PullTrace pull)
TokenTracer
block
in class TokenTracer
public void choke(TokenTracer.StoreTrace store)
TokenTracer
TokenTracer.die()
.
choke
in class TokenTracer
public void die()
TokenTracer
die
in class TokenTracer
public void enter(Closure closure)
TokenTracer
enter
in class TokenTracer
public void leave(int depth)
TokenTracer
leave
in class TokenTracer
public void error(TokenException error)
TokenTracer
TokenTracer.die()
.
error
in class TokenTracer
public TokenTracer fork()
TokenTracer
fork
in class TokenTracer
public SourceLocation getSourceLocation()
public void print(java.lang.String value, boolean newline)
TokenTracer
print
in class TokenTracer
public void publish(java.lang.Object value)
TokenTracer
TokenTracer.die()
.
publish
in class TokenTracer
public TokenTracer.PullTrace pull()
TokenTracer
TokenTracer.fork()
.
pull
in class TokenTracer
public void receive(java.lang.Object value)
TokenTracer
TokenTracer.send(Object, Object[])
.
receive
in class TokenTracer
public void send(java.lang.Object site, java.lang.Object[] arguments)
TokenTracer
send
in class TokenTracer
public void setSourceLocation(SourceLocation location)
public TokenTracer.StoreTrace store(TokenTracer.PullTrace event, java.lang.Object value)
TokenTracer
TokenTracer.choke(StoreTrace)
.
The engine guarantees that all
TokenTracer.choke(orc.trace.TokenTracer.StoreTrace)
and
TokenTracer.unblock(orc.trace.TokenTracer.StoreTrace)
events will occur
before the TokenTracer.die()
event for this tracer.
store
in class TokenTracer
TokenTracer.choke(orc.trace.TokenTracer.StoreTrace)
,
TokenTracer.unblock(orc.trace.TokenTracer.StoreTrace)
public void unblock(TokenTracer.StoreTrace store)
TokenTracer
unblock
in class TokenTracer
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |