XML VISITOR Sample Clauses

XML VISITOR. The XML generator uses the XML visitor (CW_XML_VISITOR) to generate the XML file holding the Eiffel class representation. The new attributes in the AST (overloaded_name, is_public, is_by_reference) caused changes in the XML visitor. I adapted the visitor in a way that it appends the new attributes at the according position together with their values. The feature generate_contracts creates the XML tags with the contracts of a class. It checks for every assertion whether it is an invariant (is_invariant), a precondition (is_precondition), or a postcondition (is_postcondition). However, is_postcondition (an_assertion) always returned false even if an_assertion was a postcondition. Thus the XML file did not contain the postconditions of a feature. The mistake was a local variable with a wrong type: a_postcondition was declared as CW_PRECONDITION. Table 25 shows the corrected feature. is_postcondition (an_assertion: CW_ASSERTION): XXXXXXX is -- Is `an_assertion' a postcondition ? require assertion_not_void: an_assertion /= Void local a_postcondition: CW_POSTCONDITION do a_postcondition ?= an_assertion Result := (a_postcondition /= Void) end Table 25: Feature is_postcondition of CW_XML_VISITOR
Sample 1Sample 2Sample 3
AutoNDA by SimpleDocs

Related to XML VISITOR

  • Escorting Visitors Visitors to areas where PHI COUNTY discloses to 4 CONTRACTOR or CONTRACTOR creates, receives, maintains, or transmits on behalf of COUNTY is 5 contained shall be escorted and such PHI shall be kept out of sight while visitors are in the area.

  • Program Requirements A. The parties shall comply with the Disadvantaged Business Enterprise Program requirements established in 49 CFR Part 26.

  • Trunk Forecasting Requirements 14.2.1 Initial trunk forecast requirements. At least ninety (90) days before initiating interconnection in a LATA, Alltel shall provide Verizon a two (2)-year traffic forecast that complies with the Verizon Interconnection Trunking Forecast Guide, as revised from time to time. This initial traffic forecast will provide the amount of traffic to be delivered to and from Verizon over each of the Interconnection Trunk groups in the LATA over the next eight (8) quarters.

  • Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract.

  • Minimum Customer Support Requirements for TIPS Sales Vendor shall provide timely and commercially reasonable support for TIPS Sales or as agreed to in the applicable Supplemental Agreement.

  • Support Requirements If there is a dispute between the awarded vendor and TIPS Member, TIPS or its representatives may assist, at TIPS sole discretion, in conflict resolution or third party (mandatory mediation), if requested by either party. TIPS, or its representatives, reserves the right to inspect any project and audit the awarded vendors TIPS project files, documentation and correspondence. Status of TIPS Members as Related to This Agreement TIPS Members stand in the place of TIPS as related to this agreement and have the same access to the proposal information and all related documents. TIPS Members have all the same rights under the awarded Agreement as TIPS.

  • Switching System Hierarchy and Trunking Requirements For purposes of routing PNG traffic to Verizon, the subtending arrangements between Verizon Tandem Switches and Verizon End Office Switches shall be the same as the Tandem/End Office subtending arrangements Verizon maintains for the routing of its own or other carriers’ traffic (i.e., traffic will be routed to the appropriate Verizon Tandem subtended by the terminating End Office serving the Verizon Customer). For purposes of routing Verizon traffic to PNG, the subtending arrangements between PNG Tandem Switches and PNG End Office Switches shall be the same as the Tandem/End Office subtending arrangements that PNG maintains for the routing of its own or other carriers’ traffic.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!