Interface PlainType

  • All Superinterfaces:
    ItemType, java.io.Serializable
    All Known Subinterfaces:
    AtomicType
    All Known Implementing Classes:
    BuiltInAtomicType, ExternalObjectType

    public interface PlainType
    extends ItemType
    A "plain type" is either an atomic type, or a union type that (a) imposes no restrictions other than those imposed by its member types, and (b) has exclusively plain types as its member types
    • Method Detail

      • isExternalType

        boolean isExternalType()
      • getPlainMemberTypes

        java.util.Set<PlainType> getPlainMemberTypes()
        Get the set of plain types that are subsumed by this type
        Returns:
        for an atomic type, the type itself; for a plain union type, the set of plain types in its transitive membership