Uses of Class
org.jSyncManager.SJS.Adapters.SMTPServer.Address

Packages that use Address

org.jSyncManager.SJS.Adapters.SMTPServer
org.jSyncManager.SJS.Adapters.SMTPServer.contracts

Uses of Address in org.jSyncManager.SJS.Adapters.SMTPServer

Fields in org.jSyncManager.SJS.Adapters.SMTPServer declared as Address

protected Address

Message.from Sending address of the message

Fields in org.jSyncManager.SJS.Adapters.SMTPServer with type parameters of type Address

protected java.util.List<Address>

Message.to Receiving address of the message

Methods in org.jSyncManager.SJS.Adapters.SMTPServer that return Address

Address

Message.getFrom() Returns the address of the sender of a message

Methods in org.jSyncManager.SJS.Adapters.SMTPServer that return types with arguments of type Address

java.util.List<Address>	RemoteServerMessage.getRcpts()
java.util.List<Address>	Message.getTo() Returns the address of the receiver of a message
java.util.Iterator<Address>	Message.getToIter() Returns the address of the receiver of a message

Methods in org.jSyncManager.SJS.Adapters.SMTPServer with parameters of type Address

void	RemoteServerMessage.addRcpt(Address rcpt)
void	Message.addTo(Address address) Returns the address of the receiver of a message
void	MboxContract.post_storeMessage(Message msg, Address to)
void	MboxContract.pre_storeMessage(Message msg, Address to)
void	Message.setFrom(Address from) Sets the from address of this message
void	RemoteMessageHandler.store(Message currentMsg, Address recipient) Stores incoming messages in a map with the server IP as key
void	MessageStoreInterface.storeMessage(Message msg, Address to) Stores a single Message object to some medium where it can later be retrieved.
void	Mbox.storeMessage(Message msg, Address to) Stores a single Message object to some medium where it can later be retrieved.

Method parameters in org.jSyncManager.SJS.Adapters.SMTPServer with type arguments of type Address

void	Message.setTo(java.util.List<Address> to) Sets the to address of this message

Constructors in org.jSyncManager.SJS.Adapters.SMTPServer with parameters of type Address

Message(Address from, java.util.List<Address> to, java.lang.String body)
A constructor which takes a from/to (sender/receiver), and body and initializes the sent/received dates to null.

Message(java.util.Date sent, java.util.Date received, Address from, java.util.List<Address> to, java.lang.String body)
A constructor which takes a from/to (sender/receiver), body, and send/receive dates as arguments.

Constructor parameters in org.jSyncManager.SJS.Adapters.SMTPServer with type arguments of type Address

Message(Address from, java.util.List<Address> to, java.lang.String body)
A constructor which takes a from/to (sender/receiver), and body and initializes the sent/received dates to null.

Message(java.util.Date sent, java.util.Date received, Address from, java.util.List<Address> to, java.lang.String body)
A constructor which takes a from/to (sender/receiver), body, and send/receive dates as arguments.

Uses of Address in org.jSyncManager.SJS.Adapters.SMTPServer.contracts

Fields in org.jSyncManager.SJS.Adapters.SMTPServer.contracts declared as Address

(package private) Address

AddressContract.addy The address class being checked.

Methods in org.jSyncManager.SJS.Adapters.SMTPServer.contracts with parameters of type Address

void	RemoteServerMessageContract.post_addRcpt(Address rcpt) This contract ensures that the recipient to be added is not null.
void	MessageContract.post_Message(Address from, java.util.List<Address> to, java.lang.String body) Post-Message (third) constructor condition..
void	MessageContract.post_Message(java.util.Date sent, java.util.Date received, Address from, java.util.List<Address> to, java.lang.String body) Post-Message (second) constructor condition.
void	MessageContract.post_setFrom(Address from) Post-condition for setFrom.
void	RemoteServerMessageContract.pre_addRcpt(Address rcpt) This contract ensures that the recipient to be added is not null.
void	MessageContract.pre_addTo(Address address) Pre-condition for addTo method.
void	MessageContract.pre_Message(Address from, java.util.List<Address> to, java.lang.String body) Pre-Message (third) constructor condition.
void	MessageContract.pre_Message(java.util.Date sent, java.util.Date received, Address from, java.util.List<Address> to, java.lang.String body) Pre-Message (second) constructor condition.
void	MessageContract.pre_setFrom(Address from) Pre-condition for setFrom.
void	RemoteMessageHandlerContract.pre_store(Message currentMsg, Address recipient) These conditions must hold true before the store method can happen

Method parameters in org.jSyncManager.SJS.Adapters.SMTPServer.contracts with type arguments of type Address

void	MessageContract.post_Message(Address from, java.util.List<Address> to, java.lang.String body) Post-Message (third) constructor condition..
void	MessageContract.post_Message(java.util.Date sent, java.util.Date received, Address from, java.util.List<Address> to, java.lang.String body) Post-Message (second) constructor condition.
void	MessageContract.post_setTo(java.util.List<Address> to) Post-condition for setTo method.
void	MessageContract.pre_Message(Address from, java.util.List<Address> to, java.lang.String body) Pre-Message (third) constructor condition.
void	MessageContract.pre_Message(java.util.Date sent, java.util.Date received, Address from, java.util.List<Address> to, java.lang.String body) Pre-Message (second) constructor condition.
void	MessageContract.pre_setTo(java.util.List<Address> to) Pre-condition for setTo.

Constructors in org.jSyncManager.SJS.Adapters.SMTPServer.contracts with parameters of type Address

AddressContract(Address addy)
Creates the AddressContract class.