java.lang.Object
- org.perfectable.introspection.type.TypeView
- - org.perfectable.introspection.type.ArrayTypeView

public final class ArrayTypeView
extends TypeView

TypeView that handles GenericArrayType.

Nested Class Summary
- Nested classes/interfaces inherited from class org.perfectable.introspection.type.TypeView
  TypeView.PartialVisitor<T>, TypeView.Visitor<T>

Field Summary

Fields
Modifier and Type Field Description

protected T type

Method Summary

All Methods Static Methods Instance Methods Concrete Methods Deprecated Methods
Modifier and Type	Method	Description
`ArrayTypeView`	`asArray()`	Deprecated. the type system already knows this is a array type, and this call does not change the type
`ClassView<?>`	`asClass()`	Try to cast or convert wrapped type to `Class`.
`ParameterizedTypeView`	`asParameterized()`	Try to cast or convert wrapped type to `ParameterizedType`.
`TypeVariableView<?>`	`asVariable()`	Deprecated. the type system already knows this is a array type, and this call will fail
`WildcardTypeView`	`asWildcard()`	Deprecated. the type system already knows this is a array type, and this call will fail
`TypeView`	`component()`	Extracts array component type.
`boolean`	`equals(Object obj)`
`Class<?>`	`erasure()`	Finds exact class that would be erasure of wrapped type.
`int`	`hashCode()`
`boolean`	`isSubTypeOf(TypeView other)`	Tests if type wrapped in this view is subtype of the provided one.
`static ArrayTypeView`	`of(GenericArrayType genericArray)`	Creates view over provided type.
`ArrayTypeView`	`resolve(Type other)`	Create view that has variable substitutions copied from provided.
`ArrayTypeView`	`resolve(TypeView other)`	Create view that has variable substitutions copied from provided.
`String`	`toString()`
`T`	`unwrap()`	Extracts native type from this view.
`<T> T`	`visit(TypeView.Visitor<T> visitor)`	Visitor patter method dispatching method.

Methods inherited from class org.perfectable.introspection.type.TypeView
isInstance, isProperSubtypeOf, isProperSubtypeOf, isProperSupertypeOf, isProperSupertypeOf, isSubTypeOf, isSuperTypeOf, isSuperTypeOf, of, of, of, of, of, ofParameterOf, ofTypeOf, ofTypeParameterOf

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - type
```
protected final T extends Type type
```
- Method Detail
  - of
```
public static ArrayTypeView of(GenericArrayType genericArray)
```
    Creates view over provided type.
    
    Parameters:
    
    genericArray - construct to wrap
    
    Returns:
    
    view wrapping specified type
  - erasure
```
public Class<?> erasure()
```
    Description copied from class: TypeView
    Finds exact class that would be erasure of wrapped type.
    This method is implemented according to JSL section 4.6 with following extensions:
    
    Erasure of wildcard type is erasure of its leftmost upper bound, or Object if there isn't one
    
    These extensions are needed, because these types are cannot be used in declaration, but can be obtained by reflections.
    Specified by:
    
    erasure in class TypeView
    
    Returns:
    
    erasure of wrapped type
  - component
```
public TypeView component()
```
    Extracts array component type.
    In essence, if array is of type T[] this method returns T.
    
    Returns:
    
    array component type.
  - asParameterized
```
public ParameterizedTypeView asParameterized()
```
    Try to cast or convert wrapped type to ParameterizedType.
    This method is useful if you know that underlying type is ParameterizedType, then this is just a casting.
    This can also be done for regular classes, ClassView, as non-generic class can be treated as generic class with zero type parameters. It also works for class-represented arrays that are currently converted to parameterized types.
    This method only works if component type is actually a class.
    
    Specified by:
    
    asParameterized in class TypeView
    
    Returns:
    
    parameterized view with base class equivalent to this array type and no substitutions
  - asClass
```
public ClassView<?> asClass()
```
    Try to cast or convert wrapped type to Class.
    This method is useful if you know that underlying type is Class, then this is just a casting.
    This can also be done for parameterized types with no actual substitutions and array classes represented by ArrayTypeView
    This method only works if component type is actually a class.
    
    Specified by:
    
    asClass in class TypeView
    
    Returns:
    
    class view with class equivalent to this array type.
  - asVariable
```
@Deprecated
public TypeVariableView<?> asVariable()
                               throws IllegalStateException
```
    Deprecated.
    the type system already knows this is a array type, and this call will fail
    
    Always throws IllegalStateException, because it is statically provable that this instance cannot be converted to type variable.
    
    Specified by:
    
    asVariable in class TypeView
    
    Returns:
    
    never
    
    Throws:
    
    IllegalStateException - always
  - asWildcard
```
@Deprecated
public WildcardTypeView asWildcard()
                            throws IllegalStateException
```
    Deprecated.
    the type system already knows this is a array type, and this call will fail
    
    Always throws IllegalStateException, because it is statically provable that this instance cannot be converted to wildcard type.
    
    Specified by:
    
    asWildcard in class TypeView
    
    Returns:
    
    never
    
    Throws:
    
    IllegalStateException - always
  - asArray
```
@Deprecated
public ArrayTypeView asArray()
```
    Deprecated.
    the type system already knows this is a array type, and this call does not change the type
    
    Try to cast/convert wrapped type to GenericArrayType.
    This method is useful if you know that underlying type is GenericArrayType, then this is just a casting.
    This can also be done for parameterized types with no actual substitutions that represetn array class, and class view that has array class.
    
    Specified by:
    
    asArray in class TypeView
    
    Returns:
    
    this, as this is already array type view
  - isSubTypeOf
```
public boolean isSubTypeOf(TypeView other)
```
    Description copied from class: TypeView
    
    Tests if type wrapped in this view is subtype of the provided one.
    This method tries to adhere to the spirit of subtyping: it answers the question: Having reference of type T, can value of type S be always assigned to it?
    Subtyping is precisely defined for types that can be declared in source, but there are more types that can be constructed or extracted via reflections. This method follows JLS section 4.10 for every aspect it declares, but also defines sensible rule for subtyping wildcards: wildcard is a supertype of its lower bounds, i.e. ? super CharStream is supertype of CharStream and
    
    Specified by:
    
    isSubTypeOf in class TypeView
    
    Parameters:
    
    other - type to test subtype relation against
    
    Returns:
    
    true if this type is subtype of provided argument
  - visit
```
public <T> T visit(TypeView.Visitor<T> visitor)
```
    Description copied from class: TypeView
    
    Visitor patter method dispatching method.
    This method calls specific method on provided visitor, depending on actual implementation of this type.
    It will return whatever the method returns.
    
    Specified by:
    
    visit in class TypeView
    
    Type Parameters:
    
    T - type returned by visitor method
    
    Parameters:
    
    visitor - method target
    
    Returns:
    
    same result as visitors method.
  - resolve
```
public ArrayTypeView resolve(TypeView other)
```
    Description copied from class: TypeView
    Create view that has variable substitutions copied from provided.
    This method creates type that has any variable substituted by substitutions used in other.
    Substitutions are found recursively. They can be only directly found in parameterized types, as arguments, but these parameterized types can be found in components of some containing type. For example, wildcard might use parameterized type as a bound, and this parameterized type might have substitution for specific variable.
    This method can be used to find what the signature of field or method looks like in some specific type. For example: lets say that there's a generic class class Example<T> that declares field protected List<T> elements. It's descendant class, declared class ExtendedExample extends Example<String> inherits field elements. In this case no conventional method will extract actual field type, List<String>:
    
    Field found by Class.getDeclaredField(java.lang.String) called on ExampleExtension will return null, as this field is not declared there.
    
    Field found by Class.getDeclaredField(java.lang.String) called on Example (or Class.getField(java.lang.String) on child class, if the field would be public) will return field from parent class, executing Field.getGenericType() on it will return List<T>
    
    But this can be resolved using this method: TypeView.ofTypeOf(Example.class.getDeclaredField("elements")).resolve(ExampleExtension.class) will wrap List<String>, because variable substitution T -> String is used.
    Overrides:
    
    resolve in class TypeView
    
    Parameters:
    
    other - type to copy substitutions from
    
    Returns:
    
    TypeView that uses substitutions from provided type
  - resolve
```
public ArrayTypeView resolve(Type other)
```
    Description copied from class: TypeView
    
    Create view that has variable substitutions copied from provided.
    See documentation on TypeView.resolve(TypeView) for details.
    
    Overrides:
    
    resolve in class TypeView
    
    Parameters:
    
    other - type to copy substitutions from
    
    Returns:
    
    TypeView that uses substitutions from provided type
  - unwrap
```
public final T unwrap()
```
    Description copied from class: TypeView
    
    Extracts native type from this view.
    This is inverse operation from TypeView.of(Type)
    
    Specified by:
    
    unwrap in class TypeView
    
    Returns:
    
    type that this view was for
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object

Class ArrayTypeView

Nested Class Summary

Nested classes/interfaces inherited from class org.perfectable.introspection.type.TypeView

Field Summary

Method Summary

Methods inherited from class org.perfectable.introspection.type.TypeView

Methods inherited from class java.lang.Object

Field Detail

type

Method Detail

of

erasure

component

asParameterized

asClass

asVariable

asWildcard

asArray

isSubTypeOf

visit

resolve

resolve

unwrap

equals

hashCode

toString