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)