net.sourceforge.czt.print.ast
Class OperatorApplication

java.lang.Object
  extended by net.sourceforge.czt.base.impl.TermImpl
      extended by net.sourceforge.czt.z.impl.ExprImpl
          extended by net.sourceforge.czt.print.ast.OperatorApplication
All Implemented Interfaces:
net.sourceforge.czt.base.ast.Term, net.sourceforge.czt.z.ast.Expr

public class OperatorApplication
extends net.sourceforge.czt.z.impl.ExprImpl

A function or generic operator application.

Author:
Petra Malik

Constructor Summary
protected OperatorApplication(PrintFactory factory, net.sourceforge.czt.z.util.OperatorName opName, java.util.List<net.sourceforge.czt.z.ast.Expr> args, Precedence prec, net.sourceforge.czt.z.ast.Assoc assoc)
           
 
Method Summary
<R> R
accept(net.sourceforge.czt.util.Visitor<R> visitor)
           
 OperatorApplication create(java.lang.Object[] children)
           
 java.util.List<net.sourceforge.czt.z.ast.Expr> getArgs()
           
 net.sourceforge.czt.z.ast.Assoc getAssoc()
           
 java.lang.Object[] getChildren()
           
 net.sourceforge.czt.z.util.OperatorName getOperatorName()
           
 Precedence getPrecedence()
           
 
Methods inherited from class net.sourceforge.czt.z.impl.ExprImpl
equals, hashCode
 
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

OperatorApplication

protected OperatorApplication(PrintFactory factory,
                              net.sourceforge.czt.z.util.OperatorName opName,
                              java.util.List<net.sourceforge.czt.z.ast.Expr> args,
                              Precedence prec,
                              net.sourceforge.czt.z.ast.Assoc assoc)
Method Detail

getOperatorName

public net.sourceforge.czt.z.util.OperatorName getOperatorName()

getArgs

public java.util.List<net.sourceforge.czt.z.ast.Expr> getArgs()

getPrecedence

public Precedence getPrecedence()

getAssoc

public net.sourceforge.czt.z.ast.Assoc getAssoc()

accept

public <R> R accept(net.sourceforge.czt.util.Visitor<R> visitor)
Specified by:
accept in interface net.sourceforge.czt.base.ast.Term
Overrides:
accept in class net.sourceforge.czt.z.impl.ExprImpl

getChildren

public java.lang.Object[] getChildren()

create

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


Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.