se.chalmers.cs.gf.linearize
Interface TypeAnnotator

All Known Implementing Classes:

GFCTypeAnnotator

public interface TypeAnnotator

Does type annotation of abstract syntax trees.

Method Summary

Tree	annotate(Tree t) Type-annotate all meta-variables in the given tree.

Method Detail

annotate

Tree annotate(Tree t)

Type-annotate all meta-variables in the given tree. Returns the new tree.