abc.ltl
Class Version

java.lang.Object
  polyglot.main.Version
      abc.ltl.Version

public class Version
extends polyglot.main.Version

Version information for ltl extension

Author:

Eric Bodden

Constructor Summary

Version()

Method Summary

int	major()
int	minor()
java.lang.String	name()
int	patch_level()
java.lang.String	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()

major

public int major()

minor

public int minor()

patch_level

public int patch_level()

toString

public java.lang.String toString()