Java Code Examples for jdk.nashorn.internal.ir.Symbol#setCanBeUndefined()
The following examples show how to use
jdk.nashorn.internal.ir.Symbol#setCanBeUndefined() .
You can vote up the ones you like or vote down the ones you don't like,
and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
| Source File: Attr.java From openjdk-8-source with GNU General Public License v2.0 | 5 votes |
|
private static void ensureTypeNotUnknown(final Expression node) {
final Symbol symbol = node.getSymbol();
LOG.info("Ensure type not unknown for: ", symbol);
/*
* Note that not just unknowns, but params need to be blown
* up to objects, because we can have something like
*
* function f(a) {
* var b = ~a; //b and a are inferred to be int
* return b;
* }
*
* In this case, it would be correct to say that "if you have
* an int at the callsite, just pass it".
*
* However
*
* function f(a) {
* var b = ~a; //b and a are inferred to be int
* return b == 17; //b is still inferred to be int.
* }
*
* can be called with f("17") and if we assume that b is an
* int and don't blow it up to an object in the comparison, we
* are screwed. I hate JavaScript.
*
* This check has to be done for any operation that might take
* objects as parameters, for example +, but not *, which is known
* to coerce types into doubles
*/
if (node.getType().isUnknown() || (symbol.isParam() && !symbol.isSpecializedParam())) {
newType(symbol, Type.OBJECT);
symbol.setCanBeUndefined();
}
}
Example 2
| Source File: Attr.java From openjdk-8 with GNU General Public License v2.0 | 5 votes |
|
private static void ensureTypeNotUnknown(final Expression node) {
final Symbol symbol = node.getSymbol();
LOG.info("Ensure type not unknown for: ", symbol);
/*
* Note that not just unknowns, but params need to be blown
* up to objects, because we can have something like
*
* function f(a) {
* var b = ~a; //b and a are inferred to be int
* return b;
* }
*
* In this case, it would be correct to say that "if you have
* an int at the callsite, just pass it".
*
* However
*
* function f(a) {
* var b = ~a; //b and a are inferred to be int
* return b == 17; //b is still inferred to be int.
* }
*
* can be called with f("17") and if we assume that b is an
* int and don't blow it up to an object in the comparison, we
* are screwed. I hate JavaScript.
*
* This check has to be done for any operation that might take
* objects as parameters, for example +, but not *, which is known
* to coerce types into doubles
*/
if (node.getType().isUnknown() || (symbol.isParam() && !symbol.isSpecializedParam())) {
newType(symbol, Type.OBJECT);
symbol.setCanBeUndefined();
}
}
Example 3
| Source File: Attr.java From nashorn with GNU General Public License v2.0 | 5 votes |
|
private static void ensureTypeNotUnknown(final Expression node) {
final Symbol symbol = node.getSymbol();
LOG.info("Ensure type not unknown for: ", symbol);
/*
* Note that not just unknowns, but params need to be blown
* up to objects, because we can have something like
*
* function f(a) {
* var b = ~a; //b and a are inferred to be int
* return b;
* }
*
* In this case, it would be correct to say that "if you have
* an int at the callsite, just pass it".
*
* However
*
* function f(a) {
* var b = ~a; //b and a are inferred to be int
* return b == 17; //b is still inferred to be int.
* }
*
* can be called with f("17") and if we assume that b is an
* int and don't blow it up to an object in the comparison, we
* are screwed. I hate JavaScript.
*
* This check has to be done for any operation that might take
* objects as parameters, for example +, but not *, which is known
* to coerce types into doubles
*/
if (node.getType().isUnknown() || (symbol.isParam() && !symbol.isSpecializedParam())) {
newType(symbol, Type.OBJECT);
symbol.setCanBeUndefined();
}
}
