dk.brics.tajs.unevalizer

Interface AnalyzerCallback

public interface AnalyzerCallback

The interface that the Unevalizer uses for querying the driving analysis.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	anyDeclared(Set<String> s) Returns true if any variable in the set s might be a declared variable.
String	getFullExpression(String placeHolder) Gives the full expression for the variable placeHolder.
Set<String>	getNonGlobalIdentifiers() Get the set of identifiers bound in the non global scope
boolean	isDefinitelyBoolean(String s) Returns true if the variable s is definitely a boolean.
boolean	isDefinitelyIdentifier(String s) Returns true if the variable s is a legal identifier.
boolean	isDefinitelyIdentifierFragment(String s) Returns true if the variable s is a legal identifier fragment.
boolean	isDefinitelyInteger(String s) Returns true if the variable s is definitely an integer.
boolean	isDefinitelyJSONData(String s) Returns true if the variable s is definitely JSON Data.

Method Detail

anyDeclared

boolean anyDeclared(Set<String> s)

Returns true if any variable in the set s might be a declared variable.

getFullExpression

String getFullExpression(String placeHolder)

Gives the full expression for the variable placeHolder. Useful for debugging purposes.

getNonGlobalIdentifiers

Set<String> getNonGlobalIdentifiers()

Get the set of identifiers bound in the non global scope

isDefinitelyBoolean

boolean isDefinitelyBoolean(String s)

Returns true if the variable s is definitely a boolean.

isDefinitelyIdentifier

boolean isDefinitelyIdentifier(String s)

Returns true if the variable s is a legal identifier.

isDefinitelyIdentifierFragment

boolean isDefinitelyIdentifierFragment(String s)

Returns true if the variable s is a legal identifier fragment.

isDefinitelyInteger

boolean isDefinitelyInteger(String s)

Returns true if the variable s is definitely an integer.

isDefinitelyJSONData

boolean isDefinitelyJSONData(String s)

Returns true if the variable s is definitely JSON Data.