wyil.util.type

Class TypeParser

java.lang.Object

wyil.util.type.TypeParser

public class TypeParser
extends Object

The Type Parser is used to convert a given string into a type (or a syntax error). This is generally useful for debugging purposes, but it does have other usees as well.

Author:

David J. Pearce

Constructor Summary

Constructors

Constructor and Description
TypeParser(String str)

Method Summary

Modifier and Type	Method and Description
Type	parse()
Type	parse(HashSet<String> typeVariables)
Type	parseBraceTerm(HashSet<String> typeVariables)
Type	parseNotTerm(HashSet<String> typeVariables)
Type	parseTerm(HashSet<String> typeVariables)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeParser

public TypeParser(String str)

Method Detail

parse

public Type parse()

parse

public Type parse(HashSet<String> typeVariables)

parseNotTerm

public Type parseNotTerm(HashSet<String> typeVariables)

parseBraceTerm

public Type parseBraceTerm(HashSet<String> typeVariables)

parseTerm

public Type parseTerm(HashSet<String> typeVariables)