Cushion Documentation

Packages
org.objectweb.dsrg.sofa.cushion Provides action classes - chiefly wrappers for SOFA 2 Tools API actons.
org.objectweb.dsrg.sofa.cushion.actionreg Provides access to action classes using Java XML Binding (JAXB).
org.objectweb.dsrg.sofa.cushion.behavior  
org.objectweb.dsrg.sofa.cushion.behavior.bp  
org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom  
org.objectweb.dsrg.sofa.cushion.binding.actionreg  
org.objectweb.dsrg.sofa.cushion.jpfcheck  
org.objectweb.dsrg.sofa.cushion.osgi