Skip navigation links
A B C D E F G H I L M N O P R S T U V W X 

A

AbstractXmlWriter - Class in net.sourceforge.czt.base.util
This class provides a skeletal implementation of the XmlWriter interface.
AbstractXmlWriter() - Constructor for class net.sourceforge.czt.base.util.AbstractXmlWriter
 
accept(Visitor<R>) - Method in interface net.sourceforge.czt.base.ast.Term
Accepts a visitor.
accept(Visitor<R>) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
accept(Visitor<R>) - Method in class net.sourceforge.czt.base.impl.TermImpl
 
add(int, E) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
Inserts the specified element at the specified position in this list.
annsSize() - Method in interface net.sourceforge.czt.base.ast.Term
Returns whether the annotation list size.
annsSize() - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
annsSize() - Method in class net.sourceforge.czt.base.impl.TermImpl
 
apply(Term) - Static method in class net.sourceforge.czt.base.util.TermToString
 

B

BaseFactory - Class in net.sourceforge.czt.base.impl
The base class of AST factories.
BaseFactory() - Constructor for class net.sourceforge.czt.base.impl.BaseFactory
 
BaseFactory(Visitor<String>) - Constructor for class net.sourceforge.czt.base.impl.BaseFactory
Sets the visit method of the given visitor to toString.
BasePrintVisitor - Class in net.sourceforge.czt.base.util
A printer for terms.
BasePrintVisitor() - Constructor for class net.sourceforge.czt.base.util.BasePrintVisitor
 
BaseUtils - Class in net.sourceforge.czt.base.util
Utilities for Terms.
buffer_ - Variable in class net.sourceforge.czt.base.util.TermToString
 

C

checkVisitorRules(Visitor<R>) - Static method in class net.sourceforge.czt.base.visitor.VisitorUtils
Prints a warning to stderr about any visitXXX methods of the provided visitor that may not be called because it does not implement the associated interface.
children() - Method in class net.sourceforge.czt.base.util.TermTreeNode
 
collectAll(String, Term) - Static method in class net.sourceforge.czt.base.util.BaseUtils
 
collectAll(Class<?>, Term) - Static method in class net.sourceforge.czt.base.util.BaseUtils
 
collectAll(Class<?>, Term, List<Term>) - Static method in class net.sourceforge.czt.base.util.BaseUtils
 
countInstance() - Static method in class net.sourceforge.czt.base.impl.BaseFactory
 
create(Object[]) - Method in interface net.sourceforge.czt.base.ast.Term
Creates a new object of the implementing class with the objects in args as its children.
create(Object[]) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
create() - Method in class net.sourceforge.czt.util.cli.CztToolBuilder
 
createLogFormatter() - Static method in class net.sourceforge.czt.util.CztLogger
 
createLogFormatter(boolean, boolean, boolean, boolean) - Static method in class net.sourceforge.czt.util.CztLogger
 
createStartEnd(int, int) - Static method in class net.sourceforge.czt.text.Position
Static factory method to create a position based on its start and end offsets.
CztCommandLineBuilder - Class in net.sourceforge.czt.util.cli
 
CztCommandLineBuilder() - Constructor for class net.sourceforge.czt.util.cli.CztCommandLineBuilder
 
CztDatatypeConverter - Class in net.sourceforge.czt.base.util
 
CztException - Exception in net.sourceforge.czt.util
A runtime exception used for CZT specific errors.
CztException() - Constructor for exception net.sourceforge.czt.util.CztException
Constructs a new CZT exception with null as its message.
CztException(String) - Constructor for exception net.sourceforge.czt.util.CztException
Constructs a new CZT exception with the specified message.
CztException(String, Throwable) - Constructor for exception net.sourceforge.czt.util.CztException
Constructs a new CZT exception with the specified message and cause.
CztException(Throwable) - Constructor for exception net.sourceforge.czt.util.CztException
Constructs a new CZT exception with the specified cause.
CztLogger - Class in net.sourceforge.czt.util
Provides access to the logging API.
CztTool<E extends Throwable> - Interface in net.sourceforge.czt.util.cli
 
CztToolBuilder - Class in net.sourceforge.czt.util.cli
 
CztToolBuilder() - Constructor for class net.sourceforge.czt.util.cli.CztToolBuilder
 
CztToolBuilderDefaultValue - Class in net.sourceforge.czt.util.cli
 
CztToolBuilderDefaultValue() - Constructor for class net.sourceforge.czt.util.cli.CztToolBuilderDefaultValue
 

D

DebugProxy - Class in net.sourceforge.czt.util
A simple debug proxy.
DEFAULT_CALL_DEPTH_LOWER_BOUND - Static variable in class net.sourceforge.czt.base.util.TermInstanceCountManager
 
DEFAULT_CALL_DEPTH_UPPER_BOUND - Static variable in class net.sourceforge.czt.base.util.TermInstanceCountManager
 
DEFAULT_HANDLER_LEVEL - Static variable in class net.sourceforge.czt.util.CztLogger
 
DEFAULT_LOG_FORMATTER - Static variable in class net.sourceforge.czt.util.CztLogger
 
DEFAULT_SHOW_LOG_RECORD_MESSAGE - Static variable in class net.sourceforge.czt.util.CztLogger
 
DEFAULT_SHOW_LOG_SOURCE_METHOD - Static variable in class net.sourceforge.czt.util.CztLogger
 
DEFAULT_SHOW_LOG_STACKTRACE - Static variable in class net.sourceforge.czt.util.CztLogger
 
DEFAULT_SHOW_LOG_TIME_STAMP - Static variable in class net.sourceforge.czt.util.CztLogger
 
DEFAULT_TARGET_INCREASE - Static variable in class net.sourceforge.czt.base.util.TermInstanceCountManager
 
Delegator - Class in net.sourceforge.czt.util
A simple delegator.
depth(Term) - Static method in class net.sourceforge.czt.base.util.BaseUtils
Returns the maximal depth of the given term tree.
Digit - Enum in net.sourceforge.czt.base.ast
An enumeration of the digits zero to nine.
dispatch(Object) - Method in class net.sourceforge.czt.util.ReflectiveVisitor
Invokes the method that fits best.

E

equals(Object) - Method in class net.sourceforge.czt.base.impl.TermImpl
 
equals(Object) - Method in class net.sourceforge.czt.text.Position
 
equals(Object) - Method in class net.sourceforge.czt.util.Pair
 

F

format(LogRecord) - Method in class net.sourceforge.czt.util.SimpleFormatter
Format the given LogRecord.
fromValue(int) - Static method in enum net.sourceforge.czt.base.ast.Digit
 

G

get(int) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
Returns the element at the specified position in this list.
getAllInterfacesFrom(Object, String) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
getAllMethodsFrom(Object, String) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
getAllowsChildren() - Method in class net.sourceforge.czt.base.util.TermTreeNode
 
getAnn(Class<T>) - Method in interface net.sourceforge.czt.base.ast.Term
Returns one of the aClass annotations of this term, or null if the term does not contain an annotation of this type.
getAnn(Class<T>) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
getAnn(Class<T>) - Method in class net.sourceforge.czt.base.impl.TermImpl
 
getAnns() - Method in interface net.sourceforge.czt.base.ast.Term
Returns a list of annotations.
getAnns() - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
getAnns() - Method in class net.sourceforge.czt.base.impl.TermImpl
 
getBooleanDefault(String) - Method in class net.sourceforge.czt.util.cli.CztToolBuilderDefaultValue
 
getChildAt(int) - Method in class net.sourceforge.czt.base.util.TermTreeNode
 
getChildCount() - Method in class net.sourceforge.czt.base.util.TermTreeNode
 
getChildren() - Method in interface net.sourceforge.czt.base.ast.Term
Returns an array of all the children of this term, thus providing the possibility to write generic visitors that traverse a tree of Z terms without even knowing the kind of term they are visiting.
getChildren() - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
getDialect() - Method in enum net.sourceforge.czt.util.Section
 
getEncoding() - Method in class net.sourceforge.czt.base.util.AbstractXmlWriter
 
getEncoding() - Method in interface net.sourceforge.czt.base.util.XmlWriter
Returns the output encoding to use when marshalling the XML data.
getEndOffset() - Method in class net.sourceforge.czt.text.Position
Calculates the end offset of this position.
getFactory() - Method in class net.sourceforge.czt.base.impl.TermImpl
 
getFirst() - Method in class net.sourceforge.czt.util.Pair
 
getHandler(Logger, Class<T>) - Static method in class net.sourceforge.czt.util.CztLogger
 
getIndex(TreeNode) - Method in class net.sourceforge.czt.base.util.TermTreeNode
 
getLength() - Method in class net.sourceforge.czt.text.Position
Returns the length of this position.
getLogger(Class<?>) - Static method in class net.sourceforge.czt.util.CztLogger
Returns the appropriate logger for the given class.
getMethod(Class<?>) - Method in class net.sourceforge.czt.util.ReflectiveVisitor
 
getName() - Method in enum net.sourceforge.czt.util.Section
 
getOffset() - Method in class net.sourceforge.czt.text.Position
Returns the offset of this position.
getPair(A, B) - Static method in class net.sourceforge.czt.util.Pair
 
getPairList(A, B) - Static method in class net.sourceforge.czt.util.Pair
 
getParent() - Method in class net.sourceforge.czt.base.util.TermTreeNode
 
getSecond() - Method in class net.sourceforge.czt.util.Pair
 
getString() - Method in class net.sourceforge.czt.base.util.TermToString
 
getStringDefault(String) - Method in class net.sourceforge.czt.util.cli.CztToolBuilderDefaultValue
 
getToStringVisitor() - Method in class net.sourceforge.czt.base.impl.BaseFactory
 
getValue() - Method in enum net.sourceforge.czt.base.ast.Digit
 

H

hasAnn() - Method in interface net.sourceforge.czt.base.ast.Term
Returns true when annsSize() has more than zero elements.
hasAnn(Class<T>) - Method in interface net.sourceforge.czt.base.ast.Term
Checks whether the term has any annotation of the given class type
hasAnn() - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
hasAnn(Class<T>) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
hasAnn() - Method in class net.sourceforge.czt.base.impl.TermImpl
 
hasAnn(Class<T>) - Method in class net.sourceforge.czt.base.impl.TermImpl
 
hashCode() - Method in class net.sourceforge.czt.base.impl.TermImpl
 
hashCode() - Method in class net.sourceforge.czt.text.Position
 
hashCode() - Method in class net.sourceforge.czt.util.Pair
 
howManyInstancesCreated() - Static method in class net.sourceforge.czt.base.impl.BaseFactory
 

I

INITIAL_ARRAY_CAPACITY - Static variable in interface net.sourceforge.czt.base.util.PerformanceSettings
 
instaceCount(Class<? extends Term>) - Static method in class net.sourceforge.czt.base.util.BaseUtils
 
instancesCount(Term, boolean) - Static method in class net.sourceforge.czt.base.util.TermInstanceCountManager
 
instancesCount(Class<? extends Term>, boolean) - Static method in class net.sourceforge.czt.base.util.TermInstanceCountManager
 
invoke(Object, Method, Object[]) - Method in class net.sourceforge.czt.util.DebugProxy
 
invoke(Object, Method, Object[]) - Method in class net.sourceforge.czt.util.Delegator
 
isLeaf() - Method in class net.sourceforge.czt.base.util.TermTreeNode
 

L

length - Variable in class net.sourceforge.czt.text.Position
The length of the position
ListTerm<E> - Interface in net.sourceforge.czt.base.ast
A list that integrates nicely into the AST.
ListTermImpl<E> - Class in net.sourceforge.czt.base.impl
A list implementation that integrates nicely into the AST.
ListTermImpl() - Constructor for class net.sourceforge.czt.base.impl.ListTermImpl
Constructs an empty list term that accepts all Objects.
ListTermImpl(BaseFactory) - Constructor for class net.sourceforge.czt.base.impl.ListTermImpl
 
ListTermVisitor<R> - Interface in net.sourceforge.czt.base.visitor
A visitor for visiting annotated terms.
log(Term, String) - Static method in class net.sourceforge.czt.base.util.TermInstanceCountManager
 
log(Term, String, int, int, int) - Static method in class net.sourceforge.czt.base.util.TermInstanceCountManager
 

M

MarshalException - Exception in net.sourceforge.czt.base.util
This exception indicates that an error has occured while performing a marshal operation.
MarshalException(String) - Constructor for exception net.sourceforge.czt.base.util.MarshalException
Construct a MarshalException with the specified detail message.
MarshalException(String, Throwable) - Constructor for exception net.sourceforge.czt.base.util.MarshalException
Construct a MarshalException with the specified detail message and cause.
MarshalException(Throwable) - Constructor for exception net.sourceforge.czt.base.util.MarshalException
Construct a MarshalException with the specified cause.

N

net.sourceforge.czt.base.ast - package net.sourceforge.czt.base.ast
Base interfaces of the AST for Z.
net.sourceforge.czt.base.impl - package net.sourceforge.czt.base.impl
Abstract base classes for the AST for Z.
net.sourceforge.czt.base.util - package net.sourceforge.czt.base.util
Utilities for the AST for Z: interfaces for a validator, an XML reader, and an XML writer.
net.sourceforge.czt.base.visitor - package net.sourceforge.czt.base.visitor
Base visitors for the AST for Z.
net.sourceforge.czt.text - package net.sourceforge.czt.text
 
net.sourceforge.czt.util - package net.sourceforge.czt.util
Contains some utility interfaces and classes like a debug proxy, a delegator, a reflective visitor, etc.
net.sourceforge.czt.util.cli - package net.sourceforge.czt.util.cli
 
newInstance(Object) - Static method in class net.sourceforge.czt.util.DebugProxy
 
newInstance(Class<?>[], Object[]) - Static method in class net.sourceforge.czt.util.Delegator
 

O

ObjectFactory - Interface in net.sourceforge.czt.util
The base interface of all object factories.
offset - Variable in class net.sourceforge.czt.text.Position
The offset of the position
overlapsWith(int, int) - Method in class net.sourceforge.czt.text.Position
Checks whether the intersection of the given text range and the text range represented by this position is empty or not.

P

Pair<T1,T2> - Class in net.sourceforge.czt.util
A pair of objects.
Pair(T1, T2) - Constructor for class net.sourceforge.czt.util.Pair
Creates a new instance of NodePair.
parseBoolean(String) - Static method in class net.sourceforge.czt.base.util.CztDatatypeConverter
 
parseDigit(String) - Static method in class net.sourceforge.czt.base.util.CztDatatypeConverter
 
PerformanceSettings - Interface in net.sourceforge.czt.base.util
 
Position - Class in net.sourceforge.czt.text
Positions describe text ranges of a document.
Position(int) - Constructor for class net.sourceforge.czt.text.Position
Creates a new position with the given offset and length 0.
Position(int, int) - Constructor for class net.sourceforge.czt.text.Position
Creates a new position with the given offset and length.
printBoolean(Boolean) - Static method in class net.sourceforge.czt.base.util.CztDatatypeConverter
 
printDigit(Digit) - Static method in class net.sourceforge.czt.base.util.CztDatatypeConverter
 
printUsage() - Method in interface net.sourceforge.czt.util.cli.CztTool
 
processArguments(String[]) - Method in interface net.sourceforge.czt.util.cli.CztTool
 

R

read(File) - Method in interface net.sourceforge.czt.base.util.XmlReader
Unmarshalles XML data from the specified file and returns the root term.
read(InputSource) - Method in interface net.sourceforge.czt.base.util.XmlReader
Unmarshalles XML data from the specified source and returns the root Term.
read(InputStream) - Method in interface net.sourceforge.czt.base.util.XmlReader
Unmarshalles XML data from the specified input stream and returns the root term.
ReflectionUtils - Class in net.sourceforge.czt.util
 
ReflectiveVisitor - Class in net.sourceforge.czt.util
An abstract implementation of a reflective visitor.
ReflectiveVisitor() - Constructor for class net.sourceforge.czt.util.ReflectiveVisitor
 
reflexiveTransitiveInterfaces(Object) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
reflexiveTransitiveSuperClasses(Object) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
remove(int) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
Removes the element at the specified position in this list.
removeAnn(T) - Method in interface net.sourceforge.czt.base.ast.Term
Removes a specific annotation, if present.
removeAnn(Class<T>) - Method in interface net.sourceforge.czt.base.ast.Term
Removes all annotations of the specific class.
removeAnn(Class<T>) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
removeAnn(T) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
removeAnn(Class<T>) - Method in class net.sourceforge.czt.base.impl.TermImpl
 
removeAnn(T) - Method in class net.sourceforge.czt.base.impl.TermImpl
 
removeHandlerClass(Logger, Class<?>) - Static method in class net.sourceforge.czt.util.CztLogger
 
reset() - Method in class net.sourceforge.czt.base.util.TermToString
 
reset() - Method in interface net.sourceforge.czt.util.cli.CztTool
 
resetInstanceCounter() - Static method in class net.sourceforge.czt.base.impl.BaseFactory
 
run() - Method in interface net.sourceforge.czt.util.cli.CztTool
 

S

Section - Enum in net.sourceforge.czt.util
Common section names.
set(int, E) - Method in class net.sourceforge.czt.base.impl.ListTermImpl
Replaces the elment at the specifed position in this list with the specified element.
setConsoleHandler(Logger) - Static method in class net.sourceforge.czt.util.CztLogger
 
setConsoleHandler(Logger, Level) - Static method in class net.sourceforge.czt.util.CztLogger
 
setConsoleHandler(Logger, Level, Level) - Static method in class net.sourceforge.czt.util.CztLogger
 
setConsoleHandler(Logger, Level, Level, Formatter) - Static method in class net.sourceforge.czt.util.CztLogger
 
setEncoding(String) - Method in class net.sourceforge.czt.base.util.AbstractXmlWriter
 
setEncoding(String) - Method in interface net.sourceforge.czt.base.util.XmlWriter
Sets the output encoding to use when marshalling the XML data.
setFileHandler(Logger, String) - Static method in class net.sourceforge.czt.util.CztLogger
 
setFileHandler(Logger, Level, String) - Static method in class net.sourceforge.czt.util.CztLogger
 
setFileHandler(Logger, Level, Level, String) - Static method in class net.sourceforge.czt.util.CztLogger
 
setFileHandler(Logger, Level, Level, String, Formatter) - Static method in class net.sourceforge.czt.util.CztLogger
 
setStaticToStringVisitor(Visitor<String>) - Static method in class net.sourceforge.czt.base.util.TermTreeNode
 
setToStringVisitor(Visitor<String>) - Method in class net.sourceforge.czt.base.impl.BaseFactory
 
setToStringVisitor(Visitor<String>) - Method in class net.sourceforge.czt.base.util.TermTreeNode
 
SimpleFormatter - Class in net.sourceforge.czt.util
A simple log formatter that can be used for file handle formats.
SimpleFormatter(boolean, boolean, boolean, boolean) - Constructor for class net.sourceforge.czt.util.SimpleFormatter
 
size() - Method in class net.sourceforge.czt.base.impl.ListTermImpl
Returns the number of components in this list.
standardSections() - Static method in enum net.sourceforge.czt.util.Section
 
standardSections(String) - Static method in enum net.sourceforge.czt.util.Section
 

T

Term - Interface in net.sourceforge.czt.base.ast
A Z construct/term.
TermImpl - Class in net.sourceforge.czt.base.impl
An abstract implementation of the interface Term.
TermImpl() - Constructor for class net.sourceforge.czt.base.impl.TermImpl
 
TermImpl(BaseFactory) - Constructor for class net.sourceforge.czt.base.impl.TermImpl
 
TermInstanceCountManager - Class in net.sourceforge.czt.base.util
 
TermToString - Class in net.sourceforge.czt.base.util
Converter from Term to String.
TermToString() - Constructor for class net.sourceforge.czt.base.util.TermToString
 
TermTreeNode - Class in net.sourceforge.czt.base.util
A node of an AST that can be used as a tree node in a JTree.
TermTreeNode(int, Object, TermTreeNode) - Constructor for class net.sourceforge.czt.base.util.TermTreeNode
 
TermVisitor<R> - Interface in net.sourceforge.czt.base.visitor
A visitor for visiting terms.
toString(Term) - Method in class net.sourceforge.czt.base.impl.BaseFactory
 
toString() - Method in class net.sourceforge.czt.base.impl.ListTermImpl
 
toString() - Method in class net.sourceforge.czt.base.impl.TermImpl
 
toString() - Method in class net.sourceforge.czt.base.util.TermTreeNode
 
toString() - Method in class net.sourceforge.czt.text.Position
 
toString() - Method in class net.sourceforge.czt.util.Pair
 
transitiveInterfaces(Class<?>...) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
transitiveInterfaces(Object) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
transitiveInterfaces(Class<?>) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
transitivelyCheckVisitorRules(Object) - Static method in class net.sourceforge.czt.base.visitor.VisitorUtils
Transitive visitor utils.
transitiveSuperClasses(Object) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
transitiveSuperClasses(Class<?>) - Static method in class net.sourceforge.czt.util.ReflectionUtils
 
tryInterfaces(Class<?>) - Method in class net.sourceforge.czt.util.ReflectiveVisitor
 

U

UnmarshalException - Exception in net.sourceforge.czt.base.util
This exception indicates that an error has occured while performing an unmarshal operation.
UnmarshalException(String) - Constructor for exception net.sourceforge.czt.base.util.UnmarshalException
Construct an UnmarshalException with the specified detail message.
UnmarshalException(String, Throwable) - Constructor for exception net.sourceforge.czt.base.util.UnmarshalException
Construct an UnmarshalException with the specified detail message and cause.
UnmarshalException(Throwable) - Constructor for exception net.sourceforge.czt.base.util.UnmarshalException
Construct an UnmarshalException with the specified cause.
UnsupportedAstClassException - Exception in net.sourceforge.czt.base.util
An exception thrown by visitors when an unexpected AST class has been found.
UnsupportedAstClassException() - Constructor for exception net.sourceforge.czt.base.util.UnsupportedAstClassException
 
UnsupportedAstClassException(String) - Constructor for exception net.sourceforge.czt.base.util.UnsupportedAstClassException
 
UnsupportedAstClassException(String, Throwable) - Constructor for exception net.sourceforge.czt.base.util.UnsupportedAstClassException
 
UnsupportedAstClassException(Throwable) - Constructor for exception net.sourceforge.czt.base.util.UnsupportedAstClassException
 

V

valueOf(String) - Static method in enum net.sourceforge.czt.base.ast.Digit
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.util.Section
Returns the enum constant of this type with the specified name.
values() - Static method in enum net.sourceforge.czt.base.ast.Digit
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.util.Section
Returns an array containing the constants of this enum type, in the order they are declared.
Visit<R> - Interface in net.sourceforge.czt.base.util
An interace for a visit method.
visit(Term) - Method in interface net.sourceforge.czt.base.util.Visit
 
visitArray(Visitor<R>, Object[]) - Static method in class net.sourceforge.czt.base.visitor.VisitorUtils
Visits all the terms (instances of Term) contained in the array by calling the accept-method with the provided visitor as argument.
visitListTerm(ListTerm<?>) - Method in interface net.sourceforge.czt.base.visitor.ListTermVisitor
Visits a list term.
Visitor<R> - Interface in net.sourceforge.czt.util
The base interface of all czt visitors.
VisitorUtils - Class in net.sourceforge.czt.base.visitor
Static methods for visiting Z terms.
visitTerm(Term) - Method in class net.sourceforge.czt.base.util.BasePrintVisitor
 
visitTerm(Term) - Method in class net.sourceforge.czt.base.util.TermToString
 
visitTerm(Term) - Method in interface net.sourceforge.czt.base.visitor.TermVisitor
Visits a term.
visitTerm(Visitor<?>, T, boolean) - Static method in class net.sourceforge.czt.base.visitor.VisitorUtils
Visits a term by visiting all its children returned via its getChildren method.
visitTerm(Visitor<R>, Term) - Static method in class net.sourceforge.czt.base.visitor.VisitorUtils
Visits a term by visiting all its children returned via the getChildren method of Term.

W

whoWasCalling(int, int, int) - Static method in class net.sourceforge.czt.base.util.TermInstanceCountManager
 
write(Term, Writer) - Method in class net.sourceforge.czt.base.util.AbstractXmlWriter
 
write(Term, OutputStream) - Method in class net.sourceforge.czt.base.util.AbstractXmlWriter
 
write(Term, Writer) - Method in interface net.sourceforge.czt.base.util.XmlWriter
Marshalles a Term into the specified Writer.
write(Term, OutputStream) - Method in interface net.sourceforge.czt.base.util.XmlWriter
Marshalles a Term into the specified stream.

X

XmlReader - Interface in net.sourceforge.czt.base.util
An XML reader.
XmlWriter - Interface in net.sourceforge.czt.base.util
Provides methods for writing XML data.
A B C D E F G H I L M N O P R S T U V W X 
Skip navigation links

Copyright © 2003–2016 Community Z Tools Project. All rights reserved.