/*
* This file is part of lanterna (http://code.google.com/p/lanterna/).
*
* lanterna 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
* (at your option) any later version.
*
* This program 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 Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program. If not, see .
*
* Copyright (C) 2010-2015 Martin
*/
package com.googlecode.lanterna.input;
import com.googlecode.lanterna.input.CharacterPattern.Matching;
import java.io.BufferedReader;
import java.io.IOException;
import java.io.Reader;
import java.util.*;
/**
* Used to read the input stream character by character and generate {@code Key} objects to be put in the input queue.
*
* @author Martin, Andreas
*/
public class InputDecoder {
private final Reader source;
private final List bytePatterns;
private final List currentMatching;
private boolean seenEOF;
private int timeoutUnits;
/**
* Creates a new input decoder using a specified Reader as the source to read characters from
* @param source Reader to read characters from, will be wrapped by a BufferedReader
*/
public InputDecoder(final Reader source) {
this.source = new BufferedReader(source);
this.bytePatterns = new ArrayList();
this.currentMatching = new ArrayList();
this.seenEOF = false;
this.timeoutUnits = 0; // default is no wait at all
}
/**
* Adds another key decoding profile to this InputDecoder, which means all patterns from the profile will be used
* when decoding input.
* @param profile Profile to add
*/
public void addProfile(KeyDecodingProfile profile) {
for (CharacterPattern pattern : profile.getPatterns()) {
synchronized(bytePatterns) {
//If an equivalent pattern already exists, remove it first
bytePatterns.remove(pattern);
bytePatterns.add(pattern);
}
}
}
/**
* Returns a collection of all patterns registered in this InputDecoder.
* @return Collection of patterns in the InputDecoder
*/
public synchronized Collection getPatterns() {
synchronized(bytePatterns) {
return new ArrayList(bytePatterns);
}
}
/**
* Removes one pattern from the list of patterns in this InputDecoder
* @param pattern Pattern to remove
* @return {@code true} if the supplied pattern was found and was removed, otherwise {@code false}
*/
public boolean removePattern(CharacterPattern pattern) {
synchronized(bytePatterns) {
return bytePatterns.remove(pattern);
}
}
/**
* Sets the number of 1/4-second units for how long to try to get further input
* to complete an escape-sequence for a special Key.
*
* Negative numbers are mapped to 0 (no wait at all), and unreasonably high
* values are mapped to a maximum of 240 (1 minute).
*/
public void setTimeoutUnits(int units) {
timeoutUnits = (units < 0) ? 0 :
(units > 240) ? 240 :
units;
}
/**
* queries the current timeoutUnits value. One unit is 1/4 second.
* @return The timeout this InputDecoder will use when waiting for additional input, in units of 1/4 seconds
*/
public int getTimeoutUnits() {
return timeoutUnits;
}
/**
* Reads and decodes the next key stroke from the input stream
* @return Key stroke read from the input stream, or {@code null} if none
* @throws IOException If there was an I/O error when reading from the input stream
*/
public synchronized KeyStroke getNextCharacter(boolean blockingIO) throws IOException {
KeyStroke bestMatch = null;
int bestLen = 0;
int curLen = 0;
while(true) {
if ( curLen < currentMatching.size() ) {
// (re-)consume characters previously read:
curLen++;
}
else {
// If we already have a bestMatch but a chance for a longer match
// then we poll for the configured number of timeout units:
// It would be much better, if we could just read with a timeout,
// but lacking that, we wait 1/4s units and check for readiness.
if (bestMatch != null) {
int timeout = getTimeoutUnits();
while (timeout > 0 && ! source.ready() ) {
try {
timeout--; Thread.sleep(250);
} catch (InterruptedException e) { timeout = 0; }
}
}
// if input is available, we can just read a char without waiting,
// otherwise, for readInput() with no bestMatch found yet,
// we have to wait blocking for more input:
if ( source.ready() || ( blockingIO && bestMatch == null ) ) {
int readChar = source.read();
if (readChar == -1) {
seenEOF = true;
if(currentMatching.isEmpty()) {
return new KeyStroke(KeyType.EOF);
}
break;
}
currentMatching.add( (char)readChar );
curLen++;
} else { // no more available input at this time.
// already found something:
if (bestMatch != null) {
break; // it's something...
}
// otherwise: no KeyStroke yet
return null;
}
}
List curSub = currentMatching.subList(0, curLen);
Matching matching = getBestMatch( curSub );
// fullMatch found...
if (matching.fullMatch != null) {
bestMatch = matching.fullMatch;
bestLen = curLen;
if (! matching.partialMatch) {
// that match and no more
break;
} else {
// that match, but maybe more
continue;
}
}
// No match found yet, but there's still potential...
else if ( matching.partialMatch ) {
continue;
}
// no longer match possible at this point:
else {
if (bestMatch != null ) {
// there was already a previous full-match, use it:
break;
} else { // invalid input!
// remove the whole fail and re-try finding a KeyStroke...
curSub.clear(); // or just 1 char? currentMatching.remove(0);
curLen = 0;
continue;
}
}
}
//Did we find anything? Otherwise return null
if(bestMatch == null) {
if(seenEOF) {
currentMatching.clear();
return new KeyStroke(KeyType.EOF);
}
return null;
}
List bestSub = currentMatching.subList(0, bestLen );
bestSub.clear(); // remove matched characters from input
return bestMatch;
}
private Matching getBestMatch(List characterSequence) {
boolean partialMatch = false;
KeyStroke bestMatch = null;
synchronized(bytePatterns) {
for(CharacterPattern pattern : bytePatterns) {
Matching res = pattern.match(characterSequence);
if (res != null) {
if (res.partialMatch) { partialMatch = true; }
if (res.fullMatch != null) { bestMatch = res.fullMatch; }
}
}
}
return new Matching(partialMatch, bestMatch);
}
}