StringBuilder.scl

   1
   2 importJava "java.lang.StringBuilder" where
   3     data T
   4
   5     @JavaName "<init>"
   6     new :: <Proc> T
   7
   8     @JavaName append
   9     appendString :: T -> String -> <Proc> T
  10
  11     @JavaName append
  12     appendInteger :: T -> Integer -> <Proc> T
  13
  14     @JavaName append
  15     appendDouble :: T -> Double -> <Proc> T
  16
  17     toString :: T -> <Proc> String