public class Exceptions
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
throwException(State state,
Value v,
GenericSolver.SolverInterface c,
AbstractNode source)
Models an exception being thrown at the given node.
|
static void |
throwRangeError(GenericSolver.SolverInterface c,
boolean maybe)
Models a RangeError exception being thrown at the current node.
|
static void |
throwReferenceError(GenericSolver.SolverInterface c,
boolean maybe)
Models a ReferenceError exception being thrown at the current node.
|
static void |
throwSyntaxError(GenericSolver.SolverInterface c,
boolean maybe)
Models a SyntaxError exception being thrown at the current node.
|
static void |
throwTypeError(GenericSolver.SolverInterface c)
Models a TypeError exception being thrown at the current node.
|
public static void throwException(State state, Value v, GenericSolver.SolverInterface c, AbstractNode source)
public static void throwRangeError(GenericSolver.SolverInterface c, boolean maybe)
public static void throwReferenceError(GenericSolver.SolverInterface c, boolean maybe)
public static void throwSyntaxError(GenericSolver.SolverInterface c, boolean maybe)
public static void throwTypeError(GenericSolver.SolverInterface c)
Copyright © 2009-2019 Aarhus University