Java Pool.getの例

コード例 #1

ファイル: PSTPicPointExpression.java プロジェクト: zukov/Jpicedt

 public void action(ParserEvent e) {
   if (DEBUG) System.out.println(e);
   PicPoint pt = (PicPoint) e.getValue();
   pool.currentObj.setCtrlPt(
       ptNumber,
       pt.toMm(pool.get(PstricksParser.KEY_X_UNIT), pool.get(PstricksParser.KEY_Y_UNIT)),
       constraint);
 }