Examples of org.xilaew.atg.model.abstractTestCaseGraph.AbstractTCGConstraint

Package org.xilaew.atg.model.abstractTestCaseGraph

Examples of org.xilaew.atg.model.abstractTestCaseGraph.AbstractTCGConstraint

org.xilaew.atg.model.abstractTestCaseGraph.AbstractTCGConstraint
A representation of the model object 'Abstract TCG Constraint'. Abstract class to represent classes. Since the Constraint solving Algorithms for Activitys and Statemachines differ it seems to be a good idea to habe separate representations of OCL Constraints in both Metamodels. @see org.xilaew.atg.model.abstractTestCaseGraph.AbstractTestCaseGraphPackage#getAbstractTCGConstraint() @model @generated

   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public NotificationChain basicSetGuard(AbstractTCGConstraint newGuard, NotificationChain msgs) {
    AbstractTCGConstraint oldGuard = guard;
    guard = newGuard;
    if (eNotificationRequired()) {
      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, AbstractTestCaseGraphPackage.ABSTRACT_TCG_EDGE__GUARD, oldGuard, newGuard);
      if (msgs == null) msgs = notification; else msgs.add(notification);
    }

View Full Code Here


  @Override
  public String caseTCGControlFlow(TCGControlFlow object) {
    StringBuilder result = new StringBuilder();
    String name = object.getName();
    AbstractTCGConstraint spec = object.getGuard();
    if (spec != null) {
      result.append("set " + name
          + " within {0..Pathlength} default {};\n");
      result.append("s.t. ");
      result.append(name + "_guard");

View Full Code Here

TOP

Related Classes of org.xilaew.atg.model.abstractTestCaseGraph.AbstractTCGConstraint

org.xilaew.atg.model.abstractTestCaseGraph.impl.AbstractTCGEdgeImpl

org.xilaew.atg.transformations.actTCG2ampl.TCG2AMPLVisitor

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.