Uses of Class
net.sourceforge.czt.base.ast.Digit

Packages that use Digit

Package	Description
net.sourceforge.czt.base.ast	Base interfaces of the AST for Z.
net.sourceforge.czt.base.util	Utilities for the AST for Z: interfaces for a validator, an XML reader, and an XML writer.

Uses of Digit in net.sourceforge.czt.base.ast

Methods in net.sourceforge.czt.base.ast that return Digit

Modifier and Type	Method and Description
static Digit	Digit.fromValue(int i)
static Digit	Digit.valueOf(String name) Returns the enum constant of this type with the specified name.
static Digit[]	Digit.values() Returns an array containing the constants of this enum type, in the order they are declared.

Uses of Digit in net.sourceforge.czt.base.util

Methods in net.sourceforge.czt.base.util that return Digit

Modifier and Type	Method and Description
static Digit	CztDatatypeConverter.parseDigit(String s)

Methods in net.sourceforge.czt.base.util with parameters of type Digit

Modifier and Type	Method and Description
static String	CztDatatypeConverter.printDigit(Digit digit)