/** * An assertion to call when reaching a point that should not be reached. * * @throws UnimplementedError unconditionally */ public static void UNREACHABLE() { throw new UnimplementedError(); }
/** * An assertion to call when reaching a point that should not be reached. * * @throws UnimplementedError unconditionally */ public static void UNREACHABLE(String string) { throw new UnimplementedError(string); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayLoad(IArrayLoadInstruction) */ @Override public void visitArrayGet(ArrayGet instruction) { // TODO // workingState.pop(); // workingState.pop(); // workingState.push(UNANALYZED); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayStore(IArrayStoreInstruction) */ @Override public void visitArrayPut(ArrayPut instruction) { // TODO // workingState.pop(); // workingState.pop(); // workingState.pop(); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConditionalBranch(IConditionalBranchInstruction) */ @Override public void visitBranch(Branch instruction) { // TODO // workingState.pop(); // workingState.pop(); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitThrow(ThrowInstruction) */ @Override public void visitThrow(Throw instruction) { // TODO // int exceptionType = workingState.pop(); // workingState.clearStack(); // workingState.push(exceptionType); throw new UnimplementedError(); }
/** * An assertion which does not need to be guarded by verifyAssertions. These assertions will be enabled in production! * * @throws UnimplementedError if b == false */ public static void productionAssertion(boolean b) throws UnimplementedError { if (!b) throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayLength(ArrayLengthInstruction) */ @Override public void visitArrayLength(ArrayLength instruction) { // TODO // workingState.pop(); // workingState.push(UNANALYZED); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitMonitor(MonitorInstruction) */ @Override public void visitMonitor(Monitor instruction) { // TODO // workingState.pop(); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayLength(ArrayLengthInstruction) */ @Override public void visitArrayLength(ArrayLength instruction) { // TODO // workingState.pop(); // workingState.push(UNANALYZED); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitBinaryOp(IBinaryOpInstruction) */ @Override public void visitBinaryOperation(BinaryOperation instruction) { // TODO // workingState.pop(); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitSwitch(SwitchInstruction) */ @Override public void visitSwitch(Switch instruction) { // TODO // workingState.pop(); throw new UnimplementedError(); }
/** * An assertion to call when reaching a point that should not be reached. * * @throws UnimplementedError unconditionally */ public static void UNREACHABLE(String string) { throw new UnimplementedError(string); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConstant(ConstantInstruction) */ @Override public void visitConstant(Constant instruction) { // TODO // workingState.push(UNANALYZED); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitInstanceof */ @Override public void visitInstanceof(InstanceOf instruction) { // TODO // workingState.pop(); // workingState.push(UNANALYZED); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitThrow(ThrowInstruction) */ @Override public void visitThrow(Throw instruction) { // TODO // int exceptionType = workingState.pop(); // workingState.clearStack(); // workingState.push(exceptionType); throw new UnimplementedError(); }
/** * An assertion to call when reaching a point that should not be reached. * * @throws UnimplementedError unconditionally */ public static void UNREACHABLE() { throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConstant(ConstantInstruction) */ @Override public void visitConstant(Constant instruction) { // TODO // workingState.push(UNANALYZED); throw new UnimplementedError(); }
/** * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitMonitor(MonitorInstruction) */ @Override public void visitMonitor(Monitor instruction) { // TODO // workingState.pop(); throw new UnimplementedError(); }
@Override public void remove() throws UnimplementedError { throw new UnimplementedError(); }