Skip to content

Commit

Permalink
Restyle [FEATURE] 震度データベースによる地震履歴 (#751)
Browse files Browse the repository at this point in the history
  • Loading branch information
restyled-io[bot] authored Aug 3, 2024
1 parent 9bbe4cf commit cc78a07
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 10 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ import 'package:hooks_riverpod/hooks_riverpod.dart';
import 'package:intl/intl.dart';
import 'package:jma_code_table_types/jma_code_table.pb.dart';


class EarthquakeHistoryListTile extends HookConsumerWidget {
const EarthquakeHistoryListTile({
required this.item,
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -29,8 +29,6 @@ class EarthquakeHistoryEarlyNotFound extends StatelessWidget {
}
}



class EarthquakeHistoryEarlyAllFetched extends StatelessWidget {
const EarthquakeHistoryEarlyAllFetched({super.key});

Expand Down
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
CREATE TABLE earthquake_early_regions (
id TEXT NOT NULL REFERENCES earthquake_early (id),
region_id TEXT NOT NULL CHECK (region_id ~ '^[0-9]{2}$'),
max_intensity jma_intensity NOT NULL,
PRIMARY KEY (id, region_id)
id text NOT NULL REFERENCES earthquake_early (id),
region_id text NOT NULL CHECK (region_id ~ '^[0-9]{2}$'),
max_intensity jma_intensity NOT NULL,
PRIMARY KEY (id, region_id)
);

CREATE INDEX earthquake_early_regions_max_intensity_region_idx ON earthquake_early_regions (max_intensity, region_id);

ALTER TABLE earthquake_early_regions ENABLE ROW LEVEL SECURITY;

CREATE POLICY select_earthquake_early_regions ON earthquake_early_regions FOR
SELECT
USING (true);
CREATE POLICY select_earthquake_early_regions ON earthquake_early_regions
FOR SELECT
USING (TRUE);

0 comments on commit cc78a07

Please sign in to comment.