Package ClassicalB

Examples of ClassicalB.BImplementation


   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @generated
   */
  public void setImplementation(BImplementation newImplementation) {
    BImplementation oldImplementation = implementation;
    implementation = newImplementation;
    if (eNotificationRequired())
      eNotify(new ENotificationImpl(this, Notification.SET, ClassicalBPackage.BREFINEMENT__IMPLEMENTATION, oldImplementation, implementation));
  }
View Full Code Here

TOP

Related Classes of ClassicalB.BImplementation

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.