![JAR search and dependency download from the Maven repository](/logo.png)
com.io7m.jstructural.annotated.SAPartNumber Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of io7m-jstructural-core Show documentation
Show all versions of io7m-jstructural-core Show documentation
Java implementation of the structural document language (Core types)
/*
* Copyright © 2014 http://io7m.com
*
* Permission to use, copy, modify, and/or distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
* SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR
* IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/
package com.io7m.jstructural.annotated;
import com.io7m.jnull.Nullable;
import com.io7m.jranges.RangeCheck;
/**
* A part number.
*/
public final class SAPartNumber implements SASegmentNumber
{
private final int actual;
SAPartNumber(
final int in_actual)
{
this.actual =
(int) RangeCheck.checkIncludedIn(
in_actual,
"Part number",
RangeCheck.POSITIVE_INTEGER,
"Valid part number range");
}
@Override public boolean equals(
final @Nullable Object obj)
{
if (this == obj) {
return true;
}
if (obj == null) {
return false;
}
if (this.getClass() != obj.getClass()) {
return false;
}
final SAPartNumber other = (SAPartNumber) obj;
return this.actual == other.actual;
}
/**
* @return The actual part number
*/
public int getActual()
{
return this.actual;
}
@Override public int hashCode()
{
final int prime = 31;
int result = 1;
result = (prime * result) + this.actual;
return result;
}
@Override public T segmentNumberAccept(
final SASegmentNumberVisitor v)
throws Exception
{
return v.visitPartNumber(this);
}
@Override public String toString()
{
final StringBuilder builder = new StringBuilder();
builder.append("[SAPartNumber ");
builder.append(this.actual);
builder.append("]");
final String r = builder.toString();
assert r != null;
return r;
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy