org.qedeq.kernel.se.visitor
Interface ContextChecker

All Known Implementing Classes:

DefaultContextChecker

public interface ContextChecker

Check of current context is ok.

Method Summary

void	checkContext(Qedeq qedeq, ModuleContext context) Check it this context is valid.

Method Detail

checkContext

void checkContext(Qedeq qedeq,
                  ModuleContext context)

Check it this context is valid. Might throw a RuntimeException if context is not valid.

Parameters:

qedeq - QEDEQ module.

context - Current context.