net.sourceforge.czt.animation.gui.temp

Class ZBinding

java.lang.Object

net.sourceforge.czt.animation.gui.temp.ZBinding

All Implemented Interfaces:

ZValue

public class ZBinding
extends Object
implements ZValue

Class representing Binding values in Z.

Constructor Summary

Constructors

Constructor and Description
ZBinding() Creates an empty binding.
ZBinding(net.sourceforge.czt.z.ast.BindExpr expr) Create a binding from a expr
ZBinding(Map<String,ZValue> binding) Creates a binding from a Map from identifiers (String) to values (ZValue).

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj) Test if this binding is equal to a given object.
ZValue	get(String location) Given an identifier, gets a value from the binding.
net.sourceforge.czt.z.ast.BindExpr	getExpr() Get the expr type representing the zvalue
int	hashCode()
Set<String>	keySet() Equivalent to Map.keySet().
protected net.sourceforge.czt.z.ast.DeclList	mapToDeclList(Map<String,ZValue> binding) Transfer a map to a DeclList
String	toString() Convert this binding to a string.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ZBinding

public ZBinding()

Creates an empty binding.

ZBinding

public ZBinding(Map<String,ZValue> binding)

Creates a binding from a Map from identifiers (String) to values (ZValue).

Parameters:

binding - The map to copy into the new binding.

ZBinding

public ZBinding(net.sourceforge.czt.z.ast.BindExpr expr)

Create a binding from a expr

Parameters:

expr_ - the BindExpr used to created the binding.

Method Detail

keySet

public Set<String> keySet()

Equivalent to Map.keySet().

Returns:

The set of keys in the binding.

get

public ZValue get(String location)

Given an identifier, gets a value from the binding.

Parameters:

location - The name of the value to get from the binding.

Returns:

The value.

equals

public boolean equals(Object obj)

Test if this binding is equal to a given object.

Overrides:

equals in class Object

Parameters:

obj - The object to compare against.

Returns:

true if obj is a ZBinding with the same mappings from name to value.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

Returns:

This object's hash code.

toString

public String toString()

Convert this binding to a string.

Overrides:

toString in class Object

Returns:

A string representation of this binding.

getExpr

public net.sourceforge.czt.z.ast.BindExpr getExpr()

Get the expr type representing the zvalue

Specified by:

getExpr in interface ZValue

Returns:

the representing expr

mapToDeclList

protected net.sourceforge.czt.z.ast.DeclList mapToDeclList(Map<String,ZValue> binding)

Transfer a map to a DeclList

Parameters:

binding - the map to be transfered to DeclList

Returns:

delList to create BindExpr