Class TypeImpl_string

    • Constructor Detail

      • TypeImpl_string

        public TypeImpl_string​(java.lang.String name,
                               TypeSystemImpl tsi,
                               TypeImpl supertype)
      • TypeImpl_string

        public TypeImpl_string​(java.lang.String name,
                               TypeSystemImpl tsi,
                               TypeImpl supertype,
                               java.lang.Class<?> javaType)
    • Method Detail

      • subsumes

        public boolean subsumes​(TypeImpl ti)
        Overrides:
        subsumes in class TypeImpl_primitive
        Parameters:
        ti - the subtype to check
        Returns:
        true if this type subsumes the subtype (is equal to or a supertype of the subtype)