JAC project
AOPSYS
CEDRIC & LIP6 labs

org.objectweb.jac.aspects.integrity
Class PrePostWrapper

java.lang.Object
  |
  +--org.objectweb.jac.core.Wrapper
        |
        +--org.objectweb.jac.aspects.integrity.PrePostWrapper
All Implemented Interfaces:
Serializable

public class PrePostWrapper
extends Wrapper

This wrapper provides pre-post condition testing.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.objectweb.jac.core.Wrapper
ac
 
Constructor Summary
PrePostWrapper(AspectComponent ac)
           
 
Method Summary
 Object checkPrePost(Interaction interaction)
          This wrapping method checks if pre and post conditions are validated for modified fields.
 
Methods inherited from class org.objectweb.jac.core.Wrapper
attr, attrdef, defines, getAspectComponent, getAspectComponentName, getExceptionHandlers, proceed, setAspectComponent, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PrePostWrapper

public PrePostWrapper(AspectComponent ac)
Method Detail

checkPrePost

public Object checkPrePost(Interaction interaction)
                    throws Exception
This wrapping method checks if pre and post conditions are validated for modified fields.

Exception

Contact JAC development team:
Renaud Pawlak
Lionel Seinturier
Laurent Martelli