dk.brics.tajs.analysis.signatures

Class NativeFunctionSignatureChecker.SimpleSignature

java.lang.Object

dk.brics.tajs.analysis.signatures.NativeFunctionSignatureChecker.SimpleSignature

All Implemented Interfaces:

Signature

Enclosing class:

NativeFunctionSignatureChecker

public static class NativeFunctionSignatureChecker.SimpleSignature
extends java.lang.Object
implements Signature

Signature with a fixed number of (maybe optional) arguments.

Constructor Summary

Constructors

Constructor and Description
SimpleSignature(boolean isConstructor, ValueDescription base, java.util.List<Parameter> parameters)
SimpleSignature(boolean isConstructor, ValueDescription base, Parameter... parameters)

Method Summary

Modifier and Type	Method and Description
int	getParametersLength()
boolean	shouldStopPropagation(HostObject hostobject, FunctionCalls.CallInfo call, GenericSolver.SolverInterface c) Checks if the function is invoked with appropriate arguments, also performs related coercions of arguments and propagates type-errors if they have the wrong type.

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleSignature

public SimpleSignature(boolean isConstructor,
                       ValueDescription base,
                       java.util.List<Parameter> parameters)

SimpleSignature

public SimpleSignature(boolean isConstructor,
                       ValueDescription base,
                       Parameter... parameters)

Method Detail

getParametersLength

public int getParametersLength()

Specified by:

getParametersLength in interface Signature

Returns:

the length property of the function

shouldStopPropagation

public boolean shouldStopPropagation(HostObject hostobject,
                                     FunctionCalls.CallInfo call,
                                     GenericSolver.SolverInterface c)

Description copied from interface: Signature

Checks if the function is invoked with appropriate arguments, also performs related coercions of arguments and propagates type-errors if they have the wrong type.

Specified by:

shouldStopPropagation in interface Signature

Returns:

true iff the native function should be evaluated.