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
Fields inherited from class org.objectweb.jac.core.Wrapper |
ac |
Method Summary |
Object |
checkPrePost(Interaction interaction)
This wrapping method checks if pre and post conditions are
validated for modified fields. |
PrePostWrapper
public PrePostWrapper(AspectComponent ac)
checkPrePost
public Object checkPrePost(Interaction interaction)
throws Exception
- This wrapping method checks if pre and post conditions are
validated for modified fields.
Exception