org.norecess.citkit.types
Interface INameType

All Superinterfaces:

HobbesType

All Known Implementing Classes:

NameType

public interface INameType
extends HobbesType

Method Summary

void	bind(HobbesType type) Binds the named type to another type.
HobbesType	getBinding() Returns the binding of this named type.
ISymbol	getSymbol()

Methods inherited from interface org.norecess.citkit.types.HobbesType

accept, actual, isBound, toShortString

Method Detail

getSymbol

ISymbol getSymbol()

bind

void bind(HobbesType type)

Binds the named type to another type. HobbesType.actual()will recursively call itself on this binding until it reaches a basic type.

Parameters:

type - the real type of this named type.

See Also:

HobbesType.actual(), getBinding()

getBinding

HobbesType getBinding()

Returns the binding of this named type. Unlike HobbesType.actual(), this method returns just the binding of this named type; it does not follow any chain of bindings to find a basic type.

See Also:

HobbesType.actual(), bind(HobbesType)