org.jSyncManager.SJS.Adapters.SMTPServer.Config.contracts
Class UserContract

java.lang.Object
  net.sourceforge.c4j.ContractBase<User>
      org.jSyncManager.SJS.Adapters.SMTPServer.Config.contracts.UserContract

public class UserContract
extends net.sourceforge.c4j.ContractBase<User>

Contract for User class

Version:

v1.0

Author:

Wenfeng Su

Field Summary

(package private) User

user

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

UserContract(User user)
Constructor for the User class

Method Summary

void	classInvariant() The class invariant for User class
void	post_getPath() The post condition for getPath method
void	post_toString() The post condition for toString method
void	pre_setName(java.lang.String name) The pre condition for setName method
void	pre_setPath(java.lang.String path) The pre condition for setPath method

Methods inherited from class net.sourceforge.c4j.ContractBase

addLogger, classInvariantCheck, getPreconditionValue, getReturnValue, getTargetField, popPreconditionValuesMap, popReturnValue, postConditionCheck, preConditionCheck, pushPreconditionValuesMap, pushReturnValue, setPreconditionValue, setReturnValue

Methods inherited from class java.lang.Object

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

Field Detail

user

User user

Constructor Detail

UserContract

public UserContract(User user)

Constructor for the User class

Parameters:

user - the user

Method Detail

classInvariant

public void classInvariant()

The class invariant for User class

pre_setName

public void pre_setName(java.lang.String name)

The pre condition for setName method

Parameters:

name - string type of name

post_getPath

public void post_getPath()

The post condition for getPath method

pre_setPath

public void pre_setPath(java.lang.String path)

The pre condition for setPath method

Parameters:

path - string type of path

post_toString

public void post_toString()

The post condition for toString method