All Downloads are FREE. Search and download functionalities are using the official Maven repository.

me.tomassetti.symbolsolver.model.invokations.MethodUsage Maven / Gradle / Ivy

There is a newer version: 0.3.1
Show newest version
package me.tomassetti.symbolsolver.model.invokations;

import me.tomassetti.symbolsolver.model.declarations.MethodDeclaration;
import me.tomassetti.symbolsolver.model.declarations.TypeDeclaration;
import me.tomassetti.symbolsolver.model.resolution.TypeSolver;
import me.tomassetti.symbolsolver.model.typesystem.TypeUsage;

import java.util.ArrayList;
import java.util.LinkedList;
import java.util.List;

/**
 * @author Federico Tomassetti
 */
public class MethodUsage {
    private MethodDeclaration declaration;
    private List paramTypes = new ArrayList<>();
    private TypeUsage returnType;

    public MethodUsage(MethodDeclaration declaration, TypeSolver typeSolver) {
        this.declaration = declaration;
        for (int i = 0; i < declaration.getNoParams(); i++) {
            paramTypes.add(declaration.getParam(i).getType());
        }
        returnType = declaration.getReturnType();
    }

    public MethodUsage(MethodDeclaration declaration, List paramTypes, TypeUsage returnType) {
        this.declaration = declaration;
        this.paramTypes = paramTypes;
        this.returnType = returnType;
    }

    private static TypeUsage replaceNameParam(String name, TypeUsage newValue, TypeUsage typeToBeExamined) {
        /*if (typeToBeExamined.isTypeVariable()) {
            if (typeToBeExamined.describe().equals(name)) {
                return newValue;
            } else {
                return typeToBeExamined;
            }
        }
        int i = 0;

        return typeToBeExamined;*/
        return typeToBeExamined.replaceParam(name, newValue);
    }

    @Override
    public String toString() {
        return "MethodUsage{" +
                "declaration=" + declaration +
                ", paramTypes=" + paramTypes +
                '}';
    }

    public MethodDeclaration getDeclaration() {
        return declaration;
    }

    public String getName() {
        return declaration.getName();
    }

    public TypeDeclaration declaringType() {
        return declaration.declaringType();
    }

    public TypeUsage returnType() {
        return returnType;
    }

    public List getParamTypes() {
        return paramTypes;
    }

    public MethodUsage replaceParamType(int i, TypeUsage replaced) {
        if (paramTypes.get(i) == replaced) {
            return this;
        }
        List newParams = new LinkedList<>(paramTypes);
        newParams.set(i, replaced);
        return new MethodUsage(declaration, newParams, returnType);
    }

    public MethodUsage replaceReturnType(TypeUsage returnType) {
        if (returnType == this.returnType) {
            return this;
        } else {
            return new MethodUsage(declaration, paramTypes, returnType);
        }
    }

    public int getNoParams() {
        return paramTypes.size();
    }

    public TypeUsage getParamType(int i, TypeSolver typeSolver) {
        //TypeUsage typeUsage = declaration.getParam(i).getType(typeSolver);
        //return typeUsage;
        return paramTypes.get(i);
    }

    public MethodUsage replaceNameParam(String name, TypeUsage typeUsage) {
        if (typeUsage == null) {
            throw new IllegalArgumentException();
        }
        // TODO if the method declaration has a type param with that name ignore this call
        MethodUsage res = this;
        for (int i = 0; i < paramTypes.size(); i++) {
            TypeUsage originalParamType = paramTypes.get(i);
            TypeUsage newParamType = originalParamType.replaceParam(name, typeUsage);
            //TypeUsage newParamType = replaceNameParam(name, typeUsage, originalParamType);
            res = res.replaceParamType(i, newParamType);
        }
        res = res.replaceReturnType(replaceNameParam(name, typeUsage, res.returnType));
        return res;
    }

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy