Examples with Type com.oracle.truffle.espresso.descriptors.Symbol.Type used on opensource projects

Example 26 with Type

use of com.oracle.truffle.espresso.descriptors.Symbol.Type in project graal by oracle.

the class ClassfileParser method parseLocalVariableTable.

private LocalVariableTable parseLocalVariableTable(Symbol<Name> name, int codeLength, int maxLocals) {
    boolean isLVTT = Name.LocalVariableTypeTable.equals(name);
    int entryCount = stream.readU2();
    if (entryCount == 0) {
        return isLVTT ? LocalVariableTable.EMPTY_LVTT : LocalVariableTable.EMPTY_LVT;
    }
    Local[] locals = new Local[entryCount];
    for (int i = 0; i < entryCount; i++) {
        int bci = stream.readU2();
        int length = stream.readU2();
        int nameIndex = stream.readU2();
        int descIndex = stream.readU2();
        int slot = stream.readU2();
        if (bci < 0 || bci >= codeLength) {
            throw ConstantPool.classFormatError("Invalid local variable table attribute entry: start_pc out of bounds: " + bci);
        }
        if (bci + length > codeLength) {
            throw ConstantPool.classFormatError("Invalid local variable table attribute entry: start_pc + length out of bounds: " + (bci + length));
        }
        Utf8Constant poolName = pool.utf8At(nameIndex);
        Utf8Constant typeName = pool.utf8At(descIndex);
        typeName.validateUTF8();
        poolName.validateFieldName();
        int extraSlot = 0;
        if (!isLVTT) {
            typeName.validateType(false);
            Symbol<Type> type = typeName.value();
            if (type == Type._long || type == Type._double) {
                extraSlot = 1;
            }
        }
        if (slot + extraSlot >= maxLocals) {
            throw ConstantPool.classFormatError("Invalid local variable table attribute entry: index points to an invalid frame slot: " + slot);
        }
        locals[i] = new Local(poolName, typeName, bci, bci + length, slot);
    }
    return new LocalVariableTable(name, locals);
}