Package org.aspectj.apache.bcel.classfile

Examples of org.aspectj.apache.bcel.classfile.Constant

549
550
551
552
553
554
555
556
557
558
559
    /** Checks if the constraints of operands of the said instruction(s) are satisfied. */
     //getfield, putfield, getstatic, putstatic
     public void visitFieldInstruction(FieldInstruction o){
      indexValid(o, o.getIndex());
      Constant c = cpg.getConstant(o.getIndex());
      if (! (c instanceof ConstantFieldref)){
        constraintViolated(o, "Indexing a constant that's not a CONSTANT_Fieldref but a '"+c+"'.");
      }
     
      String field_name = o.getFieldName(cpg);
View Full Code Here
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
    public void visitInvokeInstruction(InvokeInstruction o){
      indexValid(o, o.getIndex());
      if (  (o instanceof INVOKEVIRTUAL)  ||
            (o instanceof INVOKESPECIAL)  ||
            (o instanceof INVOKESTATIC)  ){
        Constant c = cpg.getConstant(o.getIndex());
        if (! (c instanceof ConstantMethodref)){
          constraintViolated(o, "Indexing a constant that's not a CONSTANT_Methodref but a '"+c+"'.");
        }
        else{
          // Constants are okay due to pass2.
          ConstantNameAndType cnat = (ConstantNameAndType) (cpg.getConstant(((ConstantMethodref) c).getNameAndTypeIndex()));
          ConstantUtf8 cutf8 = (ConstantUtf8) (cpg.getConstant(cnat.getNameIndex()));
          if (cutf8.getBytes().equals(Constants.CONSTRUCTOR_NAME) && (!(o instanceof INVOKESPECIAL)) ){
            constraintViolated(o, "Only INVOKESPECIAL is allowed to invoke instance initialization methods.");
          }
          if ( (! (cutf8.getBytes().equals(Constants.CONSTRUCTOR_NAME)) ) && (cutf8.getBytes().startsWith("<")) ){
            constraintViolated(o, "No method with a name beginning with '<' other than the instance initialization methods may be called by the method invocation instructions.");
          }
        }
      }
      else{ //if (o instanceof INVOKEINTERFACE){
        Constant c = cpg.getConstant(o.getIndex());
        if (! (c instanceof ConstantInterfaceMethodref)){
          constraintViolated(o, "Indexing a constant that's not a CONSTANT_InterfaceMethodref but a '"+c+"'.");
        }
        // TODO: From time to time check if BCEL allows to detect if the
        // 'count' operand is consistent with the information in the
View Full Code Here
662
663
664
665
666
667
668
669
670
671
    }
   
    /** Checks if the constraints of operands of the said instruction(s) are satisfied. */
    public void visitINSTANCEOF(INSTANCEOF o){
      indexValid(o, o.getIndex());
      Constant c = cpg.getConstant(o.getIndex());
      if (!  (c instanceof ConstantClass)){
        constraintViolated(o, "Expecting a CONSTANT_Class operand, but found a '"+c+"'.");
      }
    }
View Full Code Here
671
672
673
674
675
676
677
678
679
680
    }

    /** Checks if the constraints of operands of the said instruction(s) are satisfied. */
    public void visitCHECKCAST(CHECKCAST o){
      indexValid(o, o.getIndex());
      Constant c = cpg.getConstant(o.getIndex());
      if (!  (c instanceof ConstantClass)){
        constraintViolated(o, "Expecting a CONSTANT_Class operand, but found a '"+c+"'.");
      }
    }
View Full Code Here
680
681
682
683
684
685
686
687
688
689
690
    }

    /** Checks if the constraints of operands of the said instruction(s) are satisfied. */
    public void visitNEW(NEW o){
      indexValid(o, o.getIndex());
      Constant c = cpg.getConstant(o.getIndex());
      if (!  (c instanceof ConstantClass)){
        constraintViolated(o, "Expecting a CONSTANT_Class operand, but found a '"+c+"'.");
      }
      else{
        ConstantUtf8 cutf8 = (ConstantUtf8) (cpg.getConstant( ((ConstantClass) c).getNameIndex() ));
View Full Code Here
697
698
699
700
701
702
703
704
705
706
707
    }

    /** Checks if the constraints of operands of the said instruction(s) are satisfied. */
    public void visitMULTIANEWARRAY(MULTIANEWARRAY o){
      indexValid(o, o.getIndex());
      Constant c = cpg.getConstant(o.getIndex());
      if (!  (c instanceof ConstantClass)){
        constraintViolated(o, "Expecting a CONSTANT_Class operand, but found a '"+c+"'.");
      }
      int dimensions2create = o.getDimensions();
      if (dimensions2create < 1){
View Full Code Here
720
721
722
723
724
725
726
727
728
729
730
    }

    /** Checks if the constraints of operands of the said instruction(s) are satisfied. */
    public void visitANEWARRAY(ANEWARRAY o){
      indexValid(o, o.getIndex());
      Constant c = cpg.getConstant(o.getIndex());
      if (!  (c instanceof ConstantClass)){
        constraintViolated(o, "Expecting a CONSTANT_Class operand, but found a '"+c+"'.");
      }
      Type t = o.getType(cpg);
      if (t instanceof ArrayType){
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
  /**
   * @return mnemonic for instruction with symbolic references resolved
   */
  public String toString(ConstantPool cp) {
    Constant        c   = cp.getConstant(index);
    StringTokenizer tok = new StringTokenizer(cp.constantToString(c));

    return Constants.OPCODE_NAMES[opcode] + " " +
      tok.nextToken().replace('.', '/') + tok.nextToken();
  }
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
  /**
   * @return mnemonic for instruction with symbolic references resolved
   */
  public String toString(ConstantPool cp) {
    Constant c   = cp.getConstant(index);
    String   str = cp.constantToString(c);

    if(c instanceof ConstantClass)
      str = str.replace('.', '/');

View Full Code Here
300
301
302
303
304
305
306
307
308
309
310
   public void visitFieldInstruction(FieldInstruction o){
     // visitLoadClass(o) has been called before: Every FieldOrMethod
     // implements LoadClass.
     // visitCPInstruction(o) has been called before.
    // A FieldInstruction may be: GETFIELD, GETSTATIC, PUTFIELD, PUTSTATIC
      Constant c = cpg.getConstant(o.getIndex());
      if (!(c instanceof ConstantFieldref)){
        constraintViolated(o, "Index '"+o.getIndex()+"' should refer to a CONSTANT_Fieldref_info structure, but refers to '"+c+"'.");
      }
      // the o.getClassType(cpg) type has passed pass 2; see visitLoadClass(o).
      Type t = o.getType(cpg);
View Full Code Here
TOP

Related Classes of org.aspectj.apache.bcel.classfile.Constant

  • org.aspectj.apache.bcel.generic.ConstantPoolGen
  • org.aspectj.apache.bcel.generic.CPInstruction
  • org.aspectj.apache.bcel.generic.FieldGen
  • org.aspectj.apache.bcel.generic.InstructionCP
  • org.aspectj.apache.bcel.generic.InstructionList
  • org.aspectj.apache.bcel.generic.InvokeInstruction
  • org.aspectj.apache.bcel.verifier.statics.Pass2Verifier$CPESSC_Visitor
  • org.aspectj.apache.bcel.verifier.statics.Pass2Verifier$InnerClassDetector
  • org.aspectj.apache.bcel.verifier.statics.Pass3aVerifier$InstOperandConstraintVisitor
  • org.aspectj.apache.bcel.verifier.structurals.ExecutionVisitor
    • 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.