A B C D E G H I J L M N O P R S T U V

A

Action - Class in org.objectweb.dsrg.sofa.cushion.actionreg
 
Action() - Constructor for class org.objectweb.dsrg.sofa.cushion.actionreg.Action
 
action - Variable in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions
 
ACTION_ERROR - Static variable in interface org.objectweb.dsrg.sofa.cushion.ActionInterface
Return value of ActionInterface.perform(String[], java.io.PrintStream) indicating error during action performing.
ActionInterface - Interface in org.objectweb.dsrg.sofa.cushion
Interface for Cushion actions.
actionMap - Static variable in class org.objectweb.dsrg.sofa.cushion.actionreg.ActionRegister
 
ActionRegister - Class in org.objectweb.dsrg.sofa.cushion.actionreg
 
ActionRegister() - Constructor for class org.objectweb.dsrg.sofa.cushion.actionreg.ActionRegister
 
Actions - Class in org.objectweb.dsrg.sofa.cushion.binding.actionreg
Java class for anonymous complex type.
Actions() - Constructor for class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions
 
Actions.Action - Class in org.objectweb.dsrg.sofa.cushion.binding.actionreg
Java class for anonymous complex type.
Actions.Action() - Constructor for class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions.Action
 
analyze(String) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Inspect the service interface and create a transitive closure

B

BAD_PARAMETERS - Static variable in interface org.objectweb.dsrg.sofa.cushion.ActionInterface
Return value of ActionInterface.perform(String[], java.io.PrintStream) indicating invalid parameters.
BPChecker - Class in org.objectweb.dsrg.sofa.cushion.behavior.bp
 
BPChecker() - Constructor for class org.objectweb.dsrg.sofa.cushion.behavior.bp.BPChecker
Creates a new instance of BPChecker
bundleChanged(BundleEvent) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.UnistallListener
Called when a bundle event if fired

C

CannotInstantiateActionException - Exception in org.objectweb.dsrg.sofa.cushion.actionreg
 
CannotInstantiateActionException() - Constructor for exception org.objectweb.dsrg.sofa.cushion.actionreg.CannotInstantiateActionException
 
CannotInstantiateActionException(String, Throwable) - Constructor for exception org.objectweb.dsrg.sofa.cushion.actionreg.CannotInstantiateActionException
 
CannotInstantiateActionException(String) - Constructor for exception org.objectweb.dsrg.sofa.cushion.actionreg.CannotInstantiateActionException
 
CannotInstantiateActionException(Throwable) - Constructor for exception org.objectweb.dsrg.sofa.cushion.actionreg.CannotInstantiateActionException
 
check(Search, JVM) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
 
checkArchitecture(Architecture, PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.behavior.bp.BPChecker
Performs the behavior verification of Behavior Protocols using the local version of dChecker.
checkArchitecture(Architecture, PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom.EBP2PromChecker
Performs the behavior verification of Extended Behavior Protocols via translation to Promela and using the Spin model checker (www.spinroot.com)
CheckerAction - Class in org.objectweb.dsrg.sofa.cushion
Behavior checker action.
CheckerAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.CheckerAction
 
CheckerImpl - Class in org.objectweb.dsrg.sofa.cushion.behavior
 
CheckerImpl() - Constructor for class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
 
CheckerImpl.InvalidBindingTypeException - Exception in org.objectweb.dsrg.sofa.cushion.behavior
 
CheckerImpl.InvalidBindingTypeException() - Constructor for exception org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl.InvalidBindingTypeException
 
CheckoutAction - Class in org.objectweb.dsrg.sofa.cushion
Checkout action.
CheckoutAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.CheckoutAction
 
clazz - Variable in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions.Action
 
CommandLineParser - Class in org.objectweb.dsrg.sofa.cushion
Dedicated to converting commandline parameters to API objects.
CommandLineParser() - Constructor for class org.objectweb.dsrg.sofa.cushion.CommandLineParser
 
CommandLineParser.Modifier - Enum in org.objectweb.dsrg.sofa.cushion
 
CommitAction - Class in org.objectweb.dsrg.sofa.cushion
Commit action.
CommitAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.CommitAction
 
CompileAction - Class in org.objectweb.dsrg.sofa.cushion
Compile action.
CompileAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.CompileAction
 
createActions() - Method in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.ObjectFactory
Create an instance of Actions
createActionsAction() - Method in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.ObjectFactory
Create an instance of Actions.Action
Cushion - Class in org.objectweb.dsrg.sofa.cushion
Main class of the Cushion.
Cushion() - Constructor for class org.objectweb.dsrg.sofa.cushion.Cushion
 
CushionException - Exception in org.objectweb.dsrg.sofa.cushion
Cushion exception.
CushionException() - Constructor for exception org.objectweb.dsrg.sofa.cushion.CushionException
CushionException.
CushionException(String) - Constructor for exception org.objectweb.dsrg.sofa.cushion.CushionException
CushionException.
CushionException(Throwable) - Constructor for exception org.objectweb.dsrg.sofa.cushion.CushionException
CushionException.
CushionException(String, Throwable) - Constructor for exception org.objectweb.dsrg.sofa.cushion.CushionException
CushionException.

D

DEFAULT_DESTDIR - Static variable in class org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo
 
DEFAULT_VALUESETSCLASS - Static variable in class org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo
 
DeleteAction - Class in org.objectweb.dsrg.sofa.cushion
Deletes entity from repository.
DeleteAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.DeleteAction
 
DeployAction - Class in org.objectweb.dsrg.sofa.cushion
Commits deployment plan and generates connectors,.
DeployAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.DeployAction
 
DESC_OPT_VERSIONTAG_SPEC - Static variable in class org.objectweb.dsrg.sofa.cushion.CommandLineParser
Description of optional version or tag specification.
DESC_STRICT_TAG_SPEC - Static variable in class org.objectweb.dsrg.sofa.cushion.CommandLineParser
Description of obligatory tag specification.
DESC_STRICT_VERSION_SPEC - Static variable in class org.objectweb.dsrg.sofa.cushion.CommandLineParser
Description of obligatory version specification.
destDir - Variable in class org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo
 

E

EBP2PromChecker - Class in org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom
This is implementation of the Checker interface for EBP2Promela case.
EBP2PromChecker() - Constructor for class org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom.EBP2PromChecker
Creates a new instance of EBP2PromChecker
EnvironmentInfo - Class in org.objectweb.dsrg.sofa.cushion.jpfcheck
Container class for information related to component environments.
EnvironmentInfo() - Constructor for class org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo
 
environmentProtocols - Variable in class org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo
 
EXAMPLE_TAG - Static variable in class org.objectweb.dsrg.sofa.cushion.CommandLineParser
Example of tag specification.
EXAMPLE_VERSION - Static variable in class org.objectweb.dsrg.sofa.cushion.CommandLineParser
Example of version specification.
executeAction(String, PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.ExecuteScriptAction
Execute a given action.
executeScript(File, PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.ExecuteScriptAction
Execute a given script file.
ExecuteScriptAction - Class in org.objectweb.dsrg.sofa.cushion
Execute a script action.
ExecuteScriptAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.ExecuteScriptAction
 
ExportAction - Class in org.objectweb.dsrg.sofa.cushion
Export action.
ExportAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.ExportAction
 

G

getAction(String) - Static method in class org.objectweb.dsrg.sofa.cushion.actionreg.ActionRegister
 
getAction() - Method in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions
Gets the value of the action property.
getActions() - Static method in class org.objectweb.dsrg.sofa.cushion.actionreg.ActionRegister
 
getBehaviorType() - Method in class org.objectweb.dsrg.sofa.cushion.behavior.bp.BPChecker
 
getBehaviorType() - Method in class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
 
getBehaviorType() - Method in class org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom.EBP2PromChecker
 
getClazz() - Method in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions.Action
Gets the value of the clazz property.
getErrorMessage() - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
 
getFrame(Architecture) - Method in class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
 
getId() - Method in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions.Action
Gets the value of the id property.
getInst() - Method in class org.objectweb.dsrg.sofa.cushion.actionreg.Action
 
getMethodNames() - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
Returns names of methods that are monitored by JPF.
getParserBridge() - Method in class org.objectweb.dsrg.sofa.cushion.behavior.bp.BPChecker
 
getParserBridge() - Method in class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
 
getParserBridge() - Method in class org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom.EBP2PromChecker
 
getProtocol(Frame) - Method in class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
 

H

HelpAction - Class in org.objectweb.dsrg.sofa.cushion
Prints help for all actions.
HelpAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.HelpAction
 

I

id - Variable in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions.Action
 
ImportAction - Class in org.objectweb.dsrg.sofa.cushion
Import action.
ImportAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.ImportAction
 
init() - Static method in class org.objectweb.dsrg.sofa.cushion.actionreg.ActionRegister
 
inst - Variable in class org.objectweb.dsrg.sofa.cushion.actionreg.Action
 
instructionExecuted(JVM) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
 

J

JAXBParser - Class in org.objectweb.dsrg.sofa.cushion
 
JAXBParser() - Constructor for class org.objectweb.dsrg.sofa.cushion.JAXBParser
 
JPFCheckAction - Class in org.objectweb.dsrg.sofa.cushion.jpfcheck
Frontend to the Environment Generator and Java PathFinder.
JPFCheckAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckAction
 
JPFCheckActionBackend - Class in org.objectweb.dsrg.sofa.cushion.jpfcheck
This class actually uses Environment Generator and Java PathFinder.
JPFCheckActionBackend() - Constructor for class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckActionBackend
 
JPFCheckerSearch - Class in org.objectweb.dsrg.sofa.cushion.jpfcheck
Modified version of the DFSearch class distributed with JPF.
JPFCheckerSearch(Config, JVM) - Constructor for class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckerSearch
 

L

load(String, PrintStream) - Static method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo
Load information related to component environments from a property file.

M

main(String[]) - Static method in class org.objectweb.dsrg.sofa.cushion.Cushion
Main method.
main(String[]) - Static method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckActionBackend
 

N

NewAction - Class in org.objectweb.dsrg.sofa.cushion
Creates new entity.
NewAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.NewAction
 
NOT_ENOUGH_PARAMETERS - Static variable in interface org.objectweb.dsrg.sofa.cushion.ActionInterface
Return value of ActionInterface.perform(String[], java.io.PrintStream) indicating lack of parameters.

O

ObjectFactory - Class in org.objectweb.dsrg.sofa.cushion.binding.actionreg
This object contains factory methods for each Java content interface and Java element interface generated in the org.objectweb.dsrg.sofa.cushion.binding.actionreg package.
ObjectFactory() - Constructor for class org.objectweb.dsrg.sofa.cushion.binding.actionreg.ObjectFactory
Create a new ObjectFactory that can be used to create new instances of schema derived classes for package: org.objectweb.dsrg.sofa.cushion.binding.actionreg
org.objectweb.dsrg.sofa.cushion - package org.objectweb.dsrg.sofa.cushion
Provides action classes - chiefly wrappers for SOFA 2 Tools API actons.
org.objectweb.dsrg.sofa.cushion.actionreg - package org.objectweb.dsrg.sofa.cushion.actionreg
Provides access to action classes using Java XML Binding (JAXB).
org.objectweb.dsrg.sofa.cushion.behavior - package org.objectweb.dsrg.sofa.cushion.behavior
 
org.objectweb.dsrg.sofa.cushion.behavior.bp - package org.objectweb.dsrg.sofa.cushion.behavior.bp
 
org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom - package org.objectweb.dsrg.sofa.cushion.behavior.ebp2prom
 
org.objectweb.dsrg.sofa.cushion.binding.actionreg - package org.objectweb.dsrg.sofa.cushion.binding.actionreg
 
org.objectweb.dsrg.sofa.cushion.jpfcheck - package org.objectweb.dsrg.sofa.cushion.jpfcheck
 
org.objectweb.dsrg.sofa.cushion.osgi - package org.objectweb.dsrg.sofa.cushion.osgi
 
OsgiAction - Class in org.objectweb.dsrg.sofa.cushion
Command 'osgi' A helper command for developing OSGi-enabled components and interacting with the Framework.
OsgiAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.OsgiAction
 

P

parseArch(Architecture) - Method in class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
Fetch the behavior desrciption from the repository and returns the structure of this composite.
parseEntity(String[], int, CommandLineParser.Modifier, EntityDescriptorImpl) - Static method in class org.objectweb.dsrg.sofa.cushion.CommandLineParser
Parse entity information.
parseEntity(String[], int, EntityDescriptorImpl) - Static method in class org.objectweb.dsrg.sofa.cushion.CommandLineParser
Parse entity information with default modifier.
ParseException - Exception in org.objectweb.dsrg.sofa.cushion
Parse Exception.
ParseException() - Constructor for exception org.objectweb.dsrg.sofa.cushion.ParseException
Constructor.
ParseException(String, Throwable) - Constructor for exception org.objectweb.dsrg.sofa.cushion.ParseException
Constructor.
ParseException(String) - Constructor for exception org.objectweb.dsrg.sofa.cushion.ParseException
Constructor.
ParseException(Throwable) - Constructor for exception org.objectweb.dsrg.sofa.cushion.ParseException
Constructor.
parseFile(String, String, String) - Static method in class org.objectweb.dsrg.sofa.cushion.JAXBParser
 
parseResource(String, String, String) - Static method in class org.objectweb.dsrg.sofa.cushion.JAXBParser
 
parseURL(String, URL, String) - Static method in class org.objectweb.dsrg.sofa.cushion.JAXBParser
 
perform(String[], PrintStream) - Method in interface org.objectweb.dsrg.sofa.cushion.ActionInterface
Executes the action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.CheckerAction
Performs the action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.CheckoutAction
Performs the action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.CommitAction
Performs the action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.CompileAction
Performs the action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.DeleteAction
Performs new action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.DeployAction
Performs action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.ExecuteScriptAction
Performs the action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.ExportAction
Performs the action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.HelpAction
Performs action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.ImportAction
Performs the action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckAction
 
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.NewAction
Performs new action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.OsgiAction
Performs the osgi command
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.PrepareAssemblyAction
Performs action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.PrepareDeplPlanAction
Performs action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.PrintAction
Prints out entity info.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.RemoveAction
Performs remove action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.RepositoryDumpAction
Perform repository dump.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.StatusAction
Perform status action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.TagAction
Performs new action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.UpdateAction
Perform update action.
perform(String[], PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.UploadBundlesAction
Performs the action.
PrepareAssemblyAction - Class in org.objectweb.dsrg.sofa.cushion
Generates (skeleton of) new assembly descriptor.
PrepareAssemblyAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.PrepareAssemblyAction
 
PrepareDeplPlanAction - Class in org.objectweb.dsrg.sofa.cushion
Creates new deployment plan.
PrepareDeplPlanAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.PrepareDeplPlanAction
 
PrintAction - Class in org.objectweb.dsrg.sofa.cushion
Print action.
PrintAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.PrintAction
 
printActionList(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.HelpAction
Prints list of available actions.
printActionResultMessage(ActionInterface, int, PrintStream) - Static method in class org.objectweb.dsrg.sofa.cushion.Cushion
Prints out a message that informs user about action result.
printException(PrintStream, Logger, Exception) - Static method in exception org.objectweb.dsrg.sofa.cushion.CushionException
 
printHelp(StringBuffer) - Method in interface org.objectweb.dsrg.sofa.cushion.ActionInterface
Gives a help message.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.CheckerAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.CheckoutAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.CommitAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.CompileAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.DeleteAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.DeployAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.ExecuteScriptAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.ExportAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.HelpAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.ImportAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.NewAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.OsgiAction
Puts help message into the buffer.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.PrepareAssemblyAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.PrepareDeplPlanAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.PrintAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.RemoveAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.RepositoryDumpAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.StatusAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.TagAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.UpdateAction
Prints help.
printHelp(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.UploadBundlesAction
Prints help.
printStream(InputStream, PrintStream) - Method in class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
 
printUsage(StringBuffer) - Method in interface org.objectweb.dsrg.sofa.cushion.ActionInterface
Gives an usage message.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.CheckerAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.CheckoutAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.CommitAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.CompileAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.DeleteAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.DeployAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.ExecuteScriptAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.ExportAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.HelpAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.ImportAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.NewAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.OsgiAction
Puts help message into the buffer.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.PrepareAssemblyAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.PrepareDeplPlanAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.PrintAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.RemoveAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.RepositoryDumpAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.StatusAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.TagAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.UpdateAction
Prints usage.
printUsage(StringBuffer) - Method in class org.objectweb.dsrg.sofa.cushion.UploadBundlesAction
Prints usage.
ProtocolListener - Class in org.objectweb.dsrg.sofa.cushion.jpfcheck
Listener for JPF that monitors protocol-related events (method invoke and return) and notifies the BPChecker when any such event occurs.
ProtocolListener(JPFTraverser, Map, Set, String[]) - Constructor for class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
 

R

RemoveAction - Class in org.objectweb.dsrg.sofa.cushion
Removes entity from config.
RemoveAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.RemoveAction
 
RepositoryDumpAction - Class in org.objectweb.dsrg.sofa.cushion
Repository dump action.
RepositoryDumpAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.RepositoryDumpAction
 
requestBacktrack() - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckerSearch
 
runCushion(String[]) - Static method in class org.objectweb.dsrg.sofa.cushion.Cushion
Runs cushion.

S

search() - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckerSearch
Extended version of the search method from the DFSearch class that supports coordination of backtracking.
searchFinished(Search) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
 
ServiceAnalyzer - Class in org.objectweb.dsrg.sofa.cushion.osgi
Creates the transitive closure of a service interface
ServiceAnalyzer(ClassLoader) - Constructor for class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Contructor
setClazz(String) - Method in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions.Action
Sets the value of the clazz property.
setId(String) - Method in class org.objectweb.dsrg.sofa.cushion.binding.actionreg.Actions.Action
Sets the value of the id property.
setJPFTraverser(JPFTraverser) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckerSearch
 
stateAdvanced(Search) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
 
stateBacktracked(Search) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
 
stateProcessed(Search) - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.ProtocolListener
 
StatusAction - Class in org.objectweb.dsrg.sofa.cushion
Status action.
StatusAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.StatusAction
 
SUCCESS - Static variable in interface org.objectweb.dsrg.sofa.cushion.ActionInterface
Return value of ActionInterface.perform(String[], java.io.PrintStream) indicating success.
supportsBacktrack() - Method in class org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckerSearch
 

T

TagAction - Class in org.objectweb.dsrg.sofa.cushion
Creates tag on an entity.
TagAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.TagAction
 
TOO_MANY_PARAMETERS - Static variable in interface org.objectweb.dsrg.sofa.cushion.ActionInterface
Return value of ActionInterface.perform(String[], java.io.PrintStream) indicating too many parameters supplied.

U

UnistallListener - Class in org.objectweb.dsrg.sofa.cushion.osgi
A bundle listener to uninstall the bundle when stopped
UnistallListener(Bundle) - Constructor for class org.objectweb.dsrg.sofa.cushion.osgi.UnistallListener
Constructor
UpdateAction - Class in org.objectweb.dsrg.sofa.cushion
Update action.
UpdateAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.UpdateAction
 
UploadBundlesAction - Class in org.objectweb.dsrg.sofa.cushion
Upload code bundles action.
UploadBundlesAction() - Constructor for class org.objectweb.dsrg.sofa.cushion.UploadBundlesAction
 

V

valueOf(String) - Static method in enum org.objectweb.dsrg.sofa.cushion.CommandLineParser.Modifier
Returns the enum constant of this type with the specified name.
values() - Static method in enum org.objectweb.dsrg.sofa.cushion.CommandLineParser.Modifier
Returns an array containing the constants of this enum type, in the order they are declared.
valueSetsClass - Variable in class org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo
 
visit(int, int, String, String, String, String[]) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Visits the header of a class
visitAnnotation(String, boolean) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Visits an annotation
visitAttribute(Attribute) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Visits a non standard attribute
visitEnd() - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Visits the end of the class
visitField(int, String, String, String, Object) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Visits a field of the class
visitInnerClass(String, String, String, int) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Visits information about an inner class
visitMethod(int, String, String, String, String[]) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
 
visitOuterClass(String, String, String) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Visits the enclosing class of the class
visitSource(String, String) - Method in class org.objectweb.dsrg.sofa.cushion.osgi.ServiceAnalyzer
Visits the source of the class

A B C D E G H I J L M N O P R S T U V