Class TypeImpl_primitive

    • Constructor Detail

      • TypeImpl_primitive

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

      • isPrimitive

        public boolean isPrimitive()
        Description copied from interface: Type
        Check if the type is one of the primitive types.
        Specified by:
        isPrimitive in interface Type
        Overrides:
        isPrimitive in class TypeImpl
        Returns:
        true iff type is a primitive type.
        See Also:
        Type.isPrimitive()
      • subsumes

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