Class TypeSameAsType


  • public class TypeSameAsType
    extends ConstraintFormula
    A type S is the same as a type T (ยง4.3.4), or a type argument S is the same as type argument T
    Author:
    Federico Tomassetti
    • Constructor Summary

      Constructors 
      Constructor Description
      TypeSameAsType​(com.github.javaparser.resolution.types.ResolvedType s, com.github.javaparser.resolution.types.ResolvedType t)  
    • Constructor Detail

      • TypeSameAsType

        public TypeSameAsType​(com.github.javaparser.resolution.types.ResolvedType s,
                              com.github.javaparser.resolution.types.ResolvedType 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
      • 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