Examples of net.sf.parteg.base.testcasegraph.ocl.parser.OCLTreeTCGOCLAtomCollectorVisitor

Package net.sf.parteg.base.testcasegraph.ocl.parser

Examples of net.sf.parteg.base.testcasegraph.ocl.parser.OCLTreeTCGOCLAtomCollectorVisitor

net.sf.parteg.base.testcasegraph.ocl.parser.OCLTreeTCGOCLAtomCollectorVisitor

      List<TCGOCLExpression> in_oConjunctionExpressions,
      Map<TCGOCLAtom, TestCaseValidValue> in_colTestValues) {
    
    boolean bRetValue = true;
    EXPR: for(TCGOCLExpression oExpression : in_oConjunctionExpressions) {
      OCLTreeTCGOCLAtomCollectorVisitor oAtomCollector =
        new OCLTreeTCGOCLAtomCollectorVisitor();
      OCLTreeExpressionIterator.run(oExpression, oAtomCollector);
      for(TCGOCLAtom oExpAtom : oAtomCollector.getExpressions()) {
        // identified atoms
        List<TCGOCLAtom> colExpAtoms = new ArrayList<TCGOCLAtom>();
        colExpAtoms.add(oExpAtom);
        // remaining expressions to evaluate
        List<TCGOCLExpression> colTmpExpressions = new ArrayList<TCGOCLExpression>();

View Full Code Here

      // compare all expressions of new group with the open references of all existing groups
      List<TCGOCLAtom> colFoundAtoms = new ArrayList<TCGOCLAtom>();
      boolean bAddedCombination = false;
      for(TCGOCLExpression oNewExpression : in_oNewGroup.getLateSatisfiedConditions()) {
        // find all atoms in the new expression
        OCLTreeTCGOCLAtomCollectorVisitor oVisitor =
          new OCLTreeTCGOCLAtomCollectorVisitor();
        OCLTreeExpressionIterator.run(oNewExpression, oVisitor);
        // compare elements of groups 
        for(TCGOCLAtom oNewAtom : oVisitor.getExpressions()) {
          for(TCGOCLAtom oExistingAtom : oExistingGroup.getElementsToFindPostconditionFor()) {
            // comparison
            if(oNewAtom.getElement().equals(oExistingAtom.getElement())) {
              colFoundAtoms.add(oExistingAtom);
              if(bAddedCombination == false) {

View Full Code Here

              // colTemporaryEPIToAtoms contains all remaining epi to atoms
    
              Map<TCGOCLAtom, ValueTypeRange> colAtomToVTR =
                new LinkedHashMap<TCGOCLAtom, ValueTypeRange>();
              // restart the evaluation for each ATOM of the right side
              OCLTreeTCGOCLAtomCollectorVisitor oAtomCollector =
                new OCLTreeTCGOCLAtomCollectorVisitor();
              OCLTreeExpressionIterator.run(oOperation.getRight(), oAtomCollector);
              for(TCGOCLAtom oExpAtom : oAtomCollector.getExpressions()) {
                // check only atoms that reference variables or properties
                if(oExpAtom.getElement() instanceof Variable ||
                    oExpAtom.getElement() instanceof Property) {
                  List<TCGOCLAtom> colExpAtoms = new ArrayList<TCGOCLAtom>();
                  colExpAtoms.add(oExpAtom);

View Full Code Here

      Map<EventParameterInstance, TCGOCLAtom> in_colEPIToAtom) {
    
    Map<EventParameterInstance, TCGOCLAtom> colRetValues =
      new LinkedHashMap<EventParameterInstance, TCGOCLAtom>();
    
    OCLTreeTCGOCLAtomCollectorVisitor oVisitor =
      new OCLTreeTCGOCLAtomCollectorVisitor();
    OCLTreeExpressionIterator.run(in_oExpression, oVisitor);
    
    for(Entry<EventParameterInstance, TCGOCLAtom> oEntry : in_colEPIToAtom.entrySet()) {
      // TODO: explizite Referenzen zwischen Atoms zueinander zugeh�riger
      // Expressions aufbauen oder DIESELBEN Atoms verwenden
      // sonst gibt es Probleme, wenn derselbe Parameter mehrfach verwendet wird
      //if(oVisitor.getExpressions().contains(oEntry.getValue())) {
      
      for(TCGOCLAtom oAtom : oVisitor.getExpressions()) {
        if(oAtom.getElement().equals(oEntry.getValue().getElement())) {
          colRetValues.put(oEntry.getKey(), oEntry.getValue());
        }
      }
    }

View Full Code Here

  }


  public static boolean expressionsContainTheSameAtoms(
      TCGOCLExpression in_oCheckedExpression,
      TCGOCLExpression in_oWarrantedExpression) {
    OCLTreeTCGOCLAtomCollectorVisitor oFirstCollector =
      new OCLTreeTCGOCLAtomCollectorVisitor();
    OCLTreeTCGOCLAtomCollectorVisitor oSecondCollector =
      new OCLTreeTCGOCLAtomCollectorVisitor();
    OCLTreeExpressionIterator.run(in_oCheckedExpression, oFirstCollector);
    OCLTreeExpressionIterator.run(in_oWarrantedExpression, oSecondCollector);
    if(oFirstCollector.getExpressions().size() != oSecondCollector.getExpressions().size()) {
      return false;
    }
    List<TCGOCLAtom> colAlreadyMatchedSecondAtoms = 
      new ArrayList<TCGOCLAtom>();
    for(TCGOCLAtom oFirstAtom : oFirstCollector.getExpressions()) {
      boolean bFound = false;
      for(TCGOCLAtom oSecondAtom : oSecondCollector.getExpressions()) {
        if(expressionsContainReferenceToTheSameObject(
            oFirstAtom, oSecondAtom) &&
//        if(oFirstAtom.getElement().equals(oSecondAtom.getElement()) &&
            !colAlreadyMatchedSecondAtoms.contains(oSecondAtom)) {
          bFound = true;

View Full Code Here

      return oCheckedAtom.getElement().equals(oWarrantedAtom.getElement());
    }
    // compare operations
    else if(in_oCheckedExpression instanceof TCGOCLOperation &&
        in_oWarrantedExpression instanceof TCGOCLOperation) {
      OCLTreeTCGOCLAtomCollectorVisitor oFirstCollector =
        new OCLTreeTCGOCLAtomCollectorVisitor();
      OCLTreeTCGOCLAtomCollectorVisitor oSecondCollector =
        new OCLTreeTCGOCLAtomCollectorVisitor();
      OCLTreeExpressionIterator.run(in_oCheckedExpression, oFirstCollector);
      OCLTreeExpressionIterator.run(in_oWarrantedExpression, oSecondCollector);
  
      // try to adapt both sides to each other
      TCGOCLAtom oFirstAtom = oFirstCollector.getExpressions().get(0);
      TCGOCLAtom oSecondAtom = null;
      for(TCGOCLAtom oTmpAtom : oSecondCollector.getExpressions()) {
        if(expressionsContainReferenceToTheSameObject(
            oFirstAtom, oTmpAtom)) {
//        if(oFirstAtom.getElement().equals(oTmpAtom.getElement())) {
          oSecondAtom = oTmpAtom;
          break;

View Full Code Here

    // write expressions for the used preconditions of this test case
    for(TCGOCLExpression oExpression : in_oTransitionInstance.getUsedPreConditions())
    {
      if(oExpression != null) {
        // only write non-complex guard conditions - complex ones can be violated
        OCLTreeTCGOCLAtomCollectorVisitor oAtomCollector =
          new OCLTreeTCGOCLAtomCollectorVisitor();
        OCLTreeExpressionIterator.run(oExpression, oAtomCollector);
        int nActiveAtomCounter = 0;
        for(TCGOCLAtom oExpAtom : oAtomCollector.getExpressions()) {
          if(!oExpAtom.getClassification().equals(VariableClassification.INDEPENDENT)) {
            ++nActiveAtomCounter;
          }
        }

View Full Code Here

TOP

Related Classes of net.sf.parteg.base.testcasegraph.ocl.parser.OCLTreeTCGOCLAtomCollectorVisitor

net.sf.parteg.base.testcasegraph.helperclasses.TCGOCLExpressionHelperClass

net.sf.parteg.base.testcasegraph.testgeneration.TestCaseGeneratorRunner

net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputJava

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.