toolbus.environment
Class Binding

java.lang.Object
  toolbus.environment.Binding

public class Binding
extends java.lang.Object

Binding implements one (variable, value) pair.

Field Summary

private boolean	assignable
private boolean	formal
private java.lang.String	name
(package private) aterm.ATerm	val
(package private) TBTermVar	var

Constructor Summary

Binding(TBTermVar var, aterm.ATerm val)

Binding(TBTermVar var, aterm.ATerm val, boolean isFormal)

Method Summary

java.lang.String	getName()
aterm.ATerm	getVal()
TBTermVar	getVar()
boolean	isAssignable()
boolean	isFormal()
void	setAssignable(boolean b)
void	setFormal(boolean b)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

var

final TBTermVar var

val

aterm.ATerm val

name

private final java.lang.String name

formal

private boolean formal

assignable

private boolean assignable

Constructor Detail

Binding

public Binding(TBTermVar var,
               aterm.ATerm val,
               boolean isFormal)

Binding

public Binding(TBTermVar var,
               aterm.ATerm val)

Method Detail

getVar

public TBTermVar getVar()

getVal

public aterm.ATerm getVal()

isFormal

public boolean isFormal()

setFormal

public void setFormal(boolean b)

isAssignable

public boolean isAssignable()

setAssignable

public void setAssignable(boolean b)

getName

public java.lang.String getName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object