org.norecess.citkit.types
Interface IRecordType

All Superinterfaces:
HobbesType
All Known Implementing Classes:
RecordType

public interface IRecordType
extends HobbesType


Method Summary
 HobbesType get(ISymbol symbol)
           
 HobbesType get(java.lang.String name)
           
 java.util.Set<Symbol> getFields()
           
 HobbesType getTypeFromLexicalEnvironment(ISymbol symbol)
           
 
Methods inherited from interface org.norecess.citkit.types.HobbesType
accept, actual, isBound, toShortString
 

Method Detail

getTypeFromLexicalEnvironment

HobbesType getTypeFromLexicalEnvironment(ISymbol symbol)

getFields

java.util.Set<Symbol> getFields()

get

HobbesType get(ISymbol symbol)

get

HobbesType get(java.lang.String name)