Package net.sf.parteg.base.testcasegraph.generated

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

435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
      // source and target nodes must be in the same region -> one is substate of the other
      if(TCGNodeHelperClass.firstNodeIsSubStateOfOrEqualToSecondNode(
          oPreviousTransitionInstance.getTargetNode(), oCurrentTransitionInstance.getSourceNode()) ||
          TCGNodeHelperClass.firstNodeIsSubStateOfOrEqualToSecondNode(
          oCurrentTransitionInstance.getSourceNode(), oPreviousTransitionInstance.getTargetNode())) {
        TCGEvent oEvent = oCurrentTransitionInstance.getCalledEvent();
       
        if(oEvent != null) {
          return oEvent.isDefaultEvent();
        }
        else if(in_bAlsoIncludeNullEvents)
          return true;
      }
    }
   
    // last transition instance and still no event found -> check the outgoing transitions of the test case's last node
    TransitionInstance oTransitionInstance = in_oTestCase.getTransitionInstances().get(
        in_oTestCase.getTransitionInstances().size() - 1);
    TCGNode oLastNode = oTransitionInstance.getTargetNode();
    for(TCGTransition oOutgoingTransition : TCGNodeHelperClass.getOutgoingTransitions(oLastNode)) {
      if(oOutgoingTransition.isCanBeProcessed()) {
        for(TCGEvent oEvent : oOutgoingTransition.getEvents()) {
          if (oEvent.isDefaultEvent() &&
            TCGTransitionInstanceHelperClass.checkSatisfactionOfCondition(
                oTransitionInstance, oOutgoingTransition.getPrecondition()))
            return true;
        }
      }
View Full Code Here
515
516
517
518
519
520
521
522
523
524
525
    // impact e.g. on conflict checks for test goal generation -> may result in multiple definitions of the same parameter
    //boolean bUsedUniqueEventInstances = false;
    boolean bUsedUniqueEventInstances = true;
   
    //if(in_oTransition.getSource() instanceof State) {
      TCGEvent oUsedEvent = null;
      // add triggering event
      if(in_colEvents.isEmpty()) {
        if(bUsedUniqueEventInstances) oUsedEvent = m_colEventMapping.get(null);
        if(oUsedEvent == null) {
          oUsedEvent = TCGEventHelperClass.createTCGEvent(null, true);
View Full Code Here
553
554
555
556
557
558
559
560
561
562
563
  {
    // guard condition
    String sGuard = SystemModelHelper.getTransitionGuard(in_oTransition);
   
    //for(TCGEvent oEvent : in_oActualTCGTransition.getEvents()) {
    TCGEvent oEvent = null;
    if(!in_oActualTCGTransition.getEvents().isEmpty())
      oEvent = in_oActualTCGTransition.getEvents().get(0);
   
    // corresponding namespace (of corresponding operation)
    Namespace oNamespace = SystemModelHelper.getNamespaceForEvent(
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
        getOutputForConditionInTransitionInstance(
            in_oTransitionInstance, oExpression);     
    }
   
    // handle methods event
    TCGEvent oEvent = in_oTransitionInstance.getCalledEvent();
    if(oEvent != null && isEventPrintingAllowed(oEvent))
    {
      String sEvent = oEvent.getName();
      if(sEvent.length() > 0)
      {
        in_oFormattedOutput.append(m_sObjectName + "."
            + sEvent + "(");
        List<TCGParameter> oParamList =
          TCGParameterHelperClass.copyAllButReturnValues(oEvent.getParameters());
        String sNameSuffix = TCGParameterHelperClass.findTransitionInstanceDefiningTheCurrentEvent(
            in_oTransitionInstance).getName();
        boolean bIsNotFirstElement = false;
        for(TCGParameter oParameter : oParamList)
        {
View Full Code Here
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
        getOutputForConditionInTransitionInstance(
            in_oTransitionInstance, oExpression);     
    }
   
    // handle methods event
    TCGEvent oEvent = in_oTransitionInstance.getCalledEvent();
    if(oEvent != null && isEventPrintingAllowed(oEvent))
    {
      String sEvent = oEvent.getName();
      if(sEvent.length() > 0)
      {
        in_oFormattedOutput.append(m_sObjectName + "." + m_sEventCallName +
            "(\"" + sEvent + "\"");
        List<TCGParameter> oParamList =
          TCGParameterHelperClass.copyAllButReturnValues(oEvent.getParameters());
        String sNameSuffix = TCGParameterHelperClass.findTransitionInstanceDefiningTheCurrentEvent(
            in_oTransitionInstance).getName();
        for(TCGParameter oParameter : oParamList)
        {
          in_oFormattedOutput.append(", " + oParameter.getName() + sNameSuffix);
View Full Code Here
178
179
180
181
182
183
184
185
186
187
188
189
190
  public void createOutput(TransitionInstance in_oTransitionInstance) {
   
    // preconditions are of no interest ... do not check them
   
    // event call information
    TCGEvent oEvent = in_oTransitionInstance.getCalledEvent();
    if(oEvent != null && isEventPrintingAllowed(oEvent)) {
      String sEvent = oEvent.getName();
      if(sEvent.length() > 0) {
        Call oCall = TestsuiteexportFactory.eINSTANCE.createCall();
        String sNameSuffix = TCGParameterHelperClass.findTransitionInstanceDefiningTheCurrentEvent(
            in_oTransitionInstance).getName();
        oCall.setEvent(in_oTransitionInstance.getCalledEvent().getName());
View Full Code Here
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
        getOutputForConditionInTransitionInstance(
            in_oTransitionInstance, oExpression);     
    }
   
    // handle methods event
    TCGEvent oEvent = in_oTransitionInstance.getCalledEvent();
    if(oEvent != null && isEventPrintingAllowed(oEvent))
    {
      String sEvent = oEvent.getName();
      if(sEvent.length() > 0)
      {
        in_oFormattedOutput.append(m_sObjectName + "." + m_sEventCallName +
            "(\"" + sEvent + "\"");
        List<TCGParameter> oParamList =
          TCGParameterHelperClass.copyAllButReturnValues(oEvent.getParameters());

        String sNameSuffix = TCGParameterHelperClass.findTransitionInstanceDefiningTheCurrentEvent(
            in_oTransitionInstance).getName();
        for(TCGParameter oParameter : oParamList)
        {
View Full Code Here
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
//        }
//      }
//    }
   
    // handle methods event
    TCGEvent oEvent = in_oTransitionInstance.getCalledEvent();
    if(oEvent != null && isEventPrintingAllowed(oEvent)) {
      String sEvent = oEvent.getName();
      if(sEvent.length() > 0) {
        List<TCGParameter> oParamList =
          TCGParameterHelperClass.copyAllButReturnValues(oEvent.getParameters());
        String sNameSuffix = TCGParameterHelperClass.findTransitionInstanceDefiningTheCurrentEvent(
            in_oTransitionInstance).getName();

        if(oParamList.isEmpty()) {
          in_oFormattedOutput.appendln("<call object=\"" + m_sObjectName +
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
        }
      }
    }
   
    // handle methods event
    TCGEvent oEvent = in_oTransitionInstance.getCalledEvent();
    if(oEvent != null && isEventPrintingAllowed(oEvent))
    {
      String sEvent = oEvent.getName();
      // no default call
      if(sEvent.length() > 0) {
        in_oFormattedOutput.append(m_sObjectName + "." + m_sEventCallName +
            "(\"" + sEvent + "\"");
        List<TCGParameter> oParamList =
          TCGParameterHelperClass.copyAllButReturnValues(oEvent.getParameters());
        String sNameSuffix = TCGParameterHelperClass.findTransitionInstanceDefiningTheCurrentEvent(
            in_oTransitionInstance).getName();
        for(TCGParameter oParameter : oParamList)
        {
          in_oFormattedOutput.append(", " + oParameter.getName() + sNameSuffix);
View Full Code Here
TOP

Related Classes of net.sf.parteg.base.testcasegraph.generated.TCGEvent

  • net.sf.parteg.base.testcasegraph.generated.util.GeneratedSwitch
  • net.sf.parteg.base.testcasegraph.helperclasses.TCGEventHelperClass
  • net.sf.parteg.base.testcasegraph.testgeneration.TestCaseGeneratorRunner
  • net.sf.parteg.base.testcasegraph.testgeneration.TestCaseGeneratorRunnerState
  • net.sf.parteg.base.testcasegraph.testgoals.TestGoalGenerator
  • net.sf.parteg.base.testcasegraph.testsuite.TestCase
  • net.sf.parteg.input.statemachine.TestCaseGraphGenerator
  • net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputCpp
  • net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputJava
  • net.sf.parteg.output.testgraph.languages.TestCaseGraphOutputJavaPrioritizationAnalysisSystemCalls
    • Copyright © 2018 www.massapicom. 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.