ESC/Java2 2.0b4 (Default branch)


 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News ESC/Java2 2.0b4 (Default branch)
# 1  
Old 01-16-2008
ESC/Java2 2.0b4 (Default branch)

ESC/Java2 is an Extended Static Checker for Java. It automatically,statically, and modularly detects common programming errors. It reasonsabout Java programs that have (optional) annotations written in JML.License: Other/Proprietary License with SourceChanges:
Simplify has moved into its own project, Javafe has moved into its own project. ESC/Java2 now builds against an external Javafe library. Pre-built binaries have been added for the ASTGEN and ASTFILELIST tools, which are now part of Javafe.Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread

6 More Discussions You Might Find Interesting

1. Solaris

Esc-k and command history

Good afternoon, I am an Oracle DBA that is a bit stumped on the sudo and viewing historical commands. In the past on solaris 10 we would all first use our own username and password to putty to our unix box. Then in our /home/"my username"/.profile file it is setup to use sudo -u oracle for us to... (5 Replies)
Discussion started by: cptkirkh
5 Replies

2. Shell Programming and Scripting

Esc - key

hi i remember sometime back working in unix, when u dont recall a complete file name..u hit ESC key couple of times and actual complete name of that file which u looking for , gets visible For this to be enabled , do we need to make any entry in .profile file. In my current project, am... (3 Replies)
Discussion started by: sureshg_sampat
3 Replies

3. UNIX for Dummies Questions & Answers

How to invoke ESC+K

How to invoke ESC+K to get recent commands in Korn Shell. In some of the unix machine ESC+K is available and in some machines, it does not work. All of the machines that I work have Korn shell. (5 Replies)
Discussion started by: bobbygsk
5 Replies

4. Linux

ESC sequence on RHEL5

We have migrated one of servers from RH 2.1 to RHEL5 , some of the scripts on our machine use escape sequence to print output . Om RH 2.1 we were using echo echo "\033ERROR, which would give output ERROr in red . However the script does not work properly with RH5 and gives \033 as output . I... (2 Replies)
Discussion started by: amit1_x
2 Replies

5. UNIX for Dummies Questions & Answers

how to install this utility CC k[ESC}

I am quite used to program this way and its frustrating when you find that the utility is not there anymore...in the new system. I used give this in the command line CC k this used to give all the files starting with k one by one as I keep hitting the return key. like if I had 10 files... (5 Replies)
Discussion started by: navin10
5 Replies

6. Shell Programming and Scripting

append esc string

I have a request that is simple, but I can't figure out how to do it. I have a unix file that I want to append the following string to the front of the file <esc>&l1O<esc>(0U<esc>(s0p16.66h8.5v0s0b0T and an <esc>E to the end. I know that I could do something like cat... (2 Replies)
Discussion started by: beilstwh
2 Replies
Login or Register to Ask a Question
MACROS.JPACKAGE(7)						RPM Java packaging						MACROS.JPACKAGE(7)

NAME
macros.jpackage - RPM macros for Java packagers and developers. Written for the JPackage Project <http://www.jpackage.org/>: SYNOPSIS
%_jvmdir Root directory where all Java VMs/SDK/JREs are installed. %_jvmjardir Root directory where all Java VMs/SDK/JREs expose their jars %_jvmprivdir Root directory for all Java VM/SDK/JRE's private things. %_jvmlibdir Root directory for all architecture dependent parts of Java VM/SDK/JRE's %_jvmdatadir Root directory for all architecture independent parts of Java VM/SDK/JRE's %_jvmsysconfdir Root directory for all configurations parts of Java VM/SDK/JRE's %_jvmcommonlibdir Root directory for all common architecture dependent parts of Java VM/SDK/JRE's %_jvmcommondatadir Root directory for all common architecture independent parts of Java VM/SDK/JRE's %_jvmcommonsysconfdir Root directory for all common configurations parts of Java VM/SDK/JRE's %_javadir Directory where arch and version independent jars are installed. %{_javadir}-ext Directory where version dependent jars are installed. %_{javadir} Directory where arch and version independent jars are installed. %{_javadir}-x.y.z Directory where jars for Java standard x.y.z (usually symlinks to %{_javadir}-ext) are installed. %{_javadir}-utils Directory where Java-related scripts are installed. %_jnidir Directory where arch-specific (JNI) version-independent jars are installed. %_{jnidir}-ext Directory where arch-specific (JNI) version-dependent jars are installed. %_{jnidir}-x.y.z Directory where arch-specific (JNI) jars for Java standard x.y.z (usually symlinks to %{_jnidir}-ext) are installed. %_javadocdir Root directory where all javadoc is installed. %_mavendepmapdir Directory for maven depmaps. %_mavendepmapfragdir Directory for maven depmaps. %java_home Current default JVM home. Calls a set_jvm() from java-functions(7). %ant Default ant command. %jar Default jar command. %java Default java command. Calls a set_jvm() from java-functions(7). %javac Default javac command. %javadoc Default javadoc command. %add_jvm_extension add_jvm_extension should be used in %install by extension packages to declare what extension jars they provide. %add_to_maven_depmap() add_to_depmap adds an entry to the depmap. The arguments are: %1 the original groupid %2 the original artifact id %3 the version %4 the new groupid %5 the new artifactid %update_maven_depmap() update_maven_depmap updates the main maven depmap %jpackage_script() A standard script fot running jpackage positive applications. %1 main class %2 flags %3 options %4 jars (separated by ':') %5 the name of script you wish to create DESCRIPTION
This is a library of generic rpm macros which should be used on jpackage.org compatible distributions. FILES
/etc/rpm/macros.jpackage Definitions of macros. For additional informations look at this file. /use/share/java-utils/java-functions shell script functions library for Java applications /etc/java/java.conf system-wide Java configuration file ~/.java/java.conf user's Java configuration SEE ALSO
Regular Manual Pages java.conf(5) java-functions(7) jpackage-utils(7) AUTHORS
David Walluck <david@jpackage.org> Ville Skytta <scop at jpackage.org> Nicolas Mailhot <Nicolas.Mailhot at laPoste.net> REPORTING BUGS
Report bugs using JPackage Bugzilla (http://www.jpackage.org/bugzilla/) jpackage-utils 1.7.5 February 2009 MACROS.JPACKAGE(7)