net.sourceforge.czt.rules.unification

Class ChildExtractor

java.lang.Object

net.sourceforge.czt.rules.unification.ChildExtractor

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.TermVisitor<Object[]>, net.sourceforge.czt.util.Visitor<Object[]>, net.sourceforge.czt.z.visitor.ApplExprVisitor<Object[]>, net.sourceforge.czt.z.visitor.AxParaVisitor<Object[]>, net.sourceforge.czt.z.visitor.MemPredVisitor<Object[]>, net.sourceforge.czt.z.visitor.RefExprVisitor<Object[]>, net.sourceforge.czt.z.visitor.ZDeclListVisitor<Object[]>, net.sourceforge.czt.z.visitor.ZNameVisitor<Object[]>, net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<Object[]>

public class ChildExtractor
extends Object
implements net.sourceforge.czt.z.visitor.ApplExprVisitor<Object[]>, net.sourceforge.czt.z.visitor.AxParaVisitor<Object[]>, net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<Object[]>, net.sourceforge.czt.z.visitor.MemPredVisitor<Object[]>, net.sourceforge.czt.z.visitor.RefExprVisitor<Object[]>, net.sourceforge.czt.base.visitor.TermVisitor<Object[]>, net.sourceforge.czt.z.visitor.ZDeclListVisitor<Object[]>, net.sourceforge.czt.z.visitor.ZNameVisitor<Object[]>

A visitor that extracts the children of a given term suitable for unification.

Author:

Petra Malik

Constructor Summary

Constructors

Constructor and Description
ChildExtractor()

Method Summary

Modifier and Type	Method and Description
Object[]	visitApplExpr(net.sourceforge.czt.z.ast.ApplExpr applExpr) Doesn't return the Mixfix child.
Object[]	visitAxPara(net.sourceforge.czt.z.ast.AxPara axPara) Doesn't return the Box child.
Object[]	visitHeadDeclList(net.sourceforge.czt.zpatt.ast.HeadDeclList headDeclList)
Object[]	visitMemPred(net.sourceforge.czt.z.ast.MemPred memPred) Doesn't return the Mixfix child.
Object[]	visitRefExpr(net.sourceforge.czt.z.ast.RefExpr refExpr) Returns the name and type parameters of refExpr.
Object[]	visitTerm(net.sourceforge.czt.base.ast.Term term)
Object[]	visitZDeclList(net.sourceforge.czt.z.ast.ZDeclList zDeclList)
Object[]	visitZName(net.sourceforge.czt.z.ast.ZName zName) Doesn't return the Decl child.

Methods inherited from class java.lang.Object

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

Constructor Detail

ChildExtractor

public ChildExtractor()

Method Detail

visitApplExpr

public Object[] visitApplExpr(net.sourceforge.czt.z.ast.ApplExpr applExpr)

Doesn't return the Mixfix child.

Specified by:

visitApplExpr in interface net.sourceforge.czt.z.visitor.ApplExprVisitor<Object[]>

visitAxPara

public Object[] visitAxPara(net.sourceforge.czt.z.ast.AxPara axPara)

Doesn't return the Box child.

Specified by:

visitAxPara in interface net.sourceforge.czt.z.visitor.AxParaVisitor<Object[]>

visitHeadDeclList

public Object[] visitHeadDeclList(net.sourceforge.czt.zpatt.ast.HeadDeclList headDeclList)

Specified by:

visitHeadDeclList in interface net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<Object[]>

visitMemPred

public Object[] visitMemPred(net.sourceforge.czt.z.ast.MemPred memPred)

Doesn't return the Mixfix child.

Specified by:

visitMemPred in interface net.sourceforge.czt.z.visitor.MemPredVisitor<Object[]>

visitRefExpr

public Object[] visitRefExpr(net.sourceforge.czt.z.ast.RefExpr refExpr)

Returns the name and type parameters of refExpr. This ignores the mixfix flag. The existing type parameters are returned unchanged (so must unify) if refExpr has (a) been typechecked (ie. has a TypeAnn), or (b) has explicit=true or (c) does not have an empty list of type parameters. Otherwise, the type parameters are assumed to be unknown, so the default empty list is replaced by a fresh ExprList joker, which allows it to unify with any other list of expressions.

Specified by:

visitRefExpr in interface net.sourceforge.czt.z.visitor.RefExprVisitor<Object[]>

visitTerm

public Object[] visitTerm(net.sourceforge.czt.base.ast.Term term)

Specified by:

visitTerm in interface net.sourceforge.czt.base.visitor.TermVisitor<Object[]>

visitZDeclList

public Object[] visitZDeclList(net.sourceforge.czt.z.ast.ZDeclList zDeclList)

Specified by:

visitZDeclList in interface net.sourceforge.czt.z.visitor.ZDeclListVisitor<Object[]>

visitZName

public Object[] visitZName(net.sourceforge.czt.z.ast.ZName zName)

Doesn't return the Decl child.

Specified by:

visitZName in interface net.sourceforge.czt.z.visitor.ZNameVisitor<Object[]>