fr.ove.openmath.jome.ctrl.linear.events
Interface LinearParserListener

All Superinterfaces:

java.util.EventListener

All Known Implementing Classes:

Formula

public interface LinearParserListener

extends java.util.EventListener

The interface to implement in order to receive @see LinearParserEvent.

Version:

1.0 27/09/1999

Author:

© 1999 DIRAT Laurent

Method Summary

void	consumeLinearParserEvent(LinearParserEvent linearParserEvent) Treats the event received.

Method Detail

consumeLinearParserEvent

public void consumeLinearParserEvent(LinearParserEvent linearParserEvent)

Treats the event received.

Parameters:

linearParserEvent - the event received.