public class Version
extends polyglot.main.Version
| Constructor and Description |
|---|
Version() |
| Modifier and Type | Method and Description |
|---|---|
int |
major() |
int |
minor() |
java.lang.String |
name() |
int |
patch_level() |
java.lang.String |
toString() |
public java.lang.String name()
name in class polyglot.main.Versionpublic int major()
major in class polyglot.main.Versionpublic int minor()
minor in class polyglot.main.Versionpublic int patch_level()
patch_level in class polyglot.main.Versionpublic java.lang.String toString()
toString in class polyglot.main.Version