dk.brics.tajs.analysis.uneval

Class NormalForm

java.lang.Object

dk.brics.tajs.analysis.uneval.NormalForm

public class NormalForm
extends Object

Represents an expression on normal form. An expression on normal form has the following form: id fn(id) id id ... id The variables in a normal form are TAJS registers, but to be independent of that representation they are represented by strings. A mapping is stored, that maps from these strings back to TAJS registers.

Constructor Summary

Constructors

Constructor and Description
NormalForm(String normal_form, Map<String,Integer> mapping, Collection<String> args)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
Collection<String>	getArgumentsInUse()
Map<String,Integer>	getMapping()
String	getNormalForm()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NormalForm

public NormalForm(String normal_form,
          Map<String,Integer> mapping,
          Collection<String> args)

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getArgumentsInUse

public Collection<String> getArgumentsInUse()

Returns:

The list of arguments being read in this expression.

getMapping

public Map<String,Integer> getMapping()

getNormalForm

public String getNormalForm()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object