Examples of TCGOCLExpression

net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression
A representation of the model object 'TCGOCL Expression'.
The following features are supported:
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#getClassification Classification}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#getOclReference Ocl Reference}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#getContainer Container}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#isPositiveAssignmentOfOriginal Positive Assignment Of Original}
- {@link net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression#getTransitionContext Transition Context}
@see net.sf.parteg.base.testcasegraph.generated.GeneratedPackage#getTCGOCLExpression() @model @generated
net.sf.parteg.base.testcasetree.generated.TCGOCLExpression
A representation of the model object 'TCGOCL Expression'.
The following features are supported:
- {@link net.sf.parteg.base.testcasetree.generated.TCGOCLExpression#getClassification Classification}
- {@link net.sf.parteg.base.testcasetree.generated.TCGOCLExpression#getOclReference Ocl Reference}
@see net.sf.parteg.base.testcasetree.generated.GeneratedPackage#getTCGOCLExpression() @model @generated
org.xilaew.atg.model.activityTestCaseGraph.TCGOCLExpression
A representation of the model object 'TCGOCL Expression'. Superclass for all nodes in an Abstract Syntax Tree for OCL Expressions. @see org.xilaew.atg.model.activityTestCaseGraph.ActivityTestCaseGraphPackage#getTCGOCLExpression() @model @generated

Examples of net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression

      TCGOCLExpression in_oShiftedExpression,
      TCGOCLExpression in_oSurroundingExpression)
  {
    if(in_oShiftedExpression != null) {
      // TODO boolesche Verkn�pfungen noch beachten
      TCGOCLExpression oExp = in_oSurroundingExpression;
      while(oExp instanceof TCGOCLOperation && ((TCGOCLOperation)oExp).getOperationName().equals("not")) {
        if(((TCGOCLOperation)oExp).getLeft() == null)
          oExp = ((TCGOCLOperation)oExp).getRight();
        else
          oExp = ((TCGOCLOperation)oExp).getLeft();

View Full Code Here

Examples of net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression

    Collection<TCGOCLExpression> colRetValues = 
      new ArrayList<TCGOCLExpression>();
    
    for(int i = 0; i < colDynamicExpressions.size(); ++i) {
      for(int j = i+1; j < colDynamicExpressions.size(); ++j) {
        TCGOCLExpression oFirstExpression = colDynamicExpressions.get(i);
        TCGOCLExpression oSecondExpression = colDynamicExpressions.get(j);
        
        List<TCGOCLAtom> colFirstAtoms =
          getPassiveDependentVariablesAndInputParameters(oFirstExpression);
        List<TCGOCLAtom> colSecondAtoms =
          getPassiveDependentVariablesAndInputParameters(oSecondExpression);

View Full Code Here

Examples of net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression

          (TCGOCLOperation)in_oWarrantedExpression;


        shiftSubexpressionToTheLeft(oFirstAtom, oCheckedOperation);
        shiftSubexpressionToTheLeft(oSecondAtom, oWarrantedOperation);
        // compare right side of expressions
        TCGOCLExpression oCheckedExpression = oCheckedOperation.getRight();
        TCGOCLExpression oWarrantedExpression = oWarrantedOperation.getRight();
        removeUnaryMinus(oCheckedExpression);
        removeUnaryMinus(oWarrantedExpression);
        // expressions equal? -> compare the exact syntax of both
        if(oCheckedOperation.getOperationName().equals(oWarrantedOperation.getOperationName()) &&
            expressionsAreEqual(oCheckedExpression, oWarrantedExpression)) {

View Full Code Here

Examples of net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression

    StringBuffer sRetValue = new StringBuffer("");
    if(in_oExpression instanceof TCGOCLOperation)
    {
      TCGOCLOperation oOp = (TCGOCLOperation)in_oExpression;
      if(oOp.getOperationName().equals("not")) {
        TCGOCLExpression oNonNullExp = oOp.getLeft();
        if(oNonNullExp == null)
          oNonNullExp = oOp.getRight();
        sRetValue.append("(not " + toString(oNonNullExp));
      }
      else

View Full Code Here

Examples of net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression

      DecisionTableExpressionValueSelection in_oRow)
  {
    // create an expression copy 
    DecisionTableExpressionValueSelection oNewRow = new DecisionTableExpressionValueSelection();
    // change the expression according to the value selection row (e.g. negated -> add "not")
    TCGOCLExpression oNewExpression = changeExpressionAccordingToDecisionTableRow(
        in_oExpression, in_oRow, oNewRow);


    // complete the value selection row in oNewRow for composite expressions
    boolean bTruthValue = DecisionTableRowEvaluator.evaluateExpressionWithValueAssignment(
        oNewExpression, oNewRow);

View Full Code Here

Examples of net.sf.parteg.base.testcasetree.generated.TCGOCLExpression

        T result = caseTCGEvent(tcgEvent);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCGOCL_EXPRESSION: {
        TCGOCLExpression tcgoclExpression = (TCGOCLExpression)theEObject;
        T result = caseTCGOCLExpression(tcgoclExpression);
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
      case GeneratedPackage.TCG_CONJUNCTION: {

View Full Code Here

Examples of net.sf.parteg.base.testcasetree.generated.TCGOCLExpression

  private void referToEvent(TCGEvent in_oTCGEvent, TCGOCLExpression in_oExpression)
  {
    if(in_oExpression != null)
    {
      TCGOCLVariableClassificator oClassificator = new TCGOCLVariableClassificator(in_oExpression);
      TCGOCLExpression oExpression = oClassificator.getClassifiedElementInExpression(VariableClassification.INPUT_PARAMETER);
      TCGOCLAtom oAtom = (TCGOCLAtom)oExpression;
      if(oAtom != null)
      {
        for(TCGParameter oParameter : in_oTCGEvent.getParameters())
        {

View Full Code Here

Examples of net.sf.parteg.base.testcasetree.generated.TCGOCLExpression

    boolean bReachingTransitionBearsConflicts = false;
    
    if(in_oExpression != null)
    {
      // transform OCL to TCGOCL 
      TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
          in_oExpression, Configuration.getOCLGuardId(), in_oContextClass);
      // transform to DNF
      TCGDisjunctiveNormalForm oDNF = ExpressionConverter.createDisjunctiveNormalForm(oTCGOCLExp);
      // add expressions for coverage criterion
      ExpressionConverter.addConjunctionsForCoverageCriterion(oDNF);

View Full Code Here

Examples of net.sf.parteg.base.testcasetree.generated.TCGOCLExpression

  public static TCGDisjunctiveNormalForm createDNFForOCLExpression(
      OCLExpression in_oOCLExpression,
      Namespace in_oNamespace,
      String in_sOCLKind)
  {
    TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
        in_oOCLExpression, in_sOCLKind, in_oNamespace);
    // transform to DNF
    TCGDisjunctiveNormalForm oDNF = ExpressionConverter.createDisjunctiveNormalForm(oTCGOCLExp);
    return oDNF;
  }

View Full Code Here

Examples of net.sf.parteg.base.testcasetree.generated.TCGOCLExpression

      Operation in_oOperation,
      org.eclipse.uml2.uml.Class in_oContextClass)
  {
    ArrayList<TCGNode> colNodes = new ArrayList<TCGNode>();
    // transform OCL to TCGOCL 
    TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
        in_oExpression, Configuration.getOCLPreId(), in_oContextClass);
    // transform to DNF
    TCGDisjunctiveNormalForm oDNF = ExpressionConverter.createDisjunctiveNormalForm(oTCGOCLExp);
    // add expressions for coverage criterion
    ExpressionConverter.addConjunctionsForCoverageCriterion(oDNF);

View Full Code Here

0 1 2 3 4 5

TOP

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.