Callees that Read/Write Fields Sample Clauses

Callees that Read/Write Fields. Java methods are not necessarily side-effect free. They can update the values of fields. Consider the following change contract involving a field value change. ∗ / @ changed behavior ∗ @ when ensured t h i s . name == n u l l ; / / whenever name has n u l l at the method e x i t i n v1 , @ ensures t h i s . name . equals ( ""); / / name should have an empty s t r i n g " " i nstead i n v2 . @ / int p ( i nt x ) ; The prior change contract describes the change of field name. As we represent the re- turn values of the two versions of a procedure p with uninterpreted functions p v1(x) and p v2(x), we represent the field values via other uninterpreted functions, p v1 field value(x) and p v2 field value(x). These two new uninterpreted functions can be constrained by the given when ensured clause and ensures clause, respectively. In the previous example, our static checker can maintain a constraint p v1 field value(x)==null to consider the case where field name has null at the method exit in v1. Recall that, to align callees called in different versions, we compare the input of callees. We earlier showed how we align two versions of callees called with the same parameter values. In the presence of fields, we extend our alignment mechanism to accommodate the fields read by a callee. More specifically, we extend uninterpreted functions such as p v1(x) into p v1(this v1, x, f), where f refers to a field read by method p and this v1 to the implicit receiver of a method call. The fields that are read/written by a callee can be specified with a JML’s accessible/ assignable clause, and our prototype tool consults accessible/assignable clauses when con- structing uninterpreted functions. Automatic inference of these clauses is also possible through side-effect analysis [Sa˘ lcianu and Xxxxxx 2005], while our prototype tool cur- rently does not contain it. ACM Transactions on Software Engineering and Methodology, Vol. 24, No. 3, Article 18, Pub. date: May 2015.
Sample 1
AutoNDA by SimpleDocs

Related to Callees that Read/Write Fields

  • Entities that Boycott Israel Contractor represents and warrants that (1) it does not, and shall not for the duration of the Contract, boycott Israel or (2) the verification required by Section 2271.002 of the Texas Government Code does not apply to the Contract. If circumstances relevant to this provision change during the course of the Contract, Contractor shall promptly notify System Agency.

  • Are There Distribution Rules That Apply After Death Special rules apply in the case of the divorce or death of a beneficiary of a Xxxxxxxxx Education Savings Account. In particular, any balances to the credit of a beneficiary must, within 30 days of death, be either: (i) rolled over to another beneficiary’s Xxxxxxxxx Education Savings Account according to the requirements of Section (4) (in which case the distribution will not be subject to tax) or (ii) distributed to a death beneficiary or the beneficiary’s estate (in which case the distribution will be subject to tax).

  • Entities that Boycott Energy Companies In accordance with Senate Bill 13, Acts 2021, 87th Leg., R.S., pursuant to Section 2274.002 (eff. Sept. 1, 2023, Section 2276.002, pursuant to House Bill 4595, Acts 2023, 88th Leg., R.S.) of the Texas Government Code (relating to prohibition on contracts with companies boycotting certain energy companies), Contractor represents and warrants that: (1) it does not, and will not for the duration of the Contract, boycott energy companies or (2) the verification required by Section 2274.002 (eff. Sept. 1, 2023, Section 2276.002, pursuant to House Bill 4595, Acts 2023, 88th Leg., R.S.) of the Texas Government Code does not apply to the Contract. If circumstances relevant to this provision change during the course of the Contract, Contractor shall promptly notify System Agency.

  • What if a Prohibited Transaction Occurs If a “prohibited transaction”, as defined in Section 4975 of the Internal Revenue Code, occurs, the Xxxxxxxxx Education Savings Account could be disqualified. Rules similar to those that apply to Traditional IRAs will apply.

  • Vendor Logo (Supplemental Vendor Information Only) No response Optional. If Vendor desires that their logo be displayed on their public TIPS profile for TIPS and TIPS Member viewing, Vendor may upload that logo at this location. These supplemental documents shall not be considered part of the TIPS Contract. Rather, they are Vendor Supplemental Information for marketing and informational purposes only. Bid Attributes Disadvantaged/Minority/Women Business & Federal HUBZone Some participating public entities are required to seek Disadvantaged/Minority/Women Business & Federal HUBZone ("D/M/WBE/Federal HUBZone") vendors. Does Vendor certify that their entity is a D/M/WBE/Federal HUBZone vendor? If you respond "Yes," you must upload current certification proof in the appropriate "Response Attachments" location. NO Historically Underutilized Business (HUB) Some participating public entities are required to seek Historically Underutilized Business (HUB) vendors as defined by the Texas Comptroller of Public Accounts Statewide HUB Program. Does Vendor certify that their entity is a HUB vendor? If you respond "Yes," you must upload current certification proof in the appropriate "Response Attachments" location. No National Coverage Can the Vendor provide its proposed goods and services to all 50 US States? Yes

  • What If I Engage in a Prohibited Transaction If you engage in a “prohibited transaction,” as defined in Section 4975 of the Internal Revenue Code, your account will be disqualified, and the entire balance in your account will be treated as if distributed to you and will be taxable to you as ordinary income. Examples of prohibited transactions are:

  • HOLIDAYS THAT FALL ON A SATURDAY For those employees assigned to a work week of Monday through Friday, and in the event a legal holiday falls on Saturday, the preceding Friday shall be observed as a holiday; provided, however, that except where the Governor declares that such preceding Friday shall be a legal holiday, each department head shall make provision for the staffing of public offices under his/her jurisdiction on such preceding Friday so that said public offices may serve the public as provided in Section 16.4 of the Administrative Code. Those employees who work on a Friday which is observed as a holiday in lieu of a holiday falling on Saturday shall be allowed a day off in lieu thereof as scheduled by the appointing officer in the current fiscal year.

  • JOC Pricing of Itemized List of RS Means Non-Prepriced Items No response The Vendor may download the optional Pricing of Itemized List of RS Means Non-Prepriced Items form from the attachment tab, fill in the requested information, and upload the completed spreadsheet. DO NOT UPLOAD encrypted or password protected files. Reference Form (PARTS 1 & 2) 220107 Reference_Form.xls Valid Reference Email addresses are REQUIRED on the spreadsheet. The vendor must download the References spreadsheet from the attachment tab, fill in the requested information and upload the completed spreadsheet. DO NOT UPLOAD encrypted or password protected files.

  • Lobbying Activities - Standard Form - LLL No response Do not upload this form unless Vendor has reportable lobbying activities. There are Attributes entitled, “2 CFR Part 200 or Federal Provision - Xxxx Anti-Lobbying Amendment – Continued.” Properly respond to those Attributes and only upload this form if applicable/instructed. If upload is required based on your response to those Attributes, the Disclosure of Lobbying Activities – Standard Form - LLL must be downloaded from the “Attachments” section of the IonWave eBid System, reviewed, properly completed, and uploaded to this location.

  • Supplemental Vendor Information Only) No response Optional. If Vendor desires that their logo be displayed on their public TIPS profile for TIPS and TIPS Member viewing, Vendor may upload that logo at this location. These supplemental documents shall not be considered part of the TIPS Contract. Rather, they are Vendor Supplemental Information for marketing and informational purposes only. Signature Form.pdf

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