equal
deleted
inserted
replaced
103 |
103 |
104 sealed case class Column( |
104 sealed case class Column( |
105 name: String, T: Type.Value, strict: Boolean = false, primary_key: Boolean = false, |
105 name: String, T: Type.Value, strict: Boolean = false, primary_key: Boolean = false, |
106 expr: SQL.Source = "") |
106 expr: SQL.Source = "") |
107 { |
107 { |
|
108 def make_primary_key: Column = copy(primary_key = true) |
|
109 |
108 def apply(table: Table): Column = |
110 def apply(table: Table): Column = |
109 Column(Long_Name.qualify(table.name, name), T, strict = strict, primary_key = primary_key) |
111 Column(Long_Name.qualify(table.name, name), T, strict = strict, primary_key = primary_key) |
110 |
112 |
111 def ident: Source = |
113 def ident: Source = |
112 if (expr == "") SQL.ident(name) |
114 if (expr == "") SQL.ident(name) |