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 |
---|---|
Application |
Application.create(Object[] children) |
Application |
PrintFactory.createApplication() |
Modifier and Type | Method and Description |
---|---|
R |
ApplicationVisitor.visitApplication(Application applicatio) |
Modifier and Type | Method and Description |
---|---|
Object |
ZPrintVisitor.visitApplication(Application appl) |
Precedence |
PrecedenceVisitor.visitApplication(Application term) |
Object |
PrecedenceParenAnnVisitor.visitApplication(Application appl) |
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.