All Known Subinterfaces:

ArrayType, BooleanType, NumericType, PointerType, StringType, UnitType

All Known Implementing Classes:

BoolType, IntType, NullType, StringType, TypeTokenType, Untyped, VoidType
```
public interface Type
```
Type interface. Any instance of a concrete type, instance of Type, should be unique and implemented following the singleton design pattern (see for instance Untyped class).

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`java.util.Collection<Type>`	`allInstances()`	Yields all possible instances of this type, including itself.
`default ArrayType`	`asArrayType()`	Returns this type casted as a `ArrayType`, only if `isArrayType()` yields `true`.
`default BooleanType`	`asBooleanType()`	Returns this type casted as a `BooleanType`, only if `isBooleanType()` yields `true`.
`default NullType`	`asNullType()`	Returns this type casted as a `NullType`, only if `isNullType()` yields `true`.
`default NumericType`	`asNumericType()`	Returns this type casted as a `NumericType`, only if `isNumericType()` yields `true`.
`default PointerType`	`asPointerType()`	Returns this type casted as a `PointerType`, only if `isPointerType()` yields `true`.
`default StringType`	`asStringType()`	Returns this type casted as a `StringType`, only if `isStringType()` yields `true`.
`default TypeTokenType`	`asTypeTokenType()`	Returns this type casted as a `TypeTokenType`, only if `isTypeTokenType()` yields `true`.
`default UnitType`	`asUnitType()`	Returns this type casted as a `UnitType`, only if `isUnitType()` yields `true`.
`default Untyped`	`asUntyped()`	Returns this type casted as an `Untyped`, only if `isUntyped()` yields `true`.
`default VoidType`	`asVoidType()`	Returns this type casted as a `VoidType`, only if `isVoidType()` yields `true`.
`boolean`	`canBeAssignedTo(Type other)`	Determines if the type represented by this `Type` object is either the same as, or is a subtype of, the type represented by `other`.
`Type`	`commonSupertype(Type other)`	Yields the most specific common supertype between this `Type` and the given one.
`default boolean`	`isArrayType()`	Yields `true` if and only if this type is an instance of `ArrayType`.
`default boolean`	`isBooleanType()`	Yields `true` if and only if this type is an instance of `BooleanType`.
`default boolean`	`isNullType()`	Yields `true` if and only if this type is an instance of `NullType`.
`default boolean`	`isNumericType()`	Yields `true` if and only if this type is an instance of `NumericType`.
`default boolean`	`isPointerType()`	Yields `true` if and only if this type is an instance of `PointerType`.
`default boolean`	`isStringType()`	Yields `true` if and only if this type is an instance of `StringType`.
`default boolean`	`isTypeTokenType()`	Yields `true` if and only if this type is an instance of `TypeTokenType`.
`default boolean`	`isUnitType()`	Yields `true` if and only if this type is an instance of `UnitType`.
`default boolean`	`isUntyped()`	Yields `true` if and only if this type is an instance of `Untyped`.
`default boolean`	`isVoidType()`	Yields `true` if and only if this type is an instance of `VoidType`.

- Method Detail
  - isNumericType
```
default boolean isNumericType()
```
    Yields true if and only if this type is an instance of NumericType.
    
    Returns:
    
    true if that condition holds
  - asNumericType
```
default NumericType asNumericType()
```
    Returns this type casted as a NumericType, only if isNumericType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as NumericType, or null
  - isBooleanType
```
default boolean isBooleanType()
```
    Yields true if and only if this type is an instance of BooleanType.
    
    Returns:
    
    true if that condition holds
  - asBooleanType
```
default BooleanType asBooleanType()
```
    Returns this type casted as a BooleanType, only if isBooleanType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as BooleanType, or null
  - isStringType
```
default boolean isStringType()
```
    Yields true if and only if this type is an instance of StringType.
    
    Returns:
    
    true if that condition holds
  - asStringType
```
default StringType asStringType()
```
    Returns this type casted as a StringType, only if isStringType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as StringType, or null
  - isUntyped
```
default boolean isUntyped()
```
    Yields true if and only if this type is an instance of Untyped.
    
    Returns:
    
    true if that condition holds
  - asUntyped
```
default Untyped asUntyped()
```
    Returns this type casted as an Untyped, only if isUntyped() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as Untyped, or null
  - isVoidType
```
default boolean isVoidType()
```
    Yields true if and only if this type is an instance of VoidType.
    
    Returns:
    
    true if that condition holds
  - asVoidType
```
default VoidType asVoidType()
```
    Returns this type casted as a VoidType, only if isVoidType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as VoidType, or null
  - isPointerType
```
default boolean isPointerType()
```
    Yields true if and only if this type is an instance of PointerType.
    
    Returns:
    
    true if that condition holds
  - asPointerType
```
default PointerType asPointerType()
```
    Returns this type casted as a PointerType, only if isPointerType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as PointerType, or null
  - isArrayType
```
default boolean isArrayType()
```
    Yields true if and only if this type is an instance of ArrayType.
    
    Returns:
    
    true if that condition holds
  - asArrayType
```
default ArrayType asArrayType()
```
    Returns this type casted as a ArrayType, only if isArrayType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as ArrayType, or null
  - isNullType
```
default boolean isNullType()
```
    Yields true if and only if this type is an instance of NullType.
    
    Returns:
    
    true if that condition holds
  - asNullType
```
default NullType asNullType()
```
    Returns this type casted as a NullType, only if isNullType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as NullType, or null
  - isUnitType
```
default boolean isUnitType()
```
    Yields true if and only if this type is an instance of UnitType.
    
    Returns:
    
    true if that condition holds
  - asUnitType
```
default UnitType asUnitType()
```
    Returns this type casted as a UnitType, only if isUnitType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as UnitType, or null
  - isTypeTokenType
```
default boolean isTypeTokenType()
```
    Yields true if and only if this type is an instance of TypeTokenType.
    
    Returns:
    
    true if that condition holds
  - asTypeTokenType
```
default TypeTokenType asTypeTokenType()
```
    Returns this type casted as a TypeTokenType, only if isTypeTokenType() yields true. Otherwise, this method returns null.
    
    Returns:
    
    this type casted as TypeTokenType, or null
  - canBeAssignedTo
```
boolean canBeAssignedTo(Type other)
```
    Determines if the type represented by this Type object is either the same as, or is a subtype of, the type represented by other. It returns true if so, and returns false otherwise.
    
    Parameters:
    
    other - the other type
    
    Returns:
    
    true if that condition holds
  - commonSupertype
```
Type commonSupertype(Type other)
```
    Yields the most specific common supertype between this Type and the given one. If no common supertype exists, this method returns Untyped.INSTANCE.
    
    Parameters:
    
    other - the other type
    
    Returns:
    
    the most specific common supertype between this and other
  - allInstances
```
java.util.Collection<Type> allInstances()
```
    Yields all possible instances of this type, including itself.
    
    Returns:
    
    the possible instances

Interface Type

Method Summary

Method Detail

isNumericType

asNumericType

isBooleanType

asBooleanType

isStringType

asStringType

isUntyped

asUntyped

isVoidType

asVoidType

isPointerType

asPointerType

isArrayType

asArrayType

isNullType

asNullType

isUnitType

asUnitType

isTypeTokenType

asTypeTokenType

canBeAssignedTo

commonSupertype

allInstances