Package org.apache.bcel.verifier.exc

Examples of org.apache.bcel.verifier.exc.AssertionViolatedException

1190
1191
1192
1193
1194
1195
1196
1197
        constraintViolated(o, "Referenced class '"+jc.getClassName()+"' is an interface, but not a class as expected.");
      }
         
        } catch (ClassNotFoundException e) {
      // FIXME: maybe not the best way to handle this
      throw new AssertionViolatedException("Missing class: " + e.toString());
        }
    }
View Full Code Here
91
92
93
94
95
96
97
98
99
// of "EmptyVisitor" and provide a thousand empty methods.
// However, in terms of performance this would be a better idea.
// If some new "Node" is defined in BCEL (such as some concrete "Attribute"), we
// want to know that this class has also to be adapted.
        if (tostring == null) {
            throw new AssertionViolatedException("Please adapt '" + getClass() + "' to deal with objects of class '" + n.getClass() + "'.");
        }
        return tostring;
    }
View Full Code Here
116
117
118
119
120
121
122
123
124
  public LocalVariablesInfo getLocalVariablesInfo(int method_nr){
    if (this.verify() != VerificationResult.VR_OK) {
            return null; // It's cached, don't worry.
        }
    if (method_nr < 0 || method_nr >= localVariablesInfos.length){
      throw new AssertionViolatedException("Method number out of range.");
    }
    return localVariablesInfos[method_nr];
  }
View Full Code Here
169
170
171
172
173
174
175
176
            return VerificationResult.VR_NOTYET;
        }

      } catch (ClassNotFoundException e) {
    // FIXME: this might not be the best way to handle missing classes.
    throw new AssertionViolatedException("Missing class: " + e.toString());
      }
  }
View Full Code Here
221
222
223
224
225
226
227
228
      }
    }

      } catch (ClassNotFoundException e) {
    // FIXME: this might not be the best way to handle missing classes.
    throw new AssertionViolatedException("Missing class: " + e.toString());
      }
  }
View Full Code Here
276
277
278
279
280
281
282
283
284
      jc = Repository.lookupClass(jc.getSuperclassName());  // Well, for OBJECT this returns OBJECT so it works (could return anything but must not throw an Exception).
    }

      } catch (ClassNotFoundException e) {
    // FIXME: this might not be the best way to handle missing classes.
    throw new AssertionViolatedException("Missing class: " + e.toString());
      }

  }
View Full Code Here
297
298
299
300
301
302
303
304
    JavaClass jc = Repository.lookupClass(myOwner.getClassName());
    new CPESSC_Visitor(jc); // constructor implicitely traverses jc

      } catch (ClassNotFoundException e) {
    // FIXME: this might not be the best way to handle missing classes.
    throw new AssertionViolatedException("Missing class: " + e.toString());
      }
  }
View Full Code Here
1168
1169
1170
1171
1172
1173
1174
1175
    DescendingVisitor v = new DescendingVisitor(jc, new FAMRAV_Visitor(jc));
    v.visit();

      } catch (ClassNotFoundException e) {
    // FIXME: this might not be the best way to handle missing classes.
    throw new AssertionViolatedException("Missing class: " + e.toString());
      }
  }
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
  /**
   * Pushes a Type object onto the stack.
   */
  public void push(Type type){
    if (type == null) {
            throw new AssertionViolatedException("Cannot push NULL onto OperandStack.");
        }
    if (type == Type.BOOLEAN || type == Type.CHAR || type == Type.BYTE || type == Type.SHORT){
      throw new AssertionViolatedException("The OperandStack does not know about '"+type+"'; use Type.INT instead.");
    }
    if (slotsUsed() >= maxStack){
      throw new AssertionViolatedException("OperandStack too small, should have thrown proper Exception elsewhere. Stack: "+this);
    }
    stack.add(type);
  }
View Full Code Here
242
243
244
245
246
247
248
249
        }
      }
    }
      } catch (ClassNotFoundException e) {
    // FIXME: maybe not the best way to handle this
    throw new AssertionViolatedException("Missing class: " + e.toString());
      }
  }
View Full Code Here
TOP

Related Classes of org.apache.bcel.verifier.exc.AssertionViolatedException

  • org.apache.bcel.verifier.statics.LocalVariablesInfo
  • org.apache.bcel.verifier.statics.Pass2Verifier
  • org.apache.bcel.verifier.statics.Pass2Verifier$CPESSC_Visitor
  • org.apache.bcel.verifier.statics.Pass3aVerifier
  • org.apache.bcel.verifier.statics.Pass3aVerifier$InstOperandConstraintVisitor
  • org.apache.bcel.verifier.statics.StringRepresentation
  • org.apache.bcel.verifier.structurals.ControlFlowGraph
  • org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl
  • org.apache.bcel.verifier.structurals.InstConstraintVisitor
  • org.apache.bcel.verifier.structurals.LocalVariables
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.