org.ref_send.promise
Class Log

java.lang.Object
  org.ref_send.promise.Log

All Implemented Interfaces:

java.io.Serializable

public class Log
extends java.lang.Object
implements java.io.Serializable

A log interface.

See Also:

Serialized Form

Constructor Summary

Log()

Method Summary

void	comment(java.lang.String text) Logs a comment.
void	fulfilled(java.lang.String condition) Logs fulfillment of a promise.
void	got(java.lang.String message, java.lang.Class<?> concrete, java.lang.reflect.Method method) Logs receipt of a message.
void	problem(java.lang.Exception reason) Logs an exception.
void	progressed(java.lang.String condition) Logs progress towards fulfillment of a promise.
void	rejected(java.lang.String condition, java.lang.Exception reason) Logs rejection of a promise.
void	resolved(java.lang.String condition) Logs resolution of a promise.
void	returned(java.lang.String message) Logs sending of a return value.
void	sent(java.lang.String message) Logs a message send.
void	sentIf(boolean pipelined, java.lang.String message, java.lang.String condition) Logs a conditional message send.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Log

public Log()

Method Detail

comment

public void comment(java.lang.String text)

Logs a comment.

Parameters:

text - comment text

problem

public void problem(java.lang.Exception reason)

Logs an exception.

Parameters:

reason - problem reason

got

public void got(java.lang.String message,
                java.lang.Class<?> concrete,
                java.lang.reflect.Method method)

Logs receipt of a message.

Parameters:

message - message identifier

concrete - concrete type of invocation target

method - declaration of invoked method

sent

public void sent(java.lang.String message)

Logs a message send.

Parameters:

message - sent message identifier

returned

public void returned(java.lang.String message)

Logs sending of a return value.

Parameters:

message - return message identifier

sentIf

public void sentIf(boolean pipelined,
                   java.lang.String message,
                   java.lang.String condition)

Logs a conditional message send.

Parameters:

pipelined - Is the message processed at the callee's site?

message - message identifier

condition - condition identifier

resolved

public void resolved(java.lang.String condition)

Logs resolution of a promise.

Parameters:

condition - condition identifier

fulfilled

public void fulfilled(java.lang.String condition)

Logs fulfillment of a promise.

Parameters:

condition - condition identifier

rejected

public void rejected(java.lang.String condition,
                     java.lang.Exception reason)

Logs rejection of a promise.

Parameters:

condition - condition identifier

progressed

public void progressed(java.lang.String condition)

Logs progress towards fulfillment of a promise.

Parameters:

condition - condition identifier