Package pascal.taie.analysis.pta.core.solver

Class PropagateTypes

java.lang.Object
pascal.taie.analysis.pta.core.solver.PropagateTypes
public class PropagateTypes extends Object
Checks whether propagation of objects is allowed. The decision is made based on the type of the relevant expression and the allowed types given in the constructor.

  • Constructor Details

    • PropagateTypes

      public PropagateTypes(List<String> types, TypeSystem typeSystem)
      Elements of types can be:
      • "reference": allow reference types
      • "null" (or null): allow null type
      • various primitive types: allow the corresponding primitive types

  • Method Details

    • isAllowed

      public boolean isAllowed(Type type)

    • isAllowed

      public boolean isAllowed(Exp exp)

    • toString

      public String toString()
      Overrides:
      toString in class Object