Examples of org.eclipse.uml2.uml.Constraint

org.eclipse.uml2.uml.Package

  }


  private AbstractTCGElement parseOpaqueExpressionAsOCL(
      OpaqueExpression umlOpaqueExp) {
    String oclExp = null;
    Constraint oclConstraint = null;
    int index;
    if ((index = umlOpaqueExp.getLanguages().indexOf("OCL")) != -1) {
      oclExp = umlOpaqueExp.getBodies().get(index);
    } else if (umlOpaqueExp.getLanguages().isEmpty()) {
      Logging.trace(

View Full Code Here

          (oOperation.getName().startsWith("is") ||
          oOperation.getName().startsWith("get") ||
          oOperation.getName().startsWith("_get")) &&
          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());

View Full Code Here

    return false;
  }


  public static String getTransitionGuard(Transition in_oTransition)
  {
    Constraint oConstraint = in_oTransition.getGuard();
    return getConstraintSpecification(oConstraint);
  }

View Full Code Here

  
  public static String getStateInvariant(Vertex in_oVertex)
  {
    if(in_oVertex instanceof State)
    {
      Constraint oConstraint = ((State)in_oVertex).getStateInvariant();
      return getConstraintSpecification(oConstraint);
    }
    return "";
  }

View Full Code Here

      while (it.hasNext()){
        out(it.next().getClass().toString());
      }


    }
    Constraint invariant = helper.createInvariant("x<5");
    Iterator<EObject> it = invariant.eAllContents();
    while (it.hasNext()){
      EObject o = it.next();
      out(o.getClass().toString());
      if ( o instanceof ASTNode ){
        out("found AST Node" + ((ASTNode) o).getStartPosition());
      }
    }
    out(invariant.toString());
    out(invariant.getSpecification().toString());
    ExpressionInOCL exp = (ExpressionInOCL) invariant.getSpecification();
    out(helper.getEnvironment().getVariables().size()+"");
    exp.getBodyExpression();
  }

View Full Code Here

            in_oActualTCGTransition.addPrecondition(TCGDisjunctiveNormalFormHelperClass.getDNFForCondition(
                  sPreExpression, oBehavior, oContextClass,
                  Configuration.getOCLPreId(), 
                  in_bSplitInequationsBeforeTestGoalDefinition));            
          }
          Constraint oPreConstraint = oBehavior.getPreconditions().get(0);
          String sPreExpression = 
            SystemModelHelper.getConstraintSpecification(oPreConstraint);
          in_oActualTCGTransition.setPrecondition(
              TCGDisjunctiveNormalFormHelperClass.getDNFForCondition(
                  sPreExpression, oBehavior, oContextClass,
                  Configuration.getOCLPreId(), 
                  in_bSplitInequationsBeforeTestGoalDefinition));
        }
      }


      // add the postcondition of the referenced operation
      if(oBehavior.getPostconditions() != null)
      {
        if(!oBehavior.getPostconditions().isEmpty())
        {
          for (Constraint oPostConstraint : oBehavior.getPostconditions()) {
            String sPostExpression = 
                SystemModelHelper.getConstraintSpecification(oPostConstraint);
            in_oActualTCGTransition.addPostcondition(TCGDisjunctiveNormalFormHelperClass.getDNFForCondition(
                  sPostExpression, oBehavior, oContextClass,
                  Configuration.getOCLPreId(), 
                  in_bSplitInequationsBeforeTestGoalDefinition));            
          }
          Constraint oPostConstraint = oBehavior.getPostconditions().get(0);
          String sPostExpression = 
            SystemModelHelper.getConstraintSpecification(oPostConstraint);
          in_oActualTCGTransition.setPostcondition(
              TCGDisjunctiveNormalFormHelperClass.getDNFForCondition(
                  sPostExpression, oBehavior, oContextClass,

View Full Code Here

   */
  public void createAssociatedStereotype(Element e, String profileQualifiedName, String stereotypeName) {


    applySysMLProfile(e.getModel(), profileQualifiedName);


    final Element element = e;
    final String stereotypeQualifiedName = profileQualifiedName + "::" + stereotypeName;


    final Stereotype stereotype = element.getApplicableStereotype(stereotypeQualifiedName);
    final EList<Stereotype> appliedStereotypes = element.getAppliedStereotypes();


    if (stereotype == null) {
      final String message = "Can't apply the setereotype " + stereotypeQualifiedName + " on "
          + element.toString();
      Activator.log(Status.WARNING, message, null);
    } else if (appliedStereotypes != null && appliedStereotypes.contains(stereotype)) {
      final String message = "The stereotype " + stereotype.getQualifiedName()
          + " is already applied on " + element.toString();
      Activator.log(Status.INFO, message, null);
    } else {
      element.applyStereotype(stereotype);
    }
  }

View Full Code Here

   *            : the given element for which you want to delete the stereotype.
   * @param steQualified
   *            : the qualified name of the stereotype you want to delete (ex. : SysML::Blocks::Block).
   */
  public void deleteAssociatedStereotype(Element e, String steQualified) {
    final Element element = e;


    if (element != null && steQualified != null) {
      final Stereotype stereotype = element.getAppliedStereotype(steQualified);
      if (stereotype != null) {
        element.unapplyStereotype(stereotype);
      }
    } else {
      final String message = "Can't delete the stereotype application because the element or the stereotypeName keys are not correct";
      Activator.log(Status.INFO, message, null);
    }

View Full Code Here

    deleteAssociatedStereotype(e, SYSML_REQUIREMENT);
    final EObject root = getRootContainer(e);
    for (final Iterator<EObject> iterator = root.eAllContents(); iterator.hasNext();) {
      final EObject object = iterator.next();
      if (object instanceof Abstraction) {
        final Element supplier = ((Abstraction)object).getSupplier(e.getName());
        if (supplier != null) {
          Stereotype s = ((Abstraction)object).getAppliedStereotype("SysML::Requirements::Satisfy");
          if (s != null) {
            deleteAssociatedStereotype((Abstraction)object, "SysML::Requirements::Satisfy");
          } else {

View Full Code Here

      parentProfile = Activator.getSysMLProfile();
    } else if (profileQualifiedName.startsWith("Standard")) {
      parentProfile = Activator.getStandardProfile();
    }


    Package profilePackage = parentProfile;


    final String[] profiles = profileQualifiedName.split(":{2}");
    // search the profile in the package hierarchy
    for (int index = 1; index < profiles.length - 1; index++) {
      profilePackage = profilePackage.getNestedPackage(profiles[index]);
    }


    Profile profile = (Profile)profilePackage;


    if (profileQualifiedName.startsWith("SysML")) {
      profile = (Profile)profilePackage.getNestedPackage(profiles[profiles.length - 1]);
    }


    if (profile == null) {
      final String message = "Can't apply the profile " + profileQualifiedName + " on "
          + p.getQualifiedName();

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of org.eclipse.uml2.uml.Constraint

de.crowdcode.kissmda.cartridges.simplejava.EnumGenerator

de.crowdcode.kissmda.cartridges.simplejava.EnumGeneratorTest

de.crowdcode.kissmda.cartridges.simplejava.ExceptionGeneratorTest

de.crowdcode.kissmda.cartridges.simplejava.InterfaceGenerator

de.crowdcode.kissmda.cartridges.simplejava.InterfaceGeneratorMethodParamsTest

de.crowdcode.kissmda.cartridges.simplejava.InterfaceGeneratorTest

de.crowdcode.kissmda.cartridges.simplejava.SimpleJavaTransformer

de.crowdcode.kissmda.core.uml.UmlHelper

de.crowdcode.kissmda.core.uml.UmlHelperTest

net.sf.parteg.base.testcasegraph.dialogs.CreateTestCasesGroupContextClassSelection

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.