public class Version
extends polyglot.main.Version
Constructor and Description |
---|
Version() |
Modifier and Type | Method and Description |
---|---|
int |
major() |
int |
minor() |
String |
name() |
int |
patch_level() |
public 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