Package easysm.stores

Examples of easysm.stores.Class


   * - Conditions and reactions referencing it
   */
  public void invalidateDependentsOf(Attribute attr)
  {
    // Container class
    Class container = (Class) attr.containedIn();
    container.invalidate();
    invalidateDependentsOf(container);
   
//    // Invariants
//    for (StateObserver so : main().stateObservers().stateObserverSet()) {
//      if (so.invariant().contains(attr)) {
View Full Code Here


   * - Conditions and reactions referencing it
   */
  public void invalidateDependentsOf(Operation op)
  {
    // Container class
    Class container = (Class) op.containedIn();
    container.invalidate();
    invalidateDependentsOf(container);
   
//    // Invariants
//    for (StateObserver currSo : main().stateObservers().stateObserverSet()) {
//      if (currSo.invariant().contains(op)) {
View Full Code Here

    table_contentModel.getDataVector().removeAllElements();
    for (i = 0; i < classesCount; ++i) {
      String className = classes[i].name().toString();
     
      Class contextClass = updateInputCD.currentInputCD().classDiagram().context();
      if (contextClass != null && classes[i].name().equals(contextClass.name()))
        className = "CONTEXT: " + className;

      table_contentModel.addRow(new String[] { className, classes[i].toString() });
      table_contentModel.setValueAt(!classes[i].isInvalid(), i, 2);
    }
View Full Code Here

   */
 
  public boolean canAdd(AttributeInfo newAttrInfo)
  {
    Name newAttrName = newAttrInfo.name();
    Class container = (Class) newAttrInfo.ofClass();
    if (attrExists(newAttrName, container)) {
      main.inputCDError(Constants.EXISTING_ATTRIBUTE);
      return false;
    }
    return true;
View Full Code Here

  }
 
  public boolean canUpdate(Attribute oldAttr, AttributeInfo newAttrInfo)
  {
    Name newAttrName = newAttrInfo.name();
    Class container = (Class) newAttrInfo.ofClass();
    if (!oldAttr.name().equals(newAttrName) && attrExists(newAttrName, container)) {
      main.inputCDError(Constants.EXISTING_ATTRIBUTE);
      return false;
    }
    return true;
View Full Code Here

   */
 
  public boolean canAdd(OperationInfo newOpInfo)
  {
    Name newOpName = newOpInfo.name();
    Class container = (Class) newOpInfo.ofClass();
    if (opExists(newOpName, container)) {
      main.inputCDError(Constants.EXISTING_OPERATION);
      return false;
    }
    if (paramsAreRepeated(newOpInfo.parametersInfo())) {
View Full Code Here

  }
 
  public boolean canUpdate(Operation oldOp, OperationInfo newOpInfo)
  {
    Name newOpName = newOpInfo.name();
    Class container = (Class) newOpInfo.ofClass();
    if (!oldOp.name().equals(newOpName) && opExists(newOpName, container)) {
      main.inputCDError(Constants.EXISTING_OPERATION);
      return false;
    }
    if (paramsAreRepeated(newOpInfo.parametersInfo())) {
View Full Code Here

   */

  public void doAddCDElement(ClassInfo newClassInfo)
  {
    if (checker.canAdd(newClassInfo)) {
      Class newClass = new Class(newClassInfo);
      inputCD().addCDElement(newClass);
      invalidator.invalidateDependentsOf(newClass);
      refreshUpdateInputCD();
    }
  }
View Full Code Here

    if (inputCD.context() == null) {
      return outputCD;
    }
    // Context class
    ClassInfo contextInfo = new ClassInfo(inputCD.context().name());
    Class context = new Class(contextInfo);
    outputCD.addCDElement(context);
    outputCD.changeContext(context);
    // All other classes and enumerations
    for (Class cl : inputCD.classes()) {
      if (cl != inputCD.context()) {
View Full Code Here

TOP

Related Classes of easysm.stores.Class

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.