org.jpc.term.compiler

Class Register

java.lang.Object

org.jpc.term.compiler.Register

public class Register
extends Object

Internal class. Represents a (term) binding currently bound to one or more variable cells.

Author:

sergioc

Constructor Summary

Constructors

Constructor and Description
Register(Term binding)

Method Summary

Modifier and Type	Method and Description
void	add(VarCell varCell)
void	addAll(Collection<VarCell> varCells)
void	becomes(Register register)
Term	getBinding()
Collection<VarCell>	getCells()
void	setBinding(Term binding)

Methods inherited from class java.lang.Object

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

Constructor Detail

Register

public Register(Term binding)

Parameters:

binding - the initial term binding associated to this register.

Method Detail

getBinding

public Term getBinding()

setBinding

public void setBinding(Term binding)

addAll

public void addAll(Collection<VarCell> varCells)

add

public void add(VarCell varCell)

getCells

public Collection<VarCell> getCells()

becomes

public void becomes(Register register)