org.objectweb.dsrg.sofa.cushion.behavior.bp
Class BPChecker

java.lang.Object
  extended by org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
      extended by org.objectweb.dsrg.sofa.cushion.behavior.bp.BPChecker
All Implemented Interfaces:
org.objectweb.dsrg.sofa.util.checker.Checker

public class BPChecker
extends CheckerImpl

Author:
kofron

Nested Class Summary
 
Nested classes/interfaces inherited from class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
CheckerImpl.InvalidBindingTypeException
 
Constructor Summary
BPChecker()
          Creates a new instance of BPChecker
 
Method Summary
protected  java.lang.String getBehaviorType()
           
protected  org.ow2.dsrg.fm.bptools.architecture.BPParserBridge getParserBridge()
           
 org.objectweb.dsrg.sofa.util.checker.CheckingResult checkArchitecture(org.objectweb.dsrg.sofa.repository.model.Architecture arch, java.io.PrintStream out)
          Performs the behavior verification of Behavior Protocols using the local version of dChecker.
 
Methods inherited from class org.objectweb.dsrg.sofa.cushion.behavior.CheckerImpl
getFrame, getProtocol, parseArch, printStream
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BPChecker

public BPChecker()
Creates a new instance of BPChecker

Method Detail

getParserBridge

protected org.ow2.dsrg.fm.bptools.architecture.BPParserBridge getParserBridge()
Specified by:
getParserBridge in class CheckerImpl

checkArchitecture

public org.objectweb.dsrg.sofa.util.checker.CheckingResult checkArchitecture(org.objectweb.dsrg.sofa.repository.model.Architecture arch,
                                                                             java.io.PrintStream out)
Performs the behavior verification of Behavior Protocols using the local version of dChecker.


getBehaviorType

protected java.lang.String getBehaviorType()
Specified by:
getBehaviorType in class CheckerImpl
Returns:
the used behavior type