net.sourceforge.czt.print.ast
Class Application

java.lang.Object
  net.sourceforge.czt.base.impl.TermImpl
      net.sourceforge.czt.z.impl.ExprImpl
          net.sourceforge.czt.z.impl.Expr2Impl
              net.sourceforge.czt.print.ast.Application

All Implemented Interfaces:

net.sourceforge.czt.base.ast.Term, net.sourceforge.czt.z.ast.Expr, net.sourceforge.czt.z.ast.Expr2

public class Application
extends net.sourceforge.czt.z.impl.Expr2Impl

Constructor Summary

protected

Application(PrintFactory factory)

Method Summary

java.lang.Object	accept(net.sourceforge.czt.util.Visitor visitor)
Application	create(java.lang.Object[] children)
java.lang.Object[]	getChildren()

Methods inherited from class net.sourceforge.czt.z.impl.Expr2Impl

equals, getExpr, getLeftExpr, getRightExpr, hashCode, setLeftExpr, setRightExpr

Methods inherited from class net.sourceforge.czt.base.impl.TermImpl

getAnn, getAnns, getFactory, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sourceforge.czt.base.ast.Term

getAnn, getAnns

Constructor Detail

Application

protected Application(PrintFactory factory)

Method Detail

accept

public java.lang.Object accept(net.sourceforge.czt.util.Visitor visitor)

Specified by:

accept in interface net.sourceforge.czt.base.ast.Term

Overrides:

accept in class net.sourceforge.czt.z.impl.Expr2Impl

getChildren

public java.lang.Object[] getChildren()

create

public Application create(java.lang.Object[] children)