org.ggp.base.util.gdl.scrambler.MappingGdlScrambler Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation
A modified version of the GGP-Base library for Alloy.
The newest version!
package org.ggp.base.util.gdl.scrambler;

import java.util.Collections;
import java.util.HashMap;
import java.util.Map;
import java.util.Random;
import java.util.Stack;

import org.ggp.base.util.gdl.factory.GdlFactory;
import org.ggp.base.util.gdl.factory.exceptions.GdlFormatException;
import org.ggp.base.util.gdl.grammar.Gdl;
import org.ggp.base.util.gdl.grammar.GdlConstant;
import org.ggp.base.util.gdl.grammar.GdlPool;
import org.ggp.base.util.gdl.grammar.GdlVariable;
import org.ggp.base.util.symbol.factory.exceptions.SymbolFormatException;

public class MappingGdlScrambler implements GdlScrambler {
    private Map scrambleMapping;
    private Map unscrambleMapping;
    private Random random;

    private int scrambledPrefix;
    private Stack scrambledTokens;

    public MappingGdlScrambler(Random theRandom) {
        random = theRandom;
        scrambleMapping = new HashMap();
        unscrambleMapping = new HashMap();

        scrambledPrefix = 0;
        scrambledTokens = new Stack();
        for (String word : WordList.words) {
            scrambledTokens.add(word);
        }
        Collections.shuffle(scrambledTokens, random);
    }

    private class ScramblingRenderer extends GdlRenderer {
        @Override
        protected String renderConstant(GdlConstant constant) {
            return scrambleWord(constant.getValue());
        }
        @Override
        protected String renderVariable(GdlVariable variable) {
            return scrambleWord(variable.toString());
        }
    }
    private class UnscramblingRenderer extends GdlRenderer {
        @Override
        protected String renderConstant(GdlConstant constant) {
            return unscrambleWord(constant.getValue());
        }
        @Override
        protected String renderVariable(GdlVariable variable) {
            return unscrambleWord(variable.toString());
        }
    }

    @Override
    public String scramble(Gdl x) {
        return new ScramblingRenderer().renderGdl(x);
    }

    @Override
    public Gdl unscramble(String x) throws SymbolFormatException, GdlFormatException {
        return GdlFactory.create(new UnscramblingRenderer().renderGdl(GdlFactory.create(x)));
    }

    @Override
    public boolean scrambles() {
        return true;
    }

    private String scrambleWord(String realWord) {
        if (!shouldMap(realWord)) {
            return realWord;
        }
        if (!scrambleMapping.containsKey(realWord)) {
            String fakeWord = getRandomWord();
            if (realWord.startsWith("?")) {
                fakeWord = "?" + fakeWord;
            }
            scrambleMapping.put(realWord, fakeWord);
            unscrambleMapping.put(fakeWord, realWord);
        }
        return scrambleMapping.get(realWord);
    }

    private String unscrambleWord(String fakeWord) {
        if (!shouldMap(fakeWord)) {
            return fakeWord;
        }
        fakeWord = fakeWord.toLowerCase();
        if (!unscrambleMapping.containsKey(fakeWord)) {
            return fakeWord;
        }
        return unscrambleMapping.get(fakeWord);
    }

    private String getRandomWord() {
        if (scrambledTokens.isEmpty()) {
            for (String word : WordList.words) {
                scrambledTokens.add(word + scrambledPrefix);
            }
            Collections.shuffle(scrambledTokens, random);
            scrambledPrefix++;
        }
        return scrambledTokens.pop();
    }

    private static boolean shouldMap(String token) {
        if (GdlPool.KEYWORDS.contains(token.toLowerCase())) {
            return false;
        }
        try {
            Integer.parseInt(token);
            return false;
        } catch (NumberFormatException e) {
            ;
        }
        return true;
    }
}