public class ProverName extends java.lang.Object implements java.lang.Comparable<ProverName>
Constructor and Description |
---|
ProverName(java.lang.String properNoun)
Constructs a prover version object only specifying the prover name;
prover_name cannot be null. |
ProverName(java.lang.String properNoun,
java.lang.String version)
Constructs a prover version object with the specified properties;
prover_name cannot be null. |
ProverName(java.lang.String properNoun,
java.lang.String version,
java.lang.String variant)
Constructs a prover version object with the specified properties;
prover_name cannot be null. |
ProverName(java.lang.String properNoun,
java.lang.String version,
java.lang.String variant,
java.lang.String description)
Constructs a prover version object with the specified properties;
prover_name cannot be null. |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(ProverName o) |
boolean |
equals(java.lang.Object obj)
Two objects of this class are equal if their proper noun, version and
variant.
|
java.lang.String |
getDescription() |
java.lang.String |
getDetailedName()
Returns the string done as follows:
|
java.lang.String |
getProperNoun() |
java.lang.String |
getVariant() |
java.lang.String |
getVersion() |
int |
hashCode() |
void |
setDescription(java.lang.String description) |
void |
setProperNoun(java.lang.String properNoun) |
void |
setVariant(java.lang.String variant) |
void |
setVersion(java.lang.String version) |
java.lang.String |
toString() |
public ProverName(java.lang.String properNoun)
prover_name
cannot be null.properNoun
- the name of the proverpublic ProverName(java.lang.String properNoun, java.lang.String version)
prover_name
cannot be null. version
can be null.properNoun
- the name of the proverversion
- the prover version numberpublic ProverName(java.lang.String properNoun, java.lang.String version, java.lang.String variant)
prover_name
cannot be null. version
and
variant
can be null.properNoun
- the name of the proverversion
- the prover version numbervariant
- a string describing the variant of the proverpublic ProverName(java.lang.String properNoun, java.lang.String version, java.lang.String variant, java.lang.String description)
prover_name
cannot be null. version
and
variant
can be null.properNoun
- the name of the proverversion
- the prover version numbervariant
- a string describing the variant of the proverdescription
- a descriptionof the proverpublic java.lang.String getProperNoun()
public java.lang.String getVersion()
public java.lang.String getVariant()
public java.lang.String getDescription()
public java.lang.String getDetailedName()
proper_noun version (variant)
version
and (variant)
are present only if have
been specified.public void setProperNoun(java.lang.String properNoun)
properNoun
- the properNoun to setpublic void setVersion(java.lang.String version)
version
- the version to setpublic void setVariant(java.lang.String variant)
variant
- the variant to setpublic void setDescription(java.lang.String description)
description
- the description to setpublic int compareTo(ProverName o)
compareTo
in interface java.lang.Comparable<ProverName>
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
Object.equals(java.lang.Object)
public java.lang.String toString()
toString
in class java.lang.Object