src/Pure/General/sql.scala
changeset 65775 123f2c0995b8
parent 65774 1001fb86d7f7
child 65776 373d708898d4
equal deleted inserted replaced
65774:1001fb86d7f7 65775:123f2c0995b8
    45   def enclosure(ss: Iterable[Source]): Source = ss.mkString("(", ", ", ")")
    45   def enclosure(ss: Iterable[Source]): Source = ss.mkString("(", ", ", ")")
    46 
    46 
    47   def select(columns: List[Column] = Nil, distinct: Boolean = false): Source =
    47   def select(columns: List[Column] = Nil, distinct: Boolean = false): Source =
    48     "SELECT " + (if (distinct) "DISTINCT " else "") +
    48     "SELECT " + (if (distinct) "DISTINCT " else "") +
    49     (if (columns.isEmpty) "*" else commas(columns.map(_.ident))) + " FROM "
    49     (if (columns.isEmpty) "*" else commas(columns.map(_.ident))) + " FROM "
       
    50 
       
    51   val join_outer: Source = " LEFT OUTER JOIN "
       
    52   val join_inner: Source = " INNER JOIN "
       
    53   def join(outer: Boolean = false): Source = if (outer) join_outer else join_inner
    50 
    54 
    51 
    55 
    52   /* types */
    56   /* types */
    53 
    57 
    54   object Type extends Enumeration
    58   object Type extends Enumeration