package de.jplag.text; import java.io.Serial; import de.jplag.Token; public class TextToken extends Token { @Serial private static final long serialVersionUID = 4301179216570538972L; private static int getSerial(String text, Parser parser) { text = text.toLowerCase(); Integer serial = parser.table.get(text); if (serial == null) { serial = parser.serial; if (parser.serial == Integer.MAX_VALUE) parser.outOfSerials(); else parser.serial++; parser.table.put(text, serial); } return serial; } private String text; public TextToken(int type, String file, Parser parser) { super(type, file, -1, -1, -1); } public TextToken(String text, String file, int line, int column, int length, Parser parser) { super(-1, file, line, column, length); this.type = getSerial(text, parser); this.text = text.toLowerCase(); } public String getText() { return this.text; } @Override protected String type2string() { return getText(); } }