Java Cell.setContentsの例

コード例 #1

ファイル: MetaK.java プロジェクト: TomGebhardt/k

 public static Term wrap(Term t, String label, Ellipses ellipses) {
   Cell cell = new Cell(t.getLocation(), t.getFilename());
   cell.setLabel(label);
   cell.setEllipses(ellipses);
   cell.setContents(t);
   return cell;
 }