| /*----------------------------------------------------------------------------*/ |
| /* 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; |
| |
| //CHECKSTYLE.OFF: ImportOrder |
| {{REPLACEWITHIMPORTS}} |
| //CHECKSTYLE.ON |
| |
| /** |
| * 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(); |