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.067.543 Times

PHP Design by Contract 1.0

Company: sourceforge.net
Date Added: June 11, 2012  |  Visits: 363

PHP Design by Contract

Report Broken Link
Printer Friendly Version


Product Homepage
Download (27 downloads)

PHP Design by Contract provides a basic implementation of contract programming in PHP 5.3+. The base Contract class allows new or existing classes to define properties as protected Attributes and methods as Routines, which require argument type/class validation, aswell as PreCondition and PostCondition checks. Instances can also check for state consistency with an invariant check.

Requirements: No special requirements
Release Date: June 11, 2012
Platforms: Windows, Mac, Linux
Users rating: 0/10

License: Freeware Size: 31.24 KB
PHP DESIGN BY CONTRACT RELATED
Libraries  -  Class::Contract 1.00
Class::Contract - Design-by-Contract OO in Perl. SYNOPSIS package ClassName use Class::Contract; contract { inherits BaseClass; invar { ... }; attr data1; attr data2 => HASH; class attr shared => SCALAR; ctor new; method...
26.62 KB  
Libraries  -  Sub::Assert 1.22
Sub::Assert - Design-by-contract like pre- and postconditions, etc. SYNOPSIS use Sub::Assert; sub squareroot { my $x = shift; return $x**0.5; } assert pre => $PARAM[0] >= 1, # for the sake of simplicity post => $VOID or $RETURN <=...
6.14 KB  
Libraries  -  D3-Explorer 1.0.0
D3-Explorer is specially designed as a plugin for Eclipse that facilitates the use of Design by Contract in the development process. This is done by automating the creation and synchronization of types and their contracts. It works in combination...
 
Programming  -  C4J Eclipse Plugin 0.1.1
This project aims at developing an Eclipse plugin for the Design by Contract library provided by the c4j project. It helps Eclipse developers to maintain their contracts together with their Java classes.
299.42 KB  
Programming  -  ContractChecker 0.4.5
ContractChecker is a small tool to provide support for some design by contract features to standard Java code.Internally, it is composed of an Ant task, which invokes a doclet to generate AspectJ and the AjcTask itself in order to compile it.
28.42 KB  
Programming  -  ezContract 1.0
ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.
536 KB  
Programming  -  Java Modeling Language (JML) 1.0
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
9.41 MB  
Programming  -  Java Fine Print 1.0
Java Fine Print is a Design by Contract (DbC) tool. Developers add @Invar, @Pre, and @Post annotations to their code. Java Fine Print uses these annotations to generate Java source code that tests for contract violations.
29.84 KB  
Programming  -  jContractor 0.1
jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.
326.05 KB  
Programming  -  MetaContract 0.3
Design by Contract allows a programmer to document a function/class with statements describing behavior. Metacontract implements the PEP-0316 related to this feature for the Python language using meta classes.
4.8 KB  
NEW DOWNLOADS IN PROGRAMMING, LIBRARIES
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB  
Libraries  -  TreeConf 0.1.20111126.beta
A free and light configuration framework library for Java. It changes completely the way you use configuration for your software. Compared to existing frameworks, it enables simpler, easier to read code. Be ready to change your view on configuration!
7.39 KB  
Libraries  -  Amethyst Network Library 0.1.2
The Amethyst Network Library is a Java-based network library developed specifically for the Java platform. This library can be used within any Java application to streamline and abstract the I/O of Java Sockets.
49.2 KB  
Libraries  -  luanotify 0.1
LuaNotify is inspired on many libraries that do event dispatching, like py-notify, GSignals, QT event system, wxWidgets event system, etc. Making easier to implement lua software using Notifier/Observer pattern.
162 KB  
Libraries  -  JInsect 1.0
The JINSECT toolkit is a Java-based toolkit and library that supports and demonstrates the use of n-gram graphs within Natural Language Processing applications, ranging from summarization and summary evaluation to text classification and indexing.
777.97 KB  
Libraries  -  QVT-Rel2Op 1.0.0
QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.
6.46 MB