Package net.automatalib.modelchecker.ltsmin

Class LTSminVersion

java.lang.Object

net.automatalib.modelchecker.ltsmin.LTSminVersion

public final class LTSminVersion
extends Object

A class for describing LTSmin version.

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable Object o)
int	hashCode()
static LTSminVersion	of(int major, int minor, int patch)	Returns an LTSminVersion instance described by the provided versions.
static LTSminVersion	parse(String version)	Parses an LTSmin version string and transforms it into an LTSminVersion instance.
boolean	supports(LTSminVersion required)	Checks whether this version supports the given required version.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

of

public static LTSminVersion of(int major,
                               int minor,
                               int patch)

Returns an LTSminVersion instance described by the provided versions.

Parameters:

major - the major version

minor - the minor version

patch - the patch version

Returns:

A LTSminVersion instance described by the provided versions.

parse

public static LTSminVersion parse(String version)

Parses an LTSmin version string and transforms it into an LTSminVersion instance. If the version string cannot be parsed, this method returns a fallback version described by "v0.0.0".

Parameters:

version - the version string to parse.

Returns:

A LTSminVersion representation of the provided version

supports

public boolean supports(LTSminVersion required)

Checks whether this version supports the given required version.

Parameters:

required - the required version that needs to be supported

Returns:

true, if this version supports the given required version, false otherwise.

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(@Nullable Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object