Status: New Owner: ---- Labels: Type-Defect Priority-Medium

New issue 1053 by v.blonde...@gmail.com: VerveineJ exception on wrong command line http://code.google.com/p/moose-technology/issues/detail?id=1053

Describe the problem: what do you get? what do you expect?

When we execute VerveineJ with an wrong command line, we get :

Exception in thread "main" java.lang.IllegalStateException: invalid environment settings at org.eclipse.jdt.core.dom.ASTParser.getClasspath(ASTParser.java:256) at org.eclipse.jdt.core.dom.ASTParser.createASTs(ASTParser.java:988) at fr.inria.verveine.extractor.java.VerveineJParser.parse(Unknown Source) at fr.inria.verveine.extractor.java.VerveineJParser.main(Unknown Source)

Instead of a message such as: Error: a wrong command line parameter is set

How to reproduce the problem: step by step if necessary

Launch VerveineJ with a wrong parameter (-h to list the aloowed parameters)

Additional information: platform, context which may impact the problem

Windows 7 - x64

Please fill in the labels with the following information: * Type-Enhancement * Component-VerveineJ