rules
Class TypeSet

java.lang.Object
  rules.TypeSet

public class TypeSet

extends java.lang.Object

Constructor Summary

TypeSet(java.lang.String input)

Method Summary

Type	getType(java.lang.String name) Returns the type in the list that is called name.
java.util.Iterator	iterator()
static void	main(java.lang.String[] args)
static TypeSet	makeTypeSetFromFile(java.lang.String filename) takes a list of the form: ((type1name (super1 ..
int	size()
java.util.List	subTypes(Type t)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeSet

public TypeSet(java.lang.String input)

Method Detail

makeTypeSetFromFile

public static TypeSet makeTypeSetFromFile(java.lang.String filename)

takes a list of the form: ((type1name (super1 .. supern)) ... (typeMname (super1 .. supern))) and return a list of Type objects

getType

public Type getType(java.lang.String name)

Returns the type in the list that is called name.

subTypes

public java.util.List subTypes(Type t)

size

public int size()

iterator

public java.util.Iterator iterator()

toString

public java.lang.String toString()

main

public static void main(java.lang.String[] args)