一个购物车的部分代码，看不大懂。
HttpSession和IndexForm这2个类是在哪个库里边的，我怎么找不到
IndexForm inf = (IndexForm) form; 请问这是什么意思？特别是这个括号是什么用法？我翻了很久的java书也不知道
学jsp大概需要把java学到什么程度，我只把java的语法和部分常用的类和方法了解了一下
//这一步很简单,就是获取session.用于我们后来存储购物车的内容.
HttpSession session = request.getSession();
//这一步就是从session中获取购物车.
Vector car = (Vector) session.getAttribute("car");
//这是我首页面的Form表单
IndexForm inf = (IndexForm) form;
//product_do是我对于商品处理的一个类,其中包括安商品编号查找商品所有信息.
product_do pdo = new product_do();
//这就是我们得到的从首页面传过来的选定的商品编号的数组
String[] choice = inf.getChoice();
//下面判断这个数组是否为空.
if (choice.length == 0) {
//如果为空,说明没有选定任何商品,则跳回首页面
return mapping.getInputForward();
} else {
//如果不为空,遍历这个数组.
for (int i = 0; i < choice.length; i++) {
//声明一个布尔型变量,用于以后对于购买重复商品则数量叠加的控制.
boolean f = false;
//安数组中的现在下标位置的值(也就是商品编号),来获得这个商品的所有信息,并存入一个商品的javabean.
productBean pb = pdo.showproductByid(Integer
