package Ġinfo . pu ro cean . db migration Ċ Ċ import Ġjava . util .* Ċ Ċ class ĠMigration ( var Ġname : ĠString , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġvar Ġuri : ĠString , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġvar Ġapplied At : ĠDate ? Ġ= Ġnull , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġvar Ġtype : ĠTYPE Ġ= ĠTYPE . SQL ) Ġ{ ĊĠĠĠ Ġenum Ġclass ĠTYPE ( var Ġtype : ĠInt ) Ġ{ ĊĠĠĠĠĠĠĠ ĠSQL ( 0 ), ĊĠĠĠĠĠĠĠ ĠCODE ( 1 ) ĊĠĠĠ Ġ} Ċ }