com.ibm.bluej.consistency.term

Class Binds

java.lang.Object

com.ibm.bluej.consistency.term.Binds

public class Binds
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	MIN_BIND_LEN

Constructor Summary

Constructors

Constructor and Description
Binds(ATerm[] quicksave)

Method Summary

Methods

Modifier and Type	Method and Description
void	addFunctionUnlink(ATerm b, Updatable neededBy)
java.lang.Object	checkpoint()
void	clear()
boolean	contains(ATerm t)
Binds	copy()
void	expand(Binds be)
ATerm	get(VarTerm v)
ATerm[]	getQuicksave()
java.lang.Object	popUnlinks()
void	quickCheckPoint()
void	quickRollback()
void	rollback(java.lang.Object o)
void	set(VarTerm v, ATerm t)
java.lang.String	toString()
static void	unlink(Function used, Updatable needs)
static void	unlink(java.lang.Object u)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

MIN_BIND_LEN

public static final int MIN_BIND_LEN

See Also:

Constant Field Values

Constructor Detail

Binds

public Binds(ATerm[] quicksave)

Method Detail

addFunctionUnlink

public void addFunctionUnlink(ATerm b,
                     Updatable neededBy)

popUnlinks

public java.lang.Object popUnlinks()

unlink

public static void unlink(java.lang.Object u)

unlink

public static void unlink(Function used,
          Updatable needs)

expand

public void expand(Binds be)

copy

public Binds copy()

contains

public final boolean contains(ATerm t)

clear

public void clear()

get

public ATerm get(VarTerm v)

set

public void set(VarTerm v,
       ATerm t)

checkpoint

public java.lang.Object checkpoint()

rollback

public void rollback(java.lang.Object o)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

quickCheckPoint

public void quickCheckPoint()

quickRollback

public void quickRollback()

getQuicksave

public ATerm[] getQuicksave()