dk.brics.tajs.analysis

Class Exceptions

java.lang.Object

dk.brics.tajs.analysis.Exceptions

public class Exceptions
extends Object

Models exceptions.

Method Summary

Methods

Modifier and Type	Method and Description
static void	throwException(State state, Value v, GenericSolver.SolverInterface c, AbstractNode source, CallContext context) Models an exception being thrown at the given node.
static void	throwRangeError(State state, GenericSolver.SolverInterface c) Models a RangeError exception being thrown at the current node.
static void	throwReferenceError(State state, GenericSolver.SolverInterface c) Models a ReferenceError exception being thrown at the current node.
static void	throwSyntaxError(State state, GenericSolver.SolverInterface c) Models a SyntaxError exception being thrown at the current node.
static void	throwTypeError(State state, GenericSolver.SolverInterface c) Models a TypeError exception being thrown at the current node.

Methods inherited from class java.lang.Object

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

Method Detail

throwException

public static void throwException(State state,
                  Value v,
                  GenericSolver.SolverInterface c,
                  AbstractNode source,
                  CallContext context)

Models an exception being thrown at the given node. Modifies the given state. Don't forget to set the state to none if the exception will definitely occur.

throwRangeError

public static void throwRangeError(State state,
                   GenericSolver.SolverInterface c)

Models a RangeError exception being thrown at the current node. Does not modify the given state. Don't forget to set the ordinary state to none if the exception will definitely occur.

throwReferenceError

public static void throwReferenceError(State state,
                       GenericSolver.SolverInterface c)

Models a ReferenceError exception being thrown at the current node. Does not modify the given state. Don't forget to set the ordinary state to none if the exception will definitely occur.

throwSyntaxError

public static void throwSyntaxError(State state,
                    GenericSolver.SolverInterface c)

Models a SyntaxError exception being thrown at the current node. Does not modify the given state. Don't forget to set the ordinary state to none if the exception will definitely occur.

throwTypeError

public static void throwTypeError(State state,
                  GenericSolver.SolverInterface c)

Models a TypeError exception being thrown at the current node. Does not modify the given state. Don't forget to set the ordinary state to none if the exception will definitely occur.