org.qedeq.kernel.se.visitor
Class DefaultContextChecker

java.lang.Object
  org.qedeq.kernel.se.visitor.DefaultContextChecker

All Implemented Interfaces:

ContextChecker

public class DefaultContextChecker
extends java.lang.Object
implements ContextChecker

Basis implementation.

Constructor Summary

DefaultContextChecker()

Method Summary

void	checkContext(Qedeq qedeq, ModuleContext context) We don't check anything.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultContextChecker

public DefaultContextChecker()

Method Detail

checkContext

public void checkContext(Qedeq qedeq,
                         ModuleContext context)

We don't check anything.

Specified by:

checkContext in interface ContextChecker

Parameters:

qedeq - QEDEQ module.

context - Current context.