diff --git a/src/main/gov/nasa/jpf/vm/ClassFileContainer.java b/src/main/gov/nasa/jpf/vm/ClassFileContainer.java index c9c7d6ad..8a25c750 100644 --- a/src/main/gov/nasa/jpf/vm/ClassFileContainer.java +++ b/src/main/gov/nasa/jpf/vm/ClassFileContainer.java @@ -35,6 +35,13 @@ public String getName() { return name; } + /** + * @return the path of the container + * eg :- + * /path/to/root/dir/that/contains/class/files + * + * jar:file:/path/to/jpf-classes.jar!/ + */ public String getURL() { return url; }