1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
/*
* Licensed to the Apache Software Foundation (ASF) under one or more
* contributor license agreements. See the NOTICE file distributed with
* this work for additional information regarding copyright ownership.
* The ASF licenses this file to You under the Apache License, Version 2.0
* (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*
*/
package org.apache.bcel.verifier.statics;
import org.apache.bcel.generic.Type;
import org.apache.bcel.verifier.exc.AssertionViolatedException;
import org.apache.bcel.verifier.exc.LocalVariableInfoInconsistentException;
/**
* A utility class holding the information about
* the names and the types of the local variables in
* a given method.
*
* @version $Id$
*/
public class LocalVariablesInfo{
/** The information about the local variables is stored here. */
private final LocalVariableInfo[] localVariableInfos;
/** The constructor. */
LocalVariablesInfo(final int max_locals) {
localVariableInfos = new LocalVariableInfo[max_locals];
for (int i=0; i<max_locals; i++) {
localVariableInfos[i] = new LocalVariableInfo();
}
}
/** Returns the LocalVariableInfo for the given slot. */
public LocalVariableInfo getLocalVariableInfo(final int slot) {
if (slot < 0 || slot >= localVariableInfos.length) {
throw new AssertionViolatedException("Slot number for local variable information out of range.");
}
return localVariableInfos[slot];
}
/**
* Adds information about the local variable in slot 'slot'. Automatically
* adds information for slot+1 if 't' is Type.LONG or Type.DOUBLE.
* @throws LocalVariableInfoInconsistentException if the new information conflicts
* with already gathered information.
*/
public void add(final int slot, final String name, final int startpc, final int length, final Type t) throws LocalVariableInfoInconsistentException{
// The add operation on LocalVariableInfo may throw the '...Inconsistent...' exception, we don't throw it explicitely here.
if (slot < 0 || slot >= localVariableInfos.length) {
throw new AssertionViolatedException("Slot number for local variable information out of range.");
}
localVariableInfos[slot].add(name, startpc, length, t);
if (t == Type.LONG) {
localVariableInfos[slot+1].add(name, startpc, length, LONG_Upper.theInstance());
}
if (t == Type.DOUBLE) {
localVariableInfos[slot+1].add(name, startpc, length, DOUBLE_Upper.theInstance());
}
}
}
|
