dk.brics.tajs.analysis

Class NativeObjectToString

java.lang.Object

dk.brics.tajs.analysis.NativeObjectToString

public class NativeObjectToString
extends java.lang.Object

Implementation of Object.prototype.toString, which depends on the host environment.

Constructor Summary

Constructors

Constructor and Description
NativeObjectToString()

Method Summary

Modifier and Type	Method and Description
static Value	evaluate(Value v, GenericSolver.SolverInterface c)

Methods inherited from class java.lang.Object

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

Constructor Detail

NativeObjectToString

public NativeObjectToString()

Method Detail

evaluate

public static Value evaluate(Value v,
                             GenericSolver.SolverInterface c)