ExampleReplacement.java

Go to the documentation of this file.

import java.io.*;

public class ExampleReplacement 
    extends InputReplacement implements ReplacementFactory {
    char character;

    public String getInputInfo() {
        char ch = character; if (ch==0) ch = 'x';
        return ""+ch+ch+ch+ch+ch+
            "… (n times)";
    }
    public String getReplacementInfo() {
        char ch = character; if (ch==0) ch = 'x';
        return ch+"ⁿ";
    }
    public String[] isContinuationOf(String input) {
        char ch = character; if (ch==0) ch = input.charAt(0);
        int len = input.length();
        for (int i=0; i<len; i++)
            if (input.charAt(i)!=ch) return null;
        return new String[] { input+ch+"..." };
    }
    public String replacesPrefixOf(String input) {
        char ch = character; if (ch==0) ch = input.charAt(0);
        int len = input.length();
        for (int i=0; i<len; i++)
            if (input.charAt(i)!=ch) {
                if (i<=1) return null;
                return input.substring(0,i);
            }
        if (len<=1) return null;
        return input;
    }
    private final char digits[] = {
        '⁰', '¹', '²', '³', '⁴', '⁵', '⁶', '⁷', '⁸', '⁹' };
    public String getReplacement(String input) {
        char ch = character; if (ch==0) ch = input.charAt(0);
        int len = input.length();
        int replLen;
        for (replLen=0; replLen<len; replLen++)
            if (input.charAt(replLen)!=ch)
                break;
        StringBuffer result = new StringBuffer();
        result.append(ch);
        result.append(replLen);
        len = result.length();
        for (int i=1; i<len; i++)
            result.setCharAt(i,digits[result.charAt(i)-'0']);
        return result.toString();
    }

    public ExampleReplacement(BufferedReader config) 
        throws IOException, FileFormatException {
        String charLine = config.readLine();
        if (charLine==null)
            throw new FileFormatException
                ("ExampleReplacement (in =JAVAREPLACE) needs a line containing a character");
        if (charLine.equals("any")) {
            character = 0;
        } else {
            if (charLine.length()!=1)
                throw new FileFormatException
                    ("in ExampleReplacement (in =JAVAREPLACE): config line does not contain exactly one character");
            character = charLine.charAt(0);
        }
    }
}

---