Examples of TCGActivity

org.xilaew.atg.model.activityTestCaseGraph.TCGActivity
A representation of the model object 'TCG Activity'.
The following features are supported:
- {@link org.xilaew.atg.model.activityTestCaseGraph.TCGActivity#getVariables Variables}
- {@link org.xilaew.atg.model.activityTestCaseGraph.TCGActivity#getClassName Class Name}
- {@link org.xilaew.atg.model.activityTestCaseGraph.TCGActivity#getPackageName Package Name}
@see org.xilaew.atg.model.activityTestCaseGraph.ActivityTestCaseGraphPackage#getTCGActivity() @model @generated

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

    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

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

    }
    // 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

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

    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

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

    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

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

    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

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

    result.addAll(paths);
    return result;
  }


  public EMap<Path, Witness> findAllSatisfiablePaths(AbstractTCGContainer atcg) {
    TCGActivity actTCG = (TCGActivity) atcg;
    return findAllSatisfiableActivityPaths(actTCG, null);
  }

View Full Code Here

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

    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

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

   * <!-- 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

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.