edu.rice.cs.drjava.model
Interface LightWeightParsingListener

public interface LightWeightParsingListener

Light-weight parsing visitor.

Version:

$Id: LightWeightParsingListener.java 5236 2010-04-27 01:43:36Z mgricken $

Method Summary

void	enclosingClassNameUpdated(OpenDefinitionsDocument doc, String old, String updated) Gets called when the enclosing class name of a document was updated.

Method Detail

enclosingClassNameUpdated

void enclosingClassNameUpdated(OpenDefinitionsDocument doc,
                               String old,
                               String updated)

Gets called when the enclosing class name of a document was updated. Always gets called in the event thread.

Parameters:

doc - the document that is concerned

old - the old enclosing class name

updated - the new enclosing class name