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
MSGFMT(1)								GNU								 MSGFMT(1)

NAME
msgfmt - compile message catalog to binary format SYNOPSIS
msgfmt [OPTION] filename.po ... DESCRIPTION
Generate binary message catalog from textual translation description. Mandatory arguments to long options are mandatory for short options too. Similarly for optional arguments. Input file location: filename.po ... input files -D, --directory=DIRECTORY add DIRECTORY to list for input files search If input file is -, standard input is read. Operation mode: -j, --java Java mode: generate a Java ResourceBundle class --java2 like --java, and assume Java2 (JDK 1.2 or higher) --csharp C# mode: generate a .NET .dll file --csharp-resources C# resources mode: generate a .NET .resources file --tcl Tcl mode: generate a tcl/msgcat .msg file --qt Qt mode: generate a Qt .qm file Output file location: -o, --output-file=FILE write output to specified file --strict enable strict Uniforum mode If output file is -, output is written to standard output. Output file location in Java mode: -r, --resource=RESOURCE resource name -l, --locale=LOCALE locale name, either language or language_COUNTRY -d DIRECTORY base directory of classes directory hierarchy The class name is determined by appending the locale name to the resource name, separated with an underscore. The -d option is mandatory. The class is written under the specified directory. Output file location in C# mode: -r, --resource=RESOURCE resource name -l, --locale=LOCALE locale name, either language or language_COUNTRY -d DIRECTORY base directory for locale dependent .dll files The -l and -d options are mandatory. The .dll file is written in a subdirectory of the specified directory whose name depends on the locale. Output file location in Tcl mode: -l, --locale=LOCALE locale name, either language or language_COUNTRY -d DIRECTORY base directory of .msg message catalogs The -l and -d options are mandatory. The .msg file is written in the specified directory. Input file syntax: -P, --properties-input input files are in Java .properties syntax --stringtable-input input files are in NeXTstep/GNUstep .strings syntax Input file interpretation: -c, --check perform all the checks implied by --check-format, --check-header, --check-domain --check-format check language dependent format strings --check-header verify presence and contents of the header entry --check-domain check for conflicts between domain directives and the --output-file option -C, --check-compatibility check that GNU msgfmt behaves like X/Open msgfmt --check-accelerators[=CHAR] check presence of keyboard accelerators for menu items -f, --use-fuzzy use fuzzy entries in output Output details: -a, --alignment=NUMBER align strings to NUMBER bytes (default: 1) --no-hash binary file will not include the hash table Informative output: -h, --help display this help and exit -V, --version output version information and exit --statistics print statistics about translations -v, --verbose increase verbosity level AUTHOR
Written by Ulrich Drepper. REPORTING BUGS
Report bugs to <bug-gnu-gettext@gnu.org>. COPYRIGHT
Copyright (C) 1995-1998, 2000-2010 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. SEE ALSO
The full documentation for msgfmt is maintained as a Texinfo manual. If the info and msgfmt programs are properly installed at your site, the command info msgfmt should give you access to the complete manual. GNU gettext-tools 0.18.1 June 2010 MSGFMT(1)