| Package | Description |
|---|---|
| net.sourceforge.czt.animation |
Z Animator.
|
| net.sourceforge.czt.animation.gui.history |
Classes managing animation history.
|
| net.sourceforge.czt.animation.gui.temp |
Classes that are expected to disappear once integrated with the animator.
|
| Modifier and Type | Method and Description |
|---|---|
abstract ZValue |
ZLocator.apply(ZValue v)
Locates a value within
v. |
protected ZValue |
ZLocator.recurse(ZValue v)
Does the recursive part of an apply.
|
| Modifier and Type | Method and Description |
|---|---|
abstract ZValue |
ZLocator.apply(ZValue v)
Locates a value within
v. |
protected ZValue |
ZLocator.recurse(ZValue v)
Does the recursive part of an apply.
|
| Modifier and Type | Field and Description |
|---|---|
protected Map<ZLocator,ZValue> |
HistorySupport.inputs_ |
| Modifier and Type | Method and Description |
|---|---|
Map<ZLocator,ZValue> |
HistorySupport.getInputs()
Getter function for the map from locators, and the object.property to bind
them to.
|
Map<ZLocator,ZValue> |
History.getInputs()
Getter function for the map from locators, and the object.property to bind
them to.
|
| Modifier and Type | Method and Description |
|---|---|
void |
HistorySupport.addInput(ZLocator variable,
ZValue value)
Convenience function for adding values into the inputs.
|
void |
History.addInput(ZLocator variable,
ZValue value)
Convenience function for adding values into the inputs.
|
| Modifier and Type | Method and Description |
|---|---|
ZBinding |
ZLiveHistory.format(Map<ZLocator,ZValue> inputs) |
| Modifier and Type | Class and Description |
|---|---|
class |
ZBinding
Class representing Binding values in Z.
|
class |
ZGiven
Class representing the value of a Z variable of type Given.
|
class |
ZNumber
Values in Z that are numbers.
|
class |
ZSet
Values in Z that are Sets.
|
class |
ZTuple
Class representing Z values that are Tuples.
|
| Modifier and Type | Method and Description |
|---|---|
ZValue |
ZTuple.get(int index)
Return the
indexth value in the tuple. |
ZValue |
ZSet.get(int index) |
ZValue |
ZBinding.get(String location)
Given an identifier, gets a value from the binding.
|
ZValue |
ZTuple.ZTupleIterator.next() |
ZValue |
ZSet.ZSetIterator.next() |
ZValue |
ZTuple.ZTupleIterator.previous() |
ZValue |
ZSet.ZSetIterator.previous() |
static ZValue |
GaffeFactory.zValue(net.sourceforge.czt.z.ast.Expr e) |
| Modifier and Type | Method and Description |
|---|---|
Set<ZValue> |
ZSet.getSet() |
ListIterator<ZValue> |
ZTuple.iterator() |
ListIterator<ZValue> |
ZSet.iterator() |
| Modifier and Type | Method and Description |
|---|---|
void |
ZTuple.ZTupleIterator.add(ZValue arg0) |
void |
ZSet.ZSetIterator.add(ZValue arg0) |
boolean |
ZSet.contains(ZValue value) |
void |
ZTuple.ZTupleIterator.set(ZValue arg0) |
void |
ZSet.ZSetIterator.set(ZValue arg0) |
| Modifier and Type | Method and Description |
|---|---|
protected net.sourceforge.czt.z.ast.DeclList |
ZBinding.mapToDeclList(Map<String,ZValue> binding)
Transfer a map to a DeclList
|
| Constructor and Description |
|---|
ZTuple(ZValue a,
ZValue b)
Construct a tuple containing two values.
|
| Constructor and Description |
|---|
SolutionSet(String schemaName,
Set<? extends ZValue> solutions)
Creates a
SolutionSet from a Set containing all
of the solutions. |
ZBinding(Map<String,ZValue> binding)
Creates a binding from a
Map from identifiers
(String) to values (ZValue). |
ZSet(Set<? extends ZValue> set)
Construct a
ZSet from a Set of values. |
ZTuple(List<ZValue> tuple)
Construct a tuple from a list of values.
|
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.