/** * Set the index of the register where "this" (the pointer to * the translet) is stored. */ public void setTransletIndex(int index) { _aloadTranslet = new ALOAD(index); }
if((inst instanceof ALOAD) && ((ALOAD)inst).getIndex() == varIndex) { ih = ih.getNext(); if(ih == null || !(ih.getInstruction() instanceof ATHROW)) {
public FilterGenerator(String className, String superClassName, String fileName, int accessFlags, String[] interfaces, Stylesheet stylesheet) { super(className, superClassName, fileName, accessFlags, interfaces, stylesheet); _aloadTranslet = new ALOAD(TRANSLET_INDEX); }
loadedStackValue = loadInst.getIndex();
/** * Set index where the reference to the DOM is stored. */ public void setDomIndex(int domIndex) { _aloadDom = new ALOAD(domIndex); }
public NodeSortRecordGenerator(String className, String superClassName, String fileName, int accessFlags, String[] interfaces, Stylesheet stylesheet) { super(className, superClassName, fileName, accessFlags, interfaces, stylesheet); _aloadTranslet = new ALOAD(TRANSLET_INDEX); }
public Instruction LOAD(int slot) { return new ALOAD(slot); }
/** Checks if the constraints of operands of the said instruction(s) are satisfied. */ @Override public void visitALOAD(final ALOAD o) { final int idx = o.getIndex(); if (idx < 0) { constraintViolated(o, "Index '"+idx+"' must be non-negative."); } else{ final int maxminus1 = max_locals()-1; if (idx > maxminus1) { constraintViolated(o, "Index '"+idx+"' must not be greater than max_locals-1 '"+maxminus1+"'."); } } }
public void setDomIndex(int domIndex) { _aloadDom = new ALOAD(domIndex); }
/** Checks if the constraints of operands of the said instruction(s) are satisfied. */ public void visitALOAD(ALOAD o){ int idx = o.getIndex(); if (idx < 0){ constraintViolated(o, "Index '"+idx+"' must be non-negative."); } else{ int maxminus1 = max_locals()-1; if (idx > maxminus1){ constraintViolated(o, "Index '"+idx+"' must not be greater than max_locals-1 '"+maxminus1+"'."); } } }
public Instruction LOAD(int slot) { return new ALOAD(slot); }
/** Symbolically executes the corresponding Java Virtual Machine instruction. */ @Override public void visitALOAD(final ALOAD o) { stack().push(locals().get(o.getIndex())); } /** Symbolically executes the corresponding Java Virtual Machine instruction. */
public Instruction LOAD(int slot) { return new ALOAD(slot); }
/** Symbolically executes the corresponding Java Virtual Machine instruction. */ public void visitALOAD(ALOAD o){ stack().push(locals().get(o.getIndex())); } /** Symbolically executes the corresponding Java Virtual Machine instruction. */
public Instruction LOAD(int slot) { return new ALOAD(slot); }
public Instruction loadParameter(int index) { return new ALOAD(index + PARAM_START_INDEX); }
public Instruction LOAD(int slot) { return new ALOAD(slot); }