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_exercise_service_id_fkey | FOREIGN KEY | FOREIGN KEY (exercise_service_id) REFERENCES exercise_services(id) |
exercise_service_info_pkey | PRIMARY KEY | PRIMARY KEY (exercise_service_id) |
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