jltools.types
Class TableResolver

java.lang.Object
  |
  +--jltools.types.ClassResolver
        |
        +--jltools.types.TableResolver

All Implemented Interfaces:

Resolver

public class TableResolver

extends ClassResolver

A class resolver implemented as a map from names to types.

Field Summary

protected java.util.Map

table

Constructor Summary

TableResolver()

Method Summary

void	addType(NamedType type)
void	addType(java.lang.String name, NamedType type)
Type	findType(java.lang.String name)
java.lang.String	toString()

Methods inherited from class jltools.types.ClassResolver

findQualifier

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

table

protected java.util.Map table

Constructor Detail

TableResolver

public TableResolver()

Method Detail

addType

public void addType(NamedType type)

addType

public void addType(java.lang.String name,
                    NamedType type)

findType

public Type findType(java.lang.String name)
              throws SemanticException

Overrides:

findType in class ClassResolver

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object