Class ExpressionCompatibleWithType


  • public class ExpressionCompatibleWithType
    extends ConstraintFormula
    An expression is compatible in a loose invocation context with type T
    • Method Detail

      • reduce

        public ConstraintFormula.ReductionResult reduce​(BoundSet currentBoundSet)
        Description copied from class: ConstraintFormula
        A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set. Initially, the current bound set is empty. ii) Further constraint formulas, which are to be reduced recursively.
        Specified by:
        reduce in class ConstraintFormula
      • getResultExpressions

        private java.util.List<Expression> getResultExpressions​(BlockStmt blockStmt)
      • getAllReturnExpressions

        private java.util.List<Expression> getAllReturnExpressions​(BlockStmt blockStmt)
      • isValueCompatibleBlock

        private boolean isValueCompatibleBlock​(Statement statement)
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • replaceTypeVariablesWithInferenceVariables

        private MethodType replaceTypeVariablesWithInferenceVariables​(MethodType methodType)