Package | Description |
---|---|
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 |
---|---|
static ZPrintMessage |
ZPrintMessage.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ZPrintMessage[] |
ZPrintMessage.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static void |
ZPrintError.report(SectionInfo sectInfo,
Source source,
ErrorType errorType,
ZPrintMessage msg,
Object[] params,
LocInfo locInfo) |
static void |
ZPrintError.report(SectionInfo sectInfo,
Source source,
ErrorType errorType,
ZPrintMessage msg,
Object[] params,
LocInfo locInfo,
String info) |
Constructor and Description |
---|
ZPrintError(SectionInfo si,
ZPrintMessage msg,
Object[] params,
LocInfo locInfo) |
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.