Class AstTypeInference

All Implemented Interfaces:
FixedPointConstants, IFixedPointSolver<TypeVariable>, VerboseAction
Direct Known Subclasses:
AstJavaTypeInference, JSTypeInference

public abstract class AstTypeInference extends TypeInference
  • Constructor Details

    • AstTypeInference

      public AstTypeInference(IR ir, TypeAbstraction booleanType, boolean doPrimitives)
  • Method Details