jSyncManager Simple Java Server

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

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<User>
      extended by 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


jSyncManager Simple Java Server

Copyright (c) 2004 Brad BARCLAY. All Rights Reserved.