net.sourceforge.czt.animation.eval.flatpred

Class ModeList

java.lang.Object

net.sourceforge.czt.animation.eval.flatpred.Mode

net.sourceforge.czt.animation.eval.flatpred.ModeList

public class ModeList
extends Mode

A subclass of Mode that records modes for compound structures. In addition to the usual mode information, it records a list of Mode objects for the subcomponents of the main flatpred object. For example, this is used to record the modes of the schema text and body of a universal quantifier.

Field Summary

Fields inherited from class net.sourceforge.czt.animation.eval.flatpred.Mode

args_, MAYBE_ONE_SOLUTION, ONE_SOLUTION, outputs_, parent_, postEnvir_, preEnvir_, solutions_

Constructor Summary

Constructors

Constructor and Description
ModeList(FlatPred parent, Envir env0, Envir env, List<net.sourceforge.czt.z.ast.ZName> args, double solns, List<Mode> subModes) Constructor for ModeList objects.
ModeList(Mode mode) A copy constructor.

Method Summary

Modifier and Type	Method and Description
void	add(Mode mode) Add a mode to the end of the submodes list.
Mode	get(int position) Gets one of the submodes.
Iterator<Mode>	iterator() An iterator over the submodes list.
int	size() The number of sub modes.

Methods inherited from class net.sourceforge.czt.animation.eval.flatpred.Mode

compatible, getEnvir, getEnvir0, getOutputs, getParent, getSolutions, isInput, isInput, isOutput, numOutputs, setSolutions, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ModeList

public ModeList(FlatPred parent,
                Envir env0,
                Envir env,
                List<net.sourceforge.czt.z.ast.ZName> args,
                double solns,
                List<Mode> subModes)

Constructor for ModeList objects.

ModeList

public ModeList(Mode mode)

A copy constructor.

Method Detail

add

public void add(Mode mode)

Add a mode to the end of the submodes list.

size

public int size()

The number of sub modes.

get

public Mode get(int position)

Gets one of the submodes.

iterator

public Iterator<Mode> iterator()

An iterator over the submodes list. These are the Mode objects for the subcomponents of the flatpred object associated with this mode.