Package dk.brics.jwig.analysis.jaive

Source Code of dk.brics.jwig.analysis.jaive.Plugging

package dk.brics.jwig.analysis.jaive;

import java.util.Set;

import soot.SootMethod;
import soot.Type;
import soot.jimple.AssignStmt;
import dk.brics.automaton.Automaton;
import dk.brics.jwig.analysis.graph.StateMachine.MethodStatementContainer;

public class Plugging {

    private final Set<Type> types;
    private final MethodStatementContainer container;
    private final Automaton names;

    public Plugging(AssignStmt statement, SootMethod method, Set<Type> types,
            Automaton automaton) {
        this.container = new MethodStatementContainer(method, statement);
        this.types = types;
        this.names = automaton;
    }

    /**
     * @return the names
     */
    public Automaton getNames() {
        return names;
    }

    /**
     * @return the container
     */
    public MethodStatementContainer getContainer() {
        return container;
    }

    /**
     * @return the types
     */
    public Set<Type> getTypes() {
        return types;
    }

    public AssignStmt getStmt() {
        return (AssignStmt) container.getStatement();
    }
}
TOP

Related Classes of dk.brics.jwig.analysis.jaive.Plugging

TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.