Information that exercise service has reported. Contains for example endpoints where the functionalities of this service can be accessed.
| Name | Type | Default | Nullable | Children | Parents | Comment |
|---|---|---|---|---|---|---|
| created_at | timestamp with time zone | now() | false | Timestamp when the record was created | ||
| exercise_service_id | uuid | false | public.exercise_services | |||
| grade_endpoint_path | varchar(255) | false | URL to an endpoint which will grade submissions for the exercises of this exercise service. Used by the backend. | |||
| has_custom_view | boolean | false | false | |||
| model_solution_spec_endpoint_path | varchar(255) | false | URL to an endpoint that will generate model solutions | |||
| public_spec_endpoint_path | varchar(255) | false | URL to an endpoint that will generate the public spec for an exercise service from respective private spec. | |||
| updated_at | timestamp with time zone | now() | false | Timestamp when the record was last updated. The field is updated automatically by the set_timestamp trigger. | ||
| user_interface_iframe_path | varchar(255) | false |
| Name | Type | Definition |
|---|---|---|
| exercise_service_info_check_model_solution_path_not_empty | CHECK | CHECK ((TRIM(BOTH FROM model_solution_spec_endpoint_path) <> ’’::text)) |
| exercise_service_info_created_at_not_null | n | NOT NULL created_at |
| exercise_service_info_exercise_service_id_fkey | FOREIGN KEY | FOREIGN KEY (exercise_service_id) REFERENCES exercise_services(id) |
| exercise_service_info_exercise_service_id_not_null | n | NOT NULL exercise_service_id |
| exercise_service_info_exercise_type_specific_user_inte_not_null | n | NOT NULL user_interface_iframe_path |
| exercise_service_info_grade_endpoint_path_not_null | n | NOT NULL grade_endpoint_path |
| exercise_service_info_has_custom_view_not_null | n | NOT NULL has_custom_view |
| exercise_service_info_model_solution_path_not_null | n | NOT NULL model_solution_spec_endpoint_path |
| exercise_service_info_pkey | PRIMARY KEY | PRIMARY KEY (exercise_service_id) |
| exercise_service_info_public_spec_endpoint_path_not_null | n | NOT NULL public_spec_endpoint_path |
| exercise_service_info_updated_at_not_null | n | NOT NULL updated_at |
| Name | Definition |
|---|---|
| exercise_service_info_pkey | CREATE UNIQUE INDEX exercise_service_info_pkey ON public.exercise_service_info USING btree (exercise_service_id) |
| Name | Definition |
|---|---|
| set_timestamp | CREATE TRIGGER set_timestamp BEFORE UPDATE ON public.exercise_service_info FOR EACH ROW EXECUTE FUNCTION trigger_set_timestamp() |
Generated by tbls