net.sourceforge.czt.animation.eval

Class Flatten

java.lang.Object

net.sourceforge.czt.animation.eval.Flatten

public class Flatten
extends Object

Flattens a Pred/Expr term into a list of FlatPred objects. The visit* methods add subclasses of Pred or Expr into the list flat_. Each visit*Expr method returns a Name, which is the name of the variable that will contain the result of the expression after evaulation. Each visit*Pred method returns null.

The ZLive parameter to the constructor is used to access the section manager (to get the current context of the expr/pred).

Constructor Summary

Constructors

Constructor and Description
Flatten(ZLive zlive)

Method Summary

Modifier and Type	Method and Description
static net.sourceforge.czt.z.ast.Expr	charTuple(net.sourceforge.czt.z.util.Factory factory, List<net.sourceforge.czt.z.ast.Decl> decls) Constructs a characteristic tuple.
static List<net.sourceforge.czt.z.ast.ZName>	declNames(List<net.sourceforge.czt.z.ast.Decl> decls) An auxiliary method for getting all the names in a list of Decl.
net.sourceforge.czt.z.ast.ZName	flattenExpr(net.sourceforge.czt.z.ast.Expr toFlatten, FlatPredList destination) Flattens the toFlatten expression into a list of FlatPred predicates.
void	flattenPred(net.sourceforge.czt.z.ast.Pred toFlatten, FlatPredList destination) Flattens the toFlatten predicate into a list of FlatPred predicates.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Flatten

public Flatten(ZLive zlive)

Method Detail

flattenPred

public void flattenPred(net.sourceforge.czt.z.ast.Pred toFlatten,
                        FlatPredList destination)
                 throws net.sourceforge.czt.session.CommandException

Flattens the toFlatten predicate into a list of FlatPred predicates.

Parameters:

toFlatten - The Pred to flatten.

destination - Generated FlatPred objects are appended to this list.

Throws:

net.sourceforge.czt.session.CommandException

flattenExpr

public net.sourceforge.czt.z.ast.ZName flattenExpr(net.sourceforge.czt.z.ast.Expr toFlatten,
                                                   FlatPredList destination)
                                            throws net.sourceforge.czt.session.CommandException

Flattens the toFlatten expression into a list of FlatPred predicates.

Parameters:

toFlatten - An Expr to flatten.

destination - Generated FlatPred objects are appended to this list.

Returns:

The name of the variable that will contain the result, after evaluation.

Throws:

net.sourceforge.czt.session.CommandException

charTuple

public static net.sourceforge.czt.z.ast.Expr charTuple(net.sourceforge.czt.z.util.Factory factory,
                                                       List<net.sourceforge.czt.z.ast.Decl> decls)

Constructs a characteristic tuple. TODO: make this handle schemas etc. properly.

Parameters:

decls - List of declarations.

Returns:

The characteristic tuple.

declNames

public static List<net.sourceforge.czt.z.ast.ZName> declNames(List<net.sourceforge.czt.z.ast.Decl> decls)

An auxiliary method for getting all the names in a list of Decl.