Package org.xilaew.atg.model.activityTestCaseGraph

Examples of org.xilaew.atg.model.activityTestCaseGraph.TCGActivity

25
26
27
28
29
30
31
32
33
34
35
    Activity activity = selectActivity(model);

    ActivityTestCaseGraphResourceFactoryImpl resFactory = new ActivityTestCaseGraphResourceFactoryImpl();
    Resource res = resFactory.createResource(URI.createFileURI(outFile));
    try {
      TCGActivity tcgActivity = UML2TCGActivity.transform(activity);
      ActTCGContinuityHelper.addContinuityConstraints(tcgActivity);
      res.getContents().add(tcgActivity);
    } catch (YouShallNotDoThisException e2) {
      // TODO Auto-generated catch block
      e2.printStackTrace();
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
    }
    // The Input Activity
    Activity activity = prepareTestGeneration();
   
    // The Activity Test Case Graph
    TCGActivity tcgActivity = null;
   
    // Create Experiment Result File
    IFile experimentResults = project
        .getFile("PluginOutputExpreriment.txt");
    IFile boostfile;
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
    IFile amplFile = project.getFile("PluginOutput.mod");
    // AMPL Command File
    IFile amplCommands = project.getFile("PluginOutput.run");

    // convert (UML) Activity to ActivityTestCaseGraph
    TCGActivity tcgActivity = null;
    try {
      tcgActivity = UML2TCGActivity.transform(activity);
    } catch (YouShallNotDoThisException e1) {
      e1.printStackTrace();
    }
View Full Code Here
28
29
30
31
32
33
34
35
36
37
38
    try {
      res.load(null);
    } catch (IOException e) {
      e.printStackTrace();
    }
    TCGActivity tcgActivity = (TCGActivity) res.getContents().get(0);
    EList<Path> paths = PathSearch.BFS.findAllPaths(tcgActivity);
    int pathnum = 0;
    for (Path p : paths) {
      String data = Path2AMPLData.transform(p);
      try {
View Full Code Here
22
23
24
25
26
27
28
29
30
31
32
    try {
      res.load(null);
    } catch (IOException e) {
      e.printStackTrace();
    }
    TCGActivity tcgActivity = (TCGActivity) res.getContents().get(0);
    String amplModel = ActTCG2AMPLModel.transform(tcgActivity);
    out(amplModel);
    try {
      PrintWriter p = new PrintWriter(new FileOutputStream(outFile));
      p.print(amplModel);
View Full Code Here
100
101
102
103
104
105
106
107
    result.addAll(paths);
    return result;
  }

  public EMap<Path, Witness> findAllSatisfiablePaths(AbstractTCGContainer atcg) {
    TCGActivity actTCG = (TCGActivity) atcg;
    return findAllSatisfiableActivityPaths(actTCG, null);
  }
View Full Code Here
106
107
108
109
110
111
112
113
    return findAllSatisfiableActivityPaths(actTCG, null);
  }

  public EMap<Path, Witness> findAllSatisfiablePaths(
      AbstractTCGContainer atcg, IProgressMonitor monitor) {
    TCGActivity actTCG = (TCGActivity) atcg;
    return findAllSatisfiableActivityPaths(actTCG, monitor);
  }
View Full Code Here
162
163
164
165
166
167
168
169
170
171
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setActivity(TCGActivity newActivity) {
    TCGActivity oldActivity = activity;
    activity = newActivity;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, TestsPackage.FUNCTION_CALL__ACTIVITY, oldActivity, activity));
  }
View Full Code Here
TOP

Related Classes of org.xilaew.atg.model.activityTestCaseGraph.TCGActivity

  • org.xilaew.atg.input.activity.handlers.AMPLModelCreationHandler
  • org.xilaew.atg.input.activity.handlers.Experiment
  • org.xilaew.atg.model.pathsearch.AbstractSolverIntegratedPathSearch
  • org.xilaew.atg.model.tests.impl.FunctionCallImpl
  • tools.DFSTest
  • tools.TCG2AMPLConverterTool
  • tools.UMLActivity2TCGActivitConverterTool
    • 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.