dk.brics.tajs.analysis.nativeobjects

Class FunctionFileLoader

java.lang.Object

dk.brics.tajs.analysis.nativeobjects.FunctionFileLoader

public class FunctionFileLoader
extends java.lang.Object

Utility for loading the content of a file as a function body.

Constructor Summary

Constructors

Constructor and Description
FunctionFileLoader()

Method Summary

Modifier and Type	Method and Description
static Value	loadFunction(java.lang.String target, boolean isHostEnvironment, java.util.List<java.lang.String> parameterNames, GenericSolver.SolverInterface c) Loads a JavaScript file as a function with the chosen parameter, and optionally marks the function as host-environment function.

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionFileLoader

public FunctionFileLoader()

Method Detail

loadFunction

public static Value loadFunction(java.lang.String target,
                                 boolean isHostEnvironment,
                                 java.util.List<java.lang.String> parameterNames,
                                 GenericSolver.SolverInterface c)

Loads a JavaScript file as a function with the chosen parameter, and optionally marks the function as host-environment function.

Parameters:

target - file containing the source code of the function.

isHostEnvironment - true iff the function should be marked as a host environment function.

parameterNames - the parameter names of the function.

Returns:

value representing the loaded and instantiated function.