se.chalmers.cs.gf.linearize
Class GFCTypeAnnotator

java.lang.Object
  se.chalmers.cs.gf.linearize.GFCTypeAnnotator

All Implemented Interfaces:

TypeAnnotator

public class GFCTypeAnnotator
extends java.lang.Object
implements TypeAnnotator

Does type annotation of abstract syntax trees.

Constructor Summary

GFCTypeAnnotator(GFCModule module)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

GFCTypeAnnotator

public GFCTypeAnnotator(GFCModule module)

Parameters:

module - Abstract module used to get types of functions.

Method Detail

annotate

public Tree annotate(Tree t)

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

Specified by:

annotate in interface TypeAnnotator