| Package | Description |
|---|---|
| net.sourceforge.czt.print.ast | |
| net.sourceforge.czt.print.z |
Provides classes for printing standard Z specifications in Unicode or
in the LaTeX mark-up language.
|
| Modifier and Type | Method and Description |
|---|---|
OperatorApplication |
OperatorApplication.create(Object[] children) |
OperatorApplication |
PrintFactory.createOperatorApplication(OperatorName opName,
List<Expr> args,
Precedence prec,
Assoc assoc) |
| Modifier and Type | Method and Description |
|---|---|
R |
OperatorApplicationVisitor.visitOperatorApplication(OperatorApplication opApp) |
| Modifier and Type | Method and Description |
|---|---|
Object |
ZPrintVisitor.visitOperatorApplication(OperatorApplication appl) |
Precedence |
PrecedenceVisitor.visitOperatorApplication(OperatorApplication term) |
Object |
PrecedenceParenAnnVisitor.visitOperatorApplication(OperatorApplication appl) |
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.