hlt.language.design.types

Class TypeTermScheme

java.lang.Object

hlt.language.design.types.TypeTermScheme

Direct Known Subclasses:

ClassInfo, TypeDefinition

public class TypeTermScheme
extends java.lang.Object

Objects of this class are of the form name(T₁,...T_n) where name is a type name and the T_i's are distinct type parameters.

Constructor Summary

Constructors

Constructor and Description
TypeTermScheme()

Method Summary

Methods

Modifier and Type	Method and Description
int	arity() Returns the number of type parameters of this type term scheme.
TypeParameter[]	parameters()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeTermScheme

public TypeTermScheme()

Method Detail

parameters

public final TypeParameter[] parameters()

arity

public final int arity()

Returns the number of type parameters of this type term scheme.