public class FunctionFileLoader
extends java.lang.Object
Constructor and Description |
---|
FunctionFileLoader() |
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.
|
public static Value loadFunction(java.lang.String target, boolean isHostEnvironment, java.util.List<java.lang.String> parameterNames, GenericSolver.SolverInterface c)
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.Copyright © 2009-2019 Aarhus University