2019-08-18 18:00:40 -04:00
|
|
|
/*----------------------------------------------------------------------------*/
|
|
|
|
|
/* Copyright (c) 2019 FIRST. All Rights Reserved. */
|
|
|
|
|
/* Open Source Software - may be modified and shared by FRC teams. The code */
|
|
|
|
|
/* must be accompanied by the FIRST BSD license file in the root directory of */
|
|
|
|
|
/* the project. */
|
|
|
|
|
/*----------------------------------------------------------------------------*/
|
|
|
|
|
|
|
|
|
|
package edu.wpi.first.wpiutil.math;
|
|
|
|
|
|
2019-08-20 21:03:44 -07:00
|
|
|
//CHECKSTYLE.OFF: ImportOrder
|
|
|
|
|
{{REPLACEWITHIMPORTS}}
|
|
|
|
|
//CHECKSTYLE.ON
|
2019-08-18 18:00:40 -04:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* A natural number expressed as a java class.
|
|
|
|
|
* The counterpart to {@link Num} that should be used as a concrete value.
|
|
|
|
|
*
|
|
|
|
|
* @param <T> The {@link Num} this represents.
|
|
|
|
|
*/
|
|
|
|
|
@SuppressWarnings({"MethodName", "unused", "PMD.TooManyMethods"})
|
|
|
|
|
public interface Nat<T extends Num> {
|
|
|
|
|
/**
|
|
|
|
|
* The number this interface represents.
|
|
|
|
|
*
|
|
|
|
|
* @return The number backing this value.
|
|
|
|
|
*/
|
|
|
|
|
int getNum();
|