dk.brics.tajs.analysis.signatures

Class NativeFunctionSignatureChecker.ArityOverloadedSignature

java.lang.Object

dk.brics.tajs.analysis.signatures.NativeFunctionSignatureChecker.ArityOverloadedSignature

All Implemented Interfaces:

Signature

Enclosing class:

NativeFunctionSignatureChecker

static class NativeFunctionSignatureChecker.ArityOverloadedSignature
extends java.lang.Object
implements Signature

Generalization of other signatures. Capable of picking the appropriate signatures based on the number of arguments at the call site.

Constructor Summary

Constructors

Constructor and Description
ArityOverloadedSignature(NativeFunctionSignatureChecker.SimpleSignature... simpleSignatures)

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

ArityOverloadedSignature

public ArityOverloadedSignature(NativeFunctionSignatureChecker.SimpleSignature... simpleSignatures)

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.