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.Version
public int major()
major
in class polyglot.main.Version
public int minor()
minor
in class polyglot.main.Version
public int patch_level()
patch_level
in class polyglot.main.Version
public java.lang.String toString()
toString
in class polyglot.main.Version