crypto.typestate.TypestateFunction Maven / Gradle / Ivy

Go to download
package crypto.typestate;

import boomerang.WeightedForwardQuery;
import boomerang.scene.ControlFlowGraph;
import java.util.Collection;
import java.util.Collections;
import typestate.TransitionFunction;
import typestate.finiteautomata.MatcherTransition;
import typestate.finiteautomata.State;
import typestate.finiteautomata.TypeStateMachineWeightFunctions;

public class TypestateFunction extends TypeStateMachineWeightFunctions {

    public TypestateFunction(Collection transitions) {
        for (MatcherTransition transition : transitions) {
            this.addTransition(transition);
        }
    }

    @Override
    public Collection> generateSeed(
            ControlFlowGraph.Edge stmt) {
        return Collections.emptySet();
    }

    @Override
    protected State initialState() {
        throw new UnsupportedOperationException("This method should never be called.");
    }
}