net.sourceforge.czt.print.ast
Class PrintPredicate
java.lang.Object
net.sourceforge.czt.base.impl.TermImpl
net.sourceforge.czt.z.impl.PredImpl
net.sourceforge.czt.print.ast.PrintPredicate
- All Implemented Interfaces:
- net.sourceforge.czt.base.ast.Term, net.sourceforge.czt.z.ast.Pred
public class PrintPredicate
- extends net.sourceforge.czt.z.impl.PredImpl
A printable predicate.
- Author:
- Petra Malik
| Methods inherited from class net.sourceforge.czt.z.impl.PredImpl |
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 |
PrintPredicate
protected PrintPredicate(PrintFactory factory,
java.util.List something,
Precedence prec,
net.sourceforge.czt.z.ast.Assoc assoc)
getPrecedence
public Precedence getPrecedence()
getAssoc
public net.sourceforge.czt.z.ast.Assoc getAssoc()
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.PredImpl
getChildren
public java.lang.Object[] getChildren()
create
public PrintPredicate create(java.lang.Object[] children)
Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.