Examples of OCLExpression

Examples of org.eclipse.ocl.expressions.OCLExpression

81
82
83
84
85
86
87
88
89
90
91
      }
      if (oclQuery == null) {
        OCLHelper oclHelper = oclInstance.createOCLHelper();
        oclHelper.setContext(context());
        try {
          OCLExpression oclExpression = oclHelper.createQuery(body());
          oclQuery = oclInstance.createQuery(oclExpression);
          this.queryRef = new WeakReference(oclQuery);
          setStatus(IStatus.OK, null, null);
        } catch (ParserException e) {
          setStatus(IStatus.ERROR, e.getMessage(), e);
View Full Code Here

Examples of org.eclipse.ocl.expressions.OCLExpression

80
81
82
83
84
85
86
87
88
89
90
      }
      if (oclQuery == null) {
        OCLHelper oclHelper = oclInstance.createOCLHelper();
        oclHelper.setContext(context());
        try {
          OCLExpression oclExpression = oclHelper.createQuery(body());
          oclQuery = oclInstance.createQuery(oclExpression);
          this.queryRef = new WeakReference(oclQuery);
          setStatus(IStatus.OK, null, null);
        } catch (ParserException e) {
          setStatus(IStatus.ERROR, e.getMessage(), e);
View Full Code Here

Examples of org.eclipse.ocl.uml.OCLExpression

121
122
123
124
125
126
127
128
129
130
131
      {
        // new vertex is not allowed if target vertex is already existing
        if(!(Configuration.getTransitionBasedCoverageCriterion().equals(Configuration.TransitionBasedCoverageCriterion.STATE_COVERAGE) &&
            m_oTestCaseGraphHelper.getHistory().vertexHasEverBeenVisited(oSMTransition.getTarget())))
        {
          OCLExpression oExpression = OCLParser.parseCondition(
              SystemModelHelper.getTransitionGuard(oSMTransition),
              oContextClass, Configuration.getOCLGuardId());
          // guard conditions verarbeiten, aber das event nicht separat erzeugen
          ArrayList<TCGNode> colNodes = m_oTestCaseGraphHelper.createTCGPartFromExpressionForCallEvent(
              oExpression, in_oTCGNode, null, oContextClass, false);
View Full Code Here

Examples of org.eclipse.ocl.uml.OCLExpression

233
234
235
236
237
238
239
240
241
242
243
        //org.eclipse.uml2.uml.Class oContextClass = Configuration.getContextClass(in_oSMState.getSystemState().getContainer().getStateMachine());
        org.eclipse.uml2.uml.Class oContextClass = Configuration.getContextClassForVertex(oSMTransition.getSource());
        Namespace oNamespace = SystemModelHelper.getNamespaceForEvent(
            oSMTransition.getSource(), in_oEvent);

        OCLExpression oExpression = OCLParser.parseCondition(
            SystemModelHelper.getTransitionGuard(oSMTransition),
            oNamespace, Configuration.getOCLGuardId());
        ArrayList<TCGNode> colNodes = m_oTestCaseGraphHelper.createTCGPartFromExpressionForCallEvent(
            oExpression, in_oTCGNode, in_oEvent, oContextClass, true);
View Full Code Here

Examples of org.eclipse.ocl.uml.OCLExpression

365
366
367
368
369
370
371
372
373
374
375
    else
    {
      for(Constraint oPreConstraint : in_oOperation.getPreconditions())
      {
        String sPreExpression = SystemModelHelper.getConstraintSpecification(oPreConstraint);
        OCLExpression oExpression = OCLParser.parseCondition(
            sPreExpression, in_oOperation, Configuration.getOCLGuardId());
        ArrayList<TCGNode> colPreNodes = m_oTestCaseGraphHelper.createTCGPartFromExpressionForPrecondition(
            oExpression, in_oNode, in_oOperation, in_oContextClass);
        for(TCGNode oNewTCGNode : colPreNodes)
        {
View Full Code Here

Examples of org.eclipse.ocl.uml.OCLExpression

406
407
408
409
410
411
412
413
414
415
416
    else
    {
      for(Constraint oPostConstraint : in_oOperation.getPostconditions())
      {
        String sPostExpression = SystemModelHelper.getConstraintSpecification(oPostConstraint);
        OCLExpression oPostExpression = OCLParser.parseCondition(
            sPostExpression, in_oOperation, Configuration.getOCLGuardId());
        ArrayList<TCGNode> colPostNodes = m_oTestCaseGraphHelper.createTCGPartFromExpressionForPostcondition(
            oPostExpression, in_oNode, in_oOperation, in_oContextClass);
        for(TCGNode oPostTCGNode : colPostNodes)
        {
View Full Code Here

Examples of org.eclipse.ocl.uml.OCLExpression

46
47
48
49
50
51
52
53
54
55
56
          oOperation.getVisibility().equals(VisibilityKind.PUBLIC_LITERAL))
      {
        Constraint oPostConstraint = oOperation.getPostconditions().get(0);
        String sPostExpression =
          SystemModelHelper.getConstraintSpecification(oPostConstraint);
        OCLExpression oExpression = OCLParser.parseCondition(
            sPostExpression, oOperation, Configuration.getOCLPostId());
       
        // resolve variables and build up map from variable to operation
        if(oExpression instanceof PropertyCallExp) {
          PropertyCallExp oPropCallExp = (PropertyCallExp)oExpression;
View Full Code Here

Examples of org.eclipse.ocl.uml.OCLExpression

72
73
74
75
76
77
78
79
80
81
82
            oOpExp.getSource().getName() != null &&
            oOpExp.getSource().getName().equals("self")) {
          // TODO ...
        }
        else {
          OCLExpression oOCLLeftExpression = (OCLExpression)oOpExp.getSource();
          if(oOCLLeftExpression != null)
            oOperation.setLeft(
                transformExpression(oOCLLeftExpression, in_sOCLTypeId,
                    oContextClass, oContextClass));
          if(oOpExp.getArgument().size() > 0)
View Full Code Here

Examples of org.eclipse.ocl.uml.OCLExpression

15
16
17
18
19
20
21
22
23
24
25
  public static void setInvariantForTCGNode(
      Vertex in_oVertex,
      org.eclipse.uml2.uml.Class in_oContextClass,
      TCGNode in_oTCGNode) throws Exception
  {
    OCLExpression oExpression = OCLParser.parseCondition(
        SystemModelHelper.getStateInvariant(in_oVertex),
        in_oContextClass, Configuration.getOCLGuardId());
    TCGOCLExpression oTCGOCLExp = TransformOCLToTCGOCL.transformExpression(
        oExpression, Configuration.getOCLGuardId(), in_oContextClass);
    in_oTCGNode.setInvariant(oTCGOCLExp);
View Full Code Here

Examples of org.eclipse.ocl.uml.OCLExpression

97
98
99
100
101
102
103
104
105
106
107
      boolean in_bSplitInequations)
  {
    try
    {
      // abstract syntax tree of guard: OCLExpression
      OCLExpression oExpression = OCLParser.parseCondition(
          in_sOCLCondition, in_oNamespace, in_sOCLKindId);
      // create corresponding DNF with TCGOCLExpressions
      TCGDisjunctiveNormalForm oDNF =
        TCGDisjunctiveNormalFormHelperClass.createDNFForOCLExpression(
            oExpression, in_oNamespace, in_oContextClass,
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.