| |
| -------------------------------- |
| RUNNING A CONSOLE-BASED VERIFIER |
| -------------------------------- |
| |
| A command like |
| |
| java org.apache.bcel.verifier.Verifier fully.qualified.class.Name |
| |
| lets JustIce work standalone. |
| |
| |
| If you get a "java.lang.OutOfMemoryError", you should increase the |
| maximum Java heap space. A command like |
| |
| java -Xmx1887436800 org.apache.bcel.verifier.Verifier f.q.c.Name |
| |
| will usually resolve the problem. The value above is suitable for |
| big server machines; if your machine starts swapping to disk, try |
| to lower the value. |
| |
| |
| --------------------------------- |
| RUNNING A GRAPHICS-BASED VERIFIER |
| --------------------------------- |
| |
| If you prefer a graphical application, you should use a command like |
| |
| java org.apache.bcel.verifier.GraphicalVerifier |
| |
| to launch one. Again, you may have to resolve a memory issue depending |
| on the classes to verify. |
| |
| |
| ------------------ |
| CONTACT THE AUTHOR |
| ------------------ |
| |
| If you do something useful with JustIce, I'd like to hear about it! |
| Enver Haase <ehaase@inf.fu-berlin.de> |