Class LTSminVersion
- java.lang.Object
-
- net.automatalib.modelchecker.ltsmin.LTSminVersion
-
public final class LTSminVersion extends Object
A class for describing LTSmin version.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(@Nullable Object o)
int
hashCode()
static LTSminVersion
of(int major, int minor, int patch)
Returns anLTSminVersion
instance described by the provided versions.static LTSminVersion
parse(String version)
Parses an LTSmin version string and transforms it into anLTSminVersion
instance.boolean
supports(LTSminVersion required)
Checks whetherthis
version supports the given required version.String
toString()
-
-
-
Method Detail
-
of
public static LTSminVersion of(int major, int minor, int patch)
Returns anLTSminVersion
instance described by the provided versions.- Parameters:
major
- the major versionminor
- the minor versionpatch
- 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 anLTSminVersion
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 whetherthis
version supports the given required version.- Parameters:
required
- the required version that needs to be supported- Returns:
true
, ifthis
version supports the given required version,false
otherwise.
-
-