org.eclipse.palamedes.kif.core.ast.visitor
Class ContainsChecker

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTVisitor
      org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor
          org.eclipse.palamedes.kif.core.ast.visitor.ContainsChecker

public class ContainsChecker
extends DefaultVisitor

Field Summary

Fields inherited from class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

currentTopLevelNode, IMP_HEAD_FIRST, IMP_HEAD_LAST, insideBody, insideHead, insideImplication

Constructor Summary

ContainsChecker()

Method Summary

boolean	containsType(ASTNode node, java.lang.Class<?> type)
void	preVisitComplexNode(ASTNode node)
void	visitBasicNode(ASTNode node)

Methods inherited from class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

isHeadFirst, postVisitComplexNode, postVisitFormNode, preVisitFormNode, setHeadFirst, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

ContainsChecker

public ContainsChecker()

Method Detail

containsType

public boolean containsType(ASTNode node,
                            java.lang.Class<?> type)

preVisitComplexNode

public void preVisitComplexNode(ASTNode node)

Overrides:

preVisitComplexNode in class DefaultVisitor

visitBasicNode

public void visitBasicNode(ASTNode node)

Overrides:

visitBasicNode in class DefaultVisitor