dk.brics.tajs.analysis

Class Conversion

java.lang.Object

dk.brics.tajs.analysis.Conversion

public class Conversion
extends Object

Type conversions for abstract values (Chapter 9). Messages produced here are always of kind MAYBE (never CERTAIN) because conversion generally may occur conditionally.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Conversion.Hint Preferred type for conversion.

Method Summary

Methods

Modifier and Type	Method and Description
static Value	fromBooltoNum(Bool b) 9.3 Boolean to Number.
static Value	fromStrtoNum(Str str, GenericSolver.SolverInterface c) 9.3.1 String to Number.
static Value	toBoolean(Value v) 9.2 ToBoolean.
static int	toInt32(double nm) 9.5 ToInt32.
static Value	toInteger(Value v, GenericSolver.SolverInterface c) 9.4 ToInteger.
static Value	toInteger(Value v, int register, GenericSolver.SolverInterface c) 9.4 ToInteger.
static Value	toNumber(Value v, GenericSolver.SolverInterface c) 9.3 ToNumber.
static Value	toNumber(Value v, int register, GenericSolver.SolverInterface c) 9.3 ToNumber.
static Value	toObject(State state, AbstractNode node, Value v, GenericSolver.SolverInterface c) 9.9 ToObject, returning a Value.
static Set<ObjectLabel>	toObjectLabels(State state, AbstractNode node, Value v, GenericSolver.SolverInterface c) 9.9 ToObject, returning a set of object labels.
static Value	toPrimitive(Value v, Conversion.Hint hint, GenericSolver.SolverInterface c) 9.1 ToPrimitive.
static Value	toPrimitive(Value v, int register, Conversion.Hint hint, GenericSolver.SolverInterface c) 9.1 ToPrimitive.
static Value	toString(Value v, GenericSolver.SolverInterface c) 9.8 ToString.
static Value	toString(Value v, int register, GenericSolver.SolverInterface c) 9.8 ToString.
static long	toUInt16(double nm) 9.7 ToUInt16.
static long	toUInt32(double nm) 9.6 ToUInt32.

Methods inherited from class java.lang.Object

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

Method Detail

fromBooltoNum

public static Value fromBooltoNum(Bool b)

9.3 Boolean to Number.

fromStrtoNum

public static Value fromStrtoNum(Str str,
                 GenericSolver.SolverInterface c)

9.3.1 String to Number.

toBoolean

public static Value toBoolean(Value v)

9.2 ToBoolean.

toInt32

public static int toInt32(double nm)

9.5 ToInt32.

toInteger

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

9.4 ToInteger.

toInteger

public static Value toInteger(Value v,
              int register,
              GenericSolver.SolverInterface c)

9.4 ToInteger.

toNumber

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

9.3 ToNumber.

toNumber

public static Value toNumber(Value v,
             int register,
             GenericSolver.SolverInterface c)

9.3 ToNumber.

toObject

public static Value toObject(State state,
             AbstractNode node,
             Value v,
             GenericSolver.SolverInterface c)

9.9 ToObject, returning a Value. Note that this may have side-effects on the state! However, if the solver interface is null, no side-effects or messages are produced (but all object labels are still returned).

toObjectLabels

public static Set<ObjectLabel> toObjectLabels(State state,
                              AbstractNode node,
                              Value v,
                              GenericSolver.SolverInterface c)

9.9 ToObject, returning a set of object labels. Note that this may have side-effects on the state! However, if the solver interface is null, no side-effects or messages are produced (but all object labels are still returned).

toPrimitive

public static Value toPrimitive(Value v,
                Conversion.Hint hint,
                GenericSolver.SolverInterface c)

9.1 ToPrimitive. Converts a value to a primitive value according to the hint. Has no effect on primitive types but transforms wrapper objects to their wrapped values.

toPrimitive

public static Value toPrimitive(Value v,
                int register,
                Conversion.Hint hint,
                GenericSolver.SolverInterface c)

9.1 ToPrimitive. Converts a value to a primitive value according to the hint. Has no effect on primitive types but transforms wrapper objects to their wrapped values.

toString

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

9.8 ToString.

toString

public static Value toString(Value v,
             int register,
             GenericSolver.SolverInterface c)

9.8 ToString.

toUInt16

public static long toUInt16(double nm)

9.7 ToUInt16.

toUInt32

public static long toUInt32(double nm)

9.6 ToUInt32.