jif
Class Version

java.lang.Object
  polyglot.main.Version
      jif.Version

public class Version
extends polyglot.main.Version

Constructor Summary

Version()

Method Summary

int	major()
int	minor()
java.lang.String	name()
int	patch_level()

Methods inherited from class polyglot.main.Version

toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Version

public Version()

Method Detail

name

public java.lang.String name()

Specified by:

name in class polyglot.main.Version

major

public int major()

Specified by:

major in class polyglot.main.Version

minor

public int minor()

Specified by:

minor in class polyglot.main.Version

patch_level

public int patch_level()

Specified by:

patch_level in class polyglot.main.Version