Uses of Interface
net.sourceforge.czt.base.ast.Term

Packages that use Term

Package	Description
net.sourceforge.czt.base.ast	Base interfaces of the AST for Z.
net.sourceforge.czt.base.impl	Abstract base classes for 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.
net.sourceforge.czt.base.visitor	Base visitors for the AST for Z.

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

Subinterfaces of Term in net.sourceforge.czt.base.ast

Modifier and Type	Interface and Description
interface	ListTerm<E> A list that integrates nicely into the AST.

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

Modifier and Type	Method and Description
Term	Term.create(Object[] args) Creates a new object of the implementing class with the objects in args as its children.

Uses of Term in net.sourceforge.czt.base.impl

Classes in net.sourceforge.czt.base.impl that implement Term

Modifier and Type	Class and Description
class	ListTermImpl<E> A list implementation that integrates nicely into the AST.
class	TermImpl An abstract implementation of the interface Term.

Methods in net.sourceforge.czt.base.impl that return Term

Modifier and Type	Method and Description
Term	ListTermImpl.create(Object[] args)

Methods in net.sourceforge.czt.base.impl with parameters of type Term

Modifier and Type	Method and Description
String	BaseFactory.toString(Term term)

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

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

Modifier and Type	Method and Description
Term	XmlReader.read(File file) Unmarshalles XML data from the specified file and returns the root term.
Term	XmlReader.read(InputSource input) Unmarshalles XML data from the specified source and returns the root Term.
Term	XmlReader.read(InputStream stream) Unmarshalles XML data from the specified input stream and returns the root term.

Methods in net.sourceforge.czt.base.util that return types with arguments of type Term

Modifier and Type	Method and Description
static List<Term>	BaseUtils.collectAll(Class<?> c, Term term)
static List<Term>	BaseUtils.collectAll(String className, Term term)

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

Modifier and Type	Method and Description
static String	TermToString.apply(Term term)
static List<Term>	BaseUtils.collectAll(Class<?> c, Term term)
static void	BaseUtils.collectAll(Class<?> c, Term term, List<Term> result)
static List<Term>	BaseUtils.collectAll(String className, Term term)
static int	BaseUtils.depth(Term term) Returns the maximal depth of the given term tree.
static long	TermInstanceCountManager.instancesCount(Term term, boolean live)
static void	TermInstanceCountManager.log(Term term, String extra)
static void	TermInstanceCountManager.log(Term term, String extra, int callDepthLowerBound, int callDepthUpperBound, int targetIncrease)
R	Visit.visit(Term term)
Object	TermToString.visitTerm(Term term)
String	BasePrintVisitor.visitTerm(Term term)
void	XmlWriter.write(Term term, OutputStream stream) Marshalles a Term into the specified stream.
void	AbstractXmlWriter.write(Term term, OutputStream stream)
void	XmlWriter.write(Term term, Writer writer) Marshalles a Term into the specified Writer.
abstract void	AbstractXmlWriter.write(Term term, Writer writer)

Method parameters in net.sourceforge.czt.base.util with type arguments of type Term

Modifier and Type	Method and Description
static void	BaseUtils.collectAll(Class<?> c, Term term, List<Term> result)
static long	BaseUtils.instaceCount(Class<? extends Term> term)
static long	TermInstanceCountManager.instancesCount(Class<? extends Term> termCls, boolean live)

Uses of Term in net.sourceforge.czt.base.visitor

Methods in net.sourceforge.czt.base.visitor with type parameters of type Term

Modifier and Type	Method and Description
static <T extends Term> T	VisitorUtils.visitTerm(Visitor<?> visitor, T term, boolean share) Visits a term by visiting all its children returned via its getChildren method.

Methods in net.sourceforge.czt.base.visitor with parameters of type Term

Modifier and Type	Method and Description
R	TermVisitor.visitTerm(Term zedObject) Visits a term.
static <R> void	VisitorUtils.visitTerm(Visitor<R> visitor, Term term) Visits a term by visiting all its children returned via the getChildren method of Term.