public class Version extends polyglot.main.Version
Version()
int
major()
minor()
java.lang.String
name()
patch_level()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Version()
public java.lang.String name()
public int major()
public int minor()
public int patch_level()