Formal Parameters Java

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages,...

The package allows to work with scalar arrays as usual collections. The problem with a scalar array Java templates don't support scalar types as generic parameters. Java code working with collection interfaces such as List or Collection is inapplicable for arrays. Some libraries supply methods...

zCFac automatically generates Java, SQL, and HTML for dynamic web applications. The classes handle data access, dynamic searches, navigation, display, and access. Provides options for various edit widgets, search level, and hooks for custom code. zCFac uses a common description to automatically...


Platforms: Windows

SqlDbx is a fast and easy to use database SQL development IDE for database administrators and application or database developers who work in heterogeneous Database Server environments. SqlDbx built around an advanced SQL Editor and Database Object Explorer. SqlDbx provides a consistent user...


Platforms: Windows

SqlDbx Personal Edition is a useful and free version of Professional Edition for personal non commercial use. It differs from Professional Edition only by allowing to connect to only one Database Server at a time, otherwise both versions identical. SqlDbx built around an advanced SQL Editor...


Platforms: Windows

A Java parametrization framework to permit software sefl-setup at runtime after parametrization resources modifications, use of diferents files format to specify parameters, and the possibility of defining parameters relations.


Platforms: Windows, Mac, Linux

Perl6::Parameters is a module with Perl 6-style prototypes with named parameters. SYNOPSIS use Perl6::Parameters; sub mysub($foo, ARRAY $bar, *%rest) { ... } DETAILS Perl6::Parameters is a Perl module which simulates Perl 6s named parameters. (When I talk about "named parameters" I...


Platforms: *nix

ToscanaJ is a Java reimplementation of the classic Formal Concept Analysis frontend Toscana. It was built using software development techniques like MVC architecture and XML based files to provide more flexibilty for implementation of new features. Since ToscanaJ is a pure viewer/browser for...


Platforms: *nix

Java Applet Redirection JAR is a usefull script written in javascript that redirects the user if he does not have the JRE installed on its system to an other webpage not using applet.The script is compatible with all web browsers. It is also easy to install and use. You can configure the script...


Platforms: Windows, Mac, *nix, JavaScript, BSD Solaris

EditLive! for Java is a cross platform, browser-based WYSIWYG content authoring tool which enables non-technical users to contribute content to web-based enterprise applications. It extends EditLive!'s content authoring capabilities to MAC OS X and Sun Solaris 8 users. EditLive! for Java can...


Platforms: Windows, Mac

Apycom Java Menu Applets is a collection of highly configurable java applets that allows you to create cross-browser drop down menus, bars, and buttons for your Website. These applets provide feature-rich, fast-loading menu navigation systems to make it easy for your visitors to find their way...


Platforms: Windows

Are you tired of writing java programs with MS notepad? This is a very small program that helps you working faster when programing with java, So Avoid Hassle and start using it Now.


Platforms: Windows

ObjectDB for Java/JDO a powerful yet compact Object Database (ODBMS) for Java, written entirely in Java, and compliant with the Java Data Objects (JDO) standard developed by Sun. ObjectDB for Java/JDO is designed to handle efficiently databases of various sizes, ranged from a few KBs to hundreds...


Platforms: OS/2, BeOS, Palm OS, Windows, Mac, *nix, Windows CE

Janex]|[Builder gives Java programmers the possibility to give their users their applications with EXE files. To achieve this, the Janex]|[Builder user has only to enter the proper command line into Janex]|[Builder, which starts the Java application. The command line will then be implanted into...


Platforms: Windows, Windows CE

100% Free Java Applets ! Real Freeware These products are NOT Trialware or Evalware - but fully functioning versions which are Free for you to use however you wish, making them truly Freeware products. The Free Applet package includes the following:- Free Scrolling Text Free Tree Menu Free Java...


Platforms: OS/2, Windows, Mac, *nix

Java Trainer (JT) is for students who intend to learn Java , C#(or C++ for that matter). It is a simple programming system in a web page (no install), with a language close to C and Java, but cut-down. It only covers the very early material of a programming course, and might also be suitable for...


Platforms: any

Gnostice PDFOne Java is a 100% Java library for developers to implement PDF based software solutions. PDFOne Java provides a rich set of APIs to create, manipulate and organize PDF documents, process PDF forms and perform other PDF document related tasks from within your Java applications. PDFOne...


Platforms: Windows

Java::JCR::Nodetype is a Perl module that can load the JCR node type class wrappers. SYNOPSIS use Java::JCR::Nodetype; This loads the Perl classes mapped to the javax.jcr.nodetype package. You might notice the odd letter case of this package differs from that of the node type class...


Platforms: *nix

Java::JCR::Exception is a Perl wrapper for repository exceptions. SYNOPSIS eval { my $node = $root->add_node(foo, nt:unstructured); }; if ($@) { print STDERR "Failed to add node foo: $@n"; } This class is used to make the exceptions thrown from the Java code work more nicely in Perl....


Platforms: *nix

Java::JCR::Lock is a Perl module that can load JCR lock extension wrappers. SYNOPSIS use Java::JCR::Lock This loads the Perl classes mapped to the Java package named javax.jcr.lock. Installation: Installation can be a bit tricky because this library depends upon Inline::Java, which...


Platforms: *nix