Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.071.065 Times

Using introspection to verify Eiffel contracts 1.0

  Date Added: May 10, 2013  |  Visits: 185

Using introspection to verify Eiffel contracts

Report Broken Link
Printer Friendly Version


Product Homepage
Download (29 downloads)

This script shows how you can use intospection to create a function wraper that verify Eiffel like contracts.

Requirements: No special requirements
Platforms: Windows, Mac, *nix, Mac OSX, Linux, Python , BSD Solaris
Keyword: Contracts Eiffel Eiffel Contracts Function Function Declaration Function Wraper
Users rating: 0/10

License: Freeware
USING INTROSPECTION TO VERIFY EIFFEL CONTRACTS RELATED
Miscellaneous  -  Tail Call Optimization Decorator 1.0
This function decorates a function with tail call optimization. It does this by throwing an exception if it is it's own grandparent, and catching such exceptions to fake the tail call optimization. This function fails if the decorated function...
 
Multimedia & Graphics  -  Function Plot 2D New
Function Plot 2D is a small, simple, Java based application specially designed to help you create function plots. Function Plot 2D lets you create a 2D plot, all you need to do is give an input function. for WindowsAll
 
Miscellaneous  -  Finding the value passed to a function by name 1.2
Sometimes inside a decorator that creates a function with a generic (*args, **kwargs) signature, you want to access a value passed for a particular parameter name to a wrapped function, but don't know whether that value will be passed as a...
 
Miscellaneous  -  Extract a inner function from a class 1.1
This function can extract a inner function from a class or a function. It may be useful when writing a unit test code.
 
Development Tools  -  Q function 1.0
Because of the "erfc" function, the processing time is very small.
102.4 KB  
Mathematics  -  Equation Grapher 2.0.0
Equation grapher is an easy-to-use software for 2D function graphing. 2D function graphs can be plotted in Cartesian and polar coordinate systems .Equation grapher is an easy-to-use software for 2D function graphing. 2D function graphs can be...
1.23 MB  
Libraries  -  Devel::TraceFuncs 0.1
Devel::TraceFuncs is a Perl module with trace function calls as they happen. SYNOPSIS Usage: require Devel::TraceFuncs; max_trace_depth 5; trace_file "foo.out"; trace_file $file_handle; sub foo { IN(my $f, "a message"); DEBUG...
4.1 KB  
Education  -  Lybniz 1.3
Lybniz project is a simple function graph plotter in Python on GTK. Lybniz allows to plot up to three functions on one graph. It needs no installation - simply one Python script..
12.29 KB  
Multimedia & Graphics  -  ZeGrapher 1.3.0
ZeGrapher was designed to be a fast an easy-to-use mathematical function plotting application. This handy tool can be specially suitable for high school students that need to plot different functions.
 
Multimedia & Graphics  -  MathGV 4.1
MathGV application was designed to be a mathematical function graphing software. The MathGV interface is dialogue driven and allows changes to any setting at any time with immediate results. This instant visual feedback makes mathematical...
 
NEW DOWNLOADS IN SCRIPTS, MISCELLANEOUS
Scripts  -  Free Ecommerce website creator 1.2
Free Ecommerce website creator is a free PHP shop creating script. This allows you to put a online shop on your own website. Create your own free ecommerce website for Your Business. Create an online shop using easyGUI online shop creator. The...
1.44 KB  
Scripts  -  MochiGames PHP Script ZDR 1.00
MochiGames PHP Script ZDR is web site, ready for use, for flash games. These flash games are downloaded automatically by "MochiGames PHP Script ZDR" from MochiGames media. The use of the games is free, you can use your own Mochi Publisher ID and...
368.54 KB  
Scripts  -  Php Chat 2.0
Add a free php site, single sign-on and multiple skins, 100% free 1. Server Modes: The chat server has paid mode and free mode. If the free chat mode, a free chat room will be assigned to your website with your domain as the room name. 2....
938.87 KB  
Scripts  -  Nibbleblog 3.0.1
Nibbleblog it's a powerful engine for creation and manipulation of BLOG's completely free. Very simple to install and configure (Only 1 step). The database used is based on XML files and this way it is not necessary to use MySQL or similar DBMS....
371.09 KB  
Scripts  -  PHP File Manager | CloudOsys 2.9b8
CloudOsys is a PHP file manager, a tool that allows your visitors upload files such as media content directly to your website. Your visitors will upload files directly to your website, where they can share and comment on them. Through cloud...
1.41 MB  
Miscellaneous  -  ZZIPlib Library for File sharing 0.13.56
Different applications can group files together into a single .zip archive and access them afterward.The library uses only the patent-free compression-algorithms supported by Zlib.It provides functions that transparently access files being either...
675.84 KB  
Miscellaneous  -  Traveling Salesman Problem - Nearest Neighbor Script 1.1
This method produces different results depending on what city is choosen as the starting point.This function determines the Nearest Neighbor routes for multiple starting points and returns the best of those routes.
10 KB  
Miscellaneous  -  N/A Checkbox 6.x-1.8
N/A Checkbox will allow website builders to add a checkbox next to a number textfield. The idea is to provide the users a textfield to enter a numeric value, or mark N/A in case they don't have it. When the N/A option is marked, a different value...
10 KB  
Miscellaneous  -  ILIAS LMS 4.1.2
ILIAS is a web base learning management system (LMS, VLE).Features of ILIAS LMS:- Courses,- SCORM 1.2 and 2004,- mail,- forum,- chat,- groups,- podcast,- file sharing,- authoring,- CMS,- test,- wiki,- personal desktop,- LOM,- LDAP,- role based...
89 MB  
Miscellaneous  -  Scribe for WordPress 2.0.4
Scribe is an SEO software service for WordPress - think of it as a content optimization assistant - that analyzes web pages, blog posts, and online press releases at the click of a button.Scribe then tells web writers of any kind how to tweak...
10 KB