Classes and Attributes‌ Sample Clauses

Classes and Attributes‌. Definition 4.1 (Class introduction) The declaration of a class is defined as shown below. A Object ∧ A ∈/ T ∪ cls ∧ class A extends B1 · · · Bn =^  (∀ i ∈ {1 · · · n} • Bi ∈ cls) ∧ OO  €(clsj = cls ∪ {A})    (∀ i, j ∈ {1 · · · n} • Bi ⊀ Bj)    ∧ (scj = sc ∪ {A ›→ Bi | 1 ≤ i ≤ n})     ∧ (attsj = atts ∪ {A ›→ ∅})  ∧ (ivrj = ivr ∪ {A ›→ val self : Object • true}) ∧ IIΣ\{cls,sc,atts,ivr} The design updates variable cls with A and maps it in the relation sc to B1 · · · Bn as its immediate superclasses. Only new names are allowed (A ∈/ T ∪ cls), and classes B1 · · · Bn need to have ∈ been previously declared (Bi cls). Moreover we require that no two superclasses are ancestors of each other; this ensures that OO3a is satisfied. An entry for A in atts is mapped to the empty set, and the initial class invariant is simply true for any object. No other observational variable is modified as specified through conjoining the predicate with a skip operator (II) parametrised by the unchanged variables.
Sample 1
AutoNDA by SimpleDocs
Classes and Attributes‌. Definition 4.1 (Class introduction) The declaration of a class is defined as shown below. A Object ∧ A ∈/ T ∪ cls ∧ class A extends B1 · · · Bn =^  (∀ i ∈ {1 · · · n} • Bi ∈ cls) ∧ OO  ▶(clsr = cls ∪ {A})    (∀ i, j ∈ {1 · · · n} • Bi ⊀ Bj)   
Sample 1

Related to Classes and Attributes‌

  • COMMON ATTRIBUTE 30 To ensure uniformity of regional reliability standards, a regional reliability standard shall consist of the elements identified in this section of the procedure. These elements are intended to apply a systematic discipline in the development and revision of standards. This discipline is necessary to achieving standards that are measurable, enforceable, and consistent.

  • Green Attributes Seller hereby provides and conveys all Green Attributes associated with all electricity generation from the Project to Buyer as part of the Product being delivered. Seller represents and warrants that Seller holds the rights to all Green Attributes from the Project, and Seller agrees to convey and hereby conveys all such Green Attributes to Buyer as included in the delivery of the Product from the Project.

  • Indirect Loss 31.12.1 Neither Party will be liable to the other Party for any Indirect Loss or indirect damage.

  • Allocation of Profits and Losses Distributions Profits/Losses. For financial accounting and tax purposes, the Company's net profits or net losses shall be determined on an annual basis and shall be allocated to the Members in proportion to each Member's relative capital interest in the Company as set forth in Schedule 2 as amended from time to time in accordance with U.S. Department of the Treasury Regulation 1.704-1.

  • Excess Contributions An excess contribution is any amount that is contributed to your IRA that exceeds the amount that you are eligible to contribute. If the excess is not corrected timely, an additional penalty tax of six percent will be imposed upon the excess amount. The procedure for correcting an excess is determined by the timeliness of the correction as identified below.

  • Environmental Attributes Seller acknowledges and agrees that any Environmental Attribute associated with or related to the Product will not be sold or otherwise made available to a third party but will be sold to Buyer pursuant to this Agreement. For the avoidance of doubt, the Product sold hereunder must meet the definition of “renewable energy credit” under the IPA Act.

  • PROFITS/LOSSES For financial accounting and tax purposes, the Company's net profits or net losses shall be determined on an annual basis and shall be allocated to the Members in proportion to each Member's relative capital interest in the Company as set forth in Schedule 2 as amended from time to time in accordance with U.S. Department of the Treasury Regulation 1.704-1.

  • Tax Credits A Creditor Party which receives for its own account a repayment or credit in respect of tax on account of which the Borrowers have made an increased payment under Clause 23.2 shall pay to the Borrowers a sum equal to the proportion of the repayment or credit which that Creditor Party allocates to the amount due from the Borrowers in respect of which the Borrowers made the increased payment, provided that:

  • DATA LOSS The Company does not accept responsibility for the security of Your account or content. You agree that Your use of the Website or Services is at Your own risk.

  • Losses After giving effect to the special allocations in Section 3.3 and 3.4 hereof, Losses for any Fiscal Year shall be allocated among the Unit Holders in proportion to Units held.

Time is Money Join Law Insider Premium to draft better contracts faster.