Available Functionality Sample Clauses

Available Functionality. ‌ The command-line tool presently has access to the following features in the core libraries: • CML parser • CML typechecker • CML AST to DOT graph generation • CML interpreter • Example core plugins The CML parser is the primary element of the command-line tool, as nothing can happen without using it. Generally, the tool will read in a (sequence of) CML file(s) and then perform a typecheck on the abstract syntax tree (AST). At this point, the data is ready to be used by the rest of the core libraries and plugins. It is possible to run the core libraries on an AST that has not been typechecked, but doing so is not recommended except to test error reporting or if the user only wishes to generate a DOT graph of the AST. The DOT graph generator will output a representation of the AST generated from the input CML files in the DOT language. The output is suitable for use in the Graphviz suite of graph visualization utilities.1 The output is useful for producing a visual representation of the data used internally by the COMPASS tool to repre- sent the static structure of a model of a system of systems. This allows a developer to quickly verify whether the input CML files result in the expected internal data structures. 1Found at xxxx://xxx.xxxxxxxx.xxx. The Proof Obligation Generator (POG) can be invoked by the command-line tool and doing so will cause it to produce the internal representation of the consis- tency and validation checks that the input CML files require. The theorem prov- ing and model checking plugins planned for future releases will be able to use these proof obligations to verify the consistency and correctness of the input CML model. The CML interpreter is only accessible from the command-line tool in the M12 release of the COMPASS tools. Invoking the CML interpreter on a set of input CML files will result in the model being executed in a simulation run. The re- sults of the simulation will be printed to the console during the run. Interfaces to graphical components are not yet available.
Sample 1
AutoNDA by SimpleDocs

Related to Available Functionality

  • Primary Function (a) The primary function of the troubleshooter shall be to address concerns of bargaining unit employees who seek a determination of their employment status (an employee of regular status or an employee of auxiliary status) pursuant to the terms of this Collective Agreement.

  • Future Functionality You agree that Your purchases are not contingent on the delivery of any future functionality or features, or dependent on any oral or written public comments made by Us regarding future functionality or features.

  • Additional Functionality Microsoft may provide additional functionality for the software. Other license terms and fees may apply.

  • Operations Support Systems Functions CBT shall provide CLEC, upon CLEC's request, nondiscriminatory access to CBT's Operations Support Systems functions for pre-ordering, ordering, provisioning, maintenance and repair and billing, in accordance with the terms and schedules established in the Commission’s Arbitration Award in Case No. 97-152-TP-ARB, August 14, 1997 (“Arbitration Award”). CBT shall provide CLEC advance written notice of any material changes to CBT operating support systems functions.

  • Local Switching Interfaces 4.2.13.1 Newcomm shall order ports and associated interfaces compatible with the services it wishes to provide as listed in Exhibit A. BellSouth shall provide the following local switching interfaces:

  • Functionality Customer is entitled to additional functionality previously purchased or bundled with the software if available in the version or update released on or after the start date of the Agreement. Customer acknowledges that certain functionality in current and previous software versions may not be available in future upgrades. Added functionality may require additional paid services (clinical and technical) to configure and support.

  • Statistical Sampling Documentation a. A copy of the printout of the random numbers generated by the “Random Numbers” function of the statistical sampling software used by the IRO.

  • Available Information The Company is subject to the periodic reporting requirements of the Exchange Act and, accordingly, is required to file or furnish certain reports with the Commission. These reports can be retrieved from the Commission's website (wxx.xxx.xxx) and can be inspected and copied at the public reference facilities maintained by the Commission located (as of the date of the Deposit Agreement) at 100 X Xxxxxx, X.X., Xxxxxxxxxx X.X. 00000.

  • Allowable Customizations The Student is permitted to alter or add files to customize the assigned Computer to her/his own working style (i.e., background screens and images, display settings).

  • Line Information Database (LIDB 9.1 BellSouth will store in its Line Information Database (LIDB) records relating to service only in the BellSouth region. The LIDB Storage Agreement is included in this Attachment as Exhibit B.

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