TemplateType (TimEL core 0.9.2 API)

java.lang.Object
- net.vleo.timel.type.Type<T>
- - net.vleo.timel.type.TemplateType<T>

Direct Known Subclasses:

IntegralDoubleType, IntegralFloatType, IntegralIntegerType
```
public abstract class TemplateType<T>
extends Type<T>
```
A abstract superclass for template types, that is types that are defined by a class and a list of parameters.

Author:

Andrea Leofreddi

Constructor Summary

Constructors
Modifier Constructor Description

protected TemplateType()

protected TemplateType(Object... parameters)

Method Summary

Modifier and Type	Method	Description
`boolean`	`isSpecializedTemplate()`
`boolean`	`isUnboundTemplate()`
`TemplateType<T>`	`specialize(Object... parameters)`
`TemplateType<T>`	`template()`
`String`	`toString()`

Methods inherited from class net.vleo.timel.type.Type
equals, getDownscaler, getName, getParameters, getUpscaler, hashCode, isConcrete

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

- Constructor Detail
  - TemplateType
```
protected TemplateType(Object... parameters)
```
  - TemplateType
```
protected TemplateType()
```
- Method Detail
  - isSpecializedTemplate
```
public boolean isSpecializedTemplate()
```
    Overrides:
    
    isSpecializedTemplate in class Type<T>
    
    Returns:
    
    True iff this type is a specialized template
  - isUnboundTemplate
```
public boolean isUnboundTemplate()
```
    Overrides:
    
    isUnboundTemplate in class Type<T>
    
    Returns:
    
    True iff this type is a non-specialized template
  - template
```
public TemplateType<T> template()
```
    Overrides:
    
    template in class Type<T>
    
    Returns:
    
    The unbound template type for a specialized template, or itself for a non-template type.
  - specialize
```
public TemplateType<T> specialize(Object... parameters)
```
    Overrides:
    
    specialize in class Type<T>
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Type<T>