src/Pure/General/sql.scala
changeset 65776 373d708898d4
parent 65775 123f2c0995b8
child 65778 666a1bac126b
equal deleted inserted replaced
65775:123f2c0995b8 65776:373d708898d4
    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 
    50 
    51   val join_outer: Source = " LEFT OUTER JOIN "
    51   val join_outer: Source = " LEFT OUTER JOIN "
    52   val join_inner: Source = " INNER JOIN "
    52   val join_inner: Source = " INNER JOIN "
    53   def join(outer: Boolean = false): Source = if (outer) join_outer else join_inner
    53   def join(outer: Boolean): Source = if (outer) join_outer else join_inner
    54 
    54 
    55 
    55 
    56   /* types */
    56   /* types */
    57 
    57 
    58   object Type extends Enumeration
    58   object Type extends Enumeration