Class TypeRefreshListener

java.lang.Object

manifold.internal.host.TypeRefreshListener

public class TypeRefreshListener
extends Object

For compilation, supports only create events

Method Summary

Modifier and Type	Method	Description
void	removeTypeSystemListener(ITypeSystemListener l)

Methods inherited from class Object

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

Method Details

removeTypeSystemListener

public void removeTypeSystemListener(ITypeSystemListener l)