Class Version


  • public class Version
    extends polyglot.main.Version
    Version information for jj extension
    • Constructor Detail

      • Version

        public Version()
    • Method Detail

      • name

        public 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