Interface ICasEditorInputListener

public interface ICasEditorInputListener
The listener interface for receiving ICasEditorInput events. The class that is interested in processing a ICasEditorInput event implements this interface, and the object created with that class is registered with a component using the component's addICasEditorInputListener method. When the ICasEditorInput event occurs, that object's appropriate method is invoked.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    casDocumentChanged(org.eclipse.ui.IEditorInput oldInput, ICasDocument oldDocument, org.eclipse.ui.IEditorInput newInput, ICasDocument newDocument)
    This method is called if an ICasDocument is exchanged.

  • Method Details

    • casDocumentChanged

      void casDocumentChanged(org.eclipse.ui.IEditorInput oldInput, ICasDocument oldDocument, org.eclipse.ui.IEditorInput newInput, ICasDocument newDocument)
      This method is called if an ICasDocument is exchanged. The arguments of this methods can be null under certain circumstances. For example, if a document is opened where the type system cannot be found for, then the new document will be null.
      Parameters:
      oldInput - the old input
      oldDocument - - the replaced, old document ICasDocument.
      newInput - the new input
      newDocument - - the new, current document ICasDocument.