/**
* Copyright 2010 Jingjing Li.
*
* This file is part of jplot2d.
*
* jplot2d is free software: you can redistribute it and/or modify it
* under the terms of the GNU Lesser General Public License as
* published by the Free Software Foundation, either version 3 of the
* License, or any later version.
*
* jplot2d is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
* See the GNU General Lesser Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with jplot2d. If not, see .
*/
package org.jplot2d.env;
/**
* @author Jingjing Li
*
*/
public class BatchToken {
private int batchDepth;
private int[] batchSND;
/**
* @param batchDepth
* @param batchSND
* batch SN in depth array
*/
BatchToken(int batchDepth, int[] batchSND) {
this.batchDepth = batchDepth;
this.batchSND = batchSND;
}
boolean match(int batchDepth, int[] batchSND) {
if (this.batchDepth != batchDepth) {
return false;
} else {
for (int depth = 0; depth < batchDepth; depth++) {
if (this.batchSND[depth] != batchSND[depth]) {
return false;
}
}
return true;
}
}
public String toString() {
if (batchDepth == 0) {
throw new Error("Not in batch block.");
}
String result = "(" + batchSND[0];
for (int i = 1; i < batchDepth; i++) {
result += "-" + batchSND[i];
}
return result + ")";
}
}
Ads help maintain this website.