Examples of statechum.analysis.learning.observers.ProgressDecorator.AugmentPTAData

Package statechum.analysis.learning.observers.ProgressDecorator

Examples of statechum.analysis.learning.observers.ProgressDecorator.AugmentPTAData

statechum.analysis.learning.observers.ProgressDecorator.AugmentPTAData

   */
  @Override 
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {


    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
    
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);


    syncOnCallOf(KIND_OF_METHOD.M_AUGMENT);


    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }


    syncOnCallOf(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast

View Full Code Here

   * @param newColour loaded from XML.
   */
  public synchronized void AugmentPTA(computeStateScores pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {


    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
    
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);


    checkCall(KIND_OF_METHOD.M_AUGMENT);


    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }


    checkCall(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast

View Full Code Here

   */
  @Override 
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<Label> sequence, boolean accepted, JUConstants newColour) {


    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
    
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);


    syncOnCallOf(KIND_OF_METHOD.M_AUGMENT);


    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }


    syncOnCallOf(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast

View Full Code Here

   */
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {
    
    boolean first = checkCall(KIND_OF_METHOD.M_AUGMENT);
    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
    if (first) 
      augmentData = data;// we are the first thread here
    else
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }
    waitForOtherThread(first);// make sure that both threads synchronize at this point.

View Full Code Here

   * @param newColour loaded from XML.
   */
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {


    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
    
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);


    checkCall(KIND_OF_METHOD.M_AUGMENT);


    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }


    checkCall(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast

View Full Code Here

   */
  @Override 
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {


    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
    
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);


    syncOnCallOf(KIND_OF_METHOD.M_AUGMENT);


    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }


    syncOnCallOf(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast

View Full Code Here

   */
  @Override 
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<Label> sequence, boolean accepted, JUConstants newColour) {


    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
    
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);


    syncOnCallOf(KIND_OF_METHOD.M_AUGMENT);


    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }


    syncOnCallOf(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast

View Full Code Here

TOP

Related Classes of statechum.analysis.learning.observers.ProgressDecorator.AugmentPTAData

statechum.analysis.learning.observers.Test_LearnerComparator

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.