src/Pure/General/sql.scala
changeset 65739 3f206cfca625
parent 65731 393d34045ffb
child 65740 83388f09e9ab
equal deleted inserted replaced
65738:6bfe25513851 65739:3f206cfca625
    42   def enclose(s: Source): Source = "(" + s + ")"
    42   def enclose(s: Source): Source = "(" + s + ")"
    43   def enclosure(ss: Iterable[Source]): Source = ss.mkString("(", ", ", ")")
    43   def enclosure(ss: Iterable[Source]): Source = ss.mkString("(", ", ", ")")
    44 
    44 
    45   def select(columns: List[Column], distinct: Boolean = false): Source =
    45   def select(columns: List[Column], distinct: Boolean = false): Source =
    46     "SELECT " + (if (distinct) "DISTINCT " else "") + commas(columns.map(_.ident)) + " FROM "
    46     "SELECT " + (if (distinct) "DISTINCT " else "") + commas(columns.map(_.ident)) + " FROM "
    47 
       
    48   def join(table1: Table, table2: Table, sql: Source = "", outer: Boolean = false): Source =
       
    49     table1 + (if (outer) " LEFT OUTER JOIN " else " INNER JOIN ") + table2 +
       
    50       (if (sql == "") "" else " ON " + sql)
       
    51 
       
    52   def join_outer(table1: Table, table2: Table, sql: Source = ""): Source =
       
    53     join(table1, table2, sql, outer = true)
       
    54 
    47 
    55 
    48 
    56   /* types */
    49   /* types */
    57 
    50 
    58   object Type extends Enumeration
    51   object Type extends Enumeration