Examples of ClassicalB.BImplementation

ClassicalB.BImplementation
A representation of the model object 'BImplementation'.
The following features are supported:
- {@link ClassicalB.BImplementation#getImports Imports}
@see ClassicalB.ClassicalBPackage#getBImplementation() @model @generated

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

ClassicalB.impl.BRefinementImpl

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.