org.bovinegenius.kurgan.types

Class Types

java.lang.Object

org.bovinegenius.kurgan.types.Types

public class Types
extends Object

An environment to track type variables

Constructor Summary

Constructors

Constructor and Description
Types()
Types(Types parent, Map<String,Type> entries)

Method Summary

Modifier and Type	Method and Description
boolean	contains(String key)
Type	get(String name)
String	toString()
Types	with(Map<String,Type> entries)
Types	with(String name, Type type)

Methods inherited from class java.lang.Object

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

Constructor Detail

Types

public Types()

Types

public Types(Types parent,
             Map<String,Type> entries)

Method Detail

contains

public boolean contains(String key)

get

public Type get(String name)

with

public Types with(String name,
                  Type type)

with

public Types with(Map<String,Type> entries)

toString

public String toString()

Overrides:

toString in class Object