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 | ||
| csv_export_answers_endpoint_path | text | true | ||||
| csv_export_definitions_endpoint_path | text | true | ||||
| declares_spec_files | boolean | false | false | Whether this service declares which stored files its specs reference – the private spec’s in the editor’s current-state message, each derived spec’s in the response that produced it. Gates the abandoned-spec-upload reaper: a service that does not declare has none of its uploads reclaimed, because the host cannot read a spec and would be deleting files it has no evidence are unused. Opt-in for exactly that reason, and the flag is the whole safety property for services written before the declarations existed. | ||
| 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 | |||
| produces_file_answers | boolean | false | false | Whether this service declares that its answers consist of uploaded files rather than JSON. Independent of supports_native_client, which is about the client that answers rather than the shape of the answer. | ||
| 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. | |||
| supports_native_client | boolean | false | false | Whether this service declares that it can be answered from a native (non-browser) client. Gates the exercise-services client API: it serves only services that declare it. | ||
| 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_declares_spec_files_not_null | n | NOT NULL declares_spec_files |
| 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_produces_file_answers_not_null | n | NOT NULL produces_file_answers |
| exercise_service_info_public_spec_endpoint_path_not_null | n | NOT NULL public_spec_endpoint_path |
| exercise_service_info_supports_native_client_not_null | n | NOT NULL supports_native_client |
| 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