Skip to content
Validation

pulled main #506

Sign in to view logs

pulled main

pulled main #506

Triggered via push August 23, 2023 14:41
@t-lohset-lohse
pushed b1adb4a
state_in_step
Status Failure
Total duration 2m 37s
Artifacts –

ci.yaml

on: push
Test Suite
2m 25s
Test Suite
Check code is formatted
9s
Check code is formatted
Lint and check
32s
Lint and check
Fit to window
Zoom out
Zoom in

Annotations

149 errors and 17 warnings
unused import: `services::ecdar_backend_server::EcdarBackend`: src/tests/grpc/simulation.rs#L6
error: unused import: `services::ecdar_backend_server::EcdarBackend` --> src/tests/grpc/simulation.rs:6:32 | 6 | ProtobufServer::{self, services::ecdar_backend_server::EcdarBackend}, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
unused import: `std::convert::TryInto`: src/DataReader/proto_reader.rs#L2
error: unused import: `std::convert::TryInto` --> src/DataReader/proto_reader.rs:2:5 | 2 | use std::convert::TryInto; | ^^^^^^^^^^^^^^^^^^^^^ | = note: `-D unused-imports` implied by `-D warnings`
no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/tests/grpc/send_query.rs#L106
error[E0599]: no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/tests/grpc/send_query.rs:106:37 | 106 | query_response::Result::Success(_) => {} | ^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Success` not found for this enum
mismatched types: src/tests/grpc/send_query.rs#L100
error[E0308]: mismatched types --> src/tests/grpc/send_query.rs:100:49 | 100 | let query_response = backend.send_query(query_request).await; | ---------- ^^^^^^^^^^^^^ expected `Request<Query>`, found `Request<QueryRequest>` | | | arguments to this method are incorrect | = note: expected struct `tonic::Request<ProtobufServer::services::Query>` found struct `tonic::Request<ProtobufServer::services::QueryRequest>` note: method defined here --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:285:18 | 285 | async fn send_query( | ^^^^^^^^^^
mismatched types: src/tests/grpc/send_query.rs#L95
error[E0308]: mismatched types --> src/tests/grpc/send_query.rs:95:53 | 95 | let query_response = backend.send_query(query_request).await; | ---------- ^^^^^^^^^^^^^ expected `Request<Query>`, found `Request<QueryRequest>` | | | arguments to this method are incorrect | = note: expected struct `tonic::Request<ProtobufServer::services::Query>` found struct `tonic::Request<ProtobufServer::services::QueryRequest>` note: method defined here --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:285:18 | 285 | async fn send_query( | ^^^^^^^^^^
mismatched types: src/tests/grpc/send_query.rs#L85
error[E0308]: mismatched types --> src/tests/grpc/send_query.rs:85:49 | 85 | let query_response = backend.send_query(query_request).await; | ---------- ^^^^^^^^^^^^^ expected `Request<Query>`, found `Request<QueryRequest>` | | | arguments to this method are incorrect | = note: expected struct `tonic::Request<ProtobufServer::services::Query>` found struct `tonic::Request<ProtobufServer::services::QueryRequest>` note: method defined here --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:285:18 | 285 | async fn send_query( | ^^^^^^^^^^
struct `ProtobufServer::services::QueryRequest` has no field named `settings`: src/tests/grpc/send_query.rs#L75
error[E0560]: struct `ProtobufServer::services::QueryRequest` has no field named `settings` --> src/tests/grpc/send_query.rs:75:13 | 75 | settings: Some(crate::tests::TEST_SETTINGS), | ^^^^^^^^ `ProtobufServer::services::QueryRequest` does not have this field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryRequest` has no field named `components_info`: src/tests/grpc/send_query.rs#L69
error[E0560]: struct `ProtobufServer::services::QueryRequest` has no field named `components_info` --> src/tests/grpc/send_query.rs:69:13 | 69 | components_info: Some(ComponentsInfo { | ^^^^^^^^^^^^^^^ `ProtobufServer::services::QueryRequest` does not have this field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryRequest` has no field named `query`: src/tests/grpc/send_query.rs#L68
error[E0560]: struct `ProtobufServer::services::QueryRequest` has no field named `query` --> src/tests/grpc/send_query.rs:68:13 | 68 | query: String::from(query), | ^^^^^ `ProtobufServer::services::QueryRequest` does not have this field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryRequest` has no field named `query_id`: src/tests/grpc/send_query.rs#L67
error[E0560]: struct `ProtobufServer::services::QueryRequest` has no field named `query_id` --> src/tests/grpc/send_query.rs:67:13 | 67 | query_id: 0, | ^^^^^^^^ `ProtobufServer::services::QueryRequest` does not have this field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryRequest` has no field named `user_id`: src/tests/grpc/send_query.rs#L66
error[E0560]: struct `ProtobufServer::services::QueryRequest` has no field named `user_id` --> src/tests/grpc/send_query.rs:66:13 | 66 | user_id: 0, | ^^^^^^^ `ProtobufServer::services::QueryRequest` does not have this field | = note: available fields are: `queries`
no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/tests/grpc/send_query.rs#L56
error[E0599]: no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/tests/grpc/send_query.rs:56:37 | 56 | query_response::Result::Success(_) => {} | ^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Success` not found for this enum
mismatched types: src/tests/grpc/send_query.rs#L51
error[E0308]: mismatched types --> src/tests/grpc/send_query.rs:51:49 | 51 | let query_response = backend.send_query(query_request).await; | ---------- ^^^^^^^^^^^^^ expected `Request<Query>`, found `Request<QueryRequest>` | | | arguments to this method are incorrect | = note: expected struct `tonic::Request<ProtobufServer::services::Query>` found struct `tonic::Request<ProtobufServer::services::QueryRequest>` note: method defined here --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:285:18 | 285 | async fn send_query( | ^^^^^^^^^^
no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/tests/grpc/send_query.rs#L41
error[E0599]: no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/tests/grpc/send_query.rs:41:37 | 41 | query_response::Result::Success(_) => {} | ^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Success` not found for this enum
mismatched types: src/tests/grpc/send_query.rs#L36
error[E0308]: mismatched types --> src/tests/grpc/send_query.rs:36:49 | 36 | let query_response = backend.send_query(query_request).await; | ---------- ^^^^^^^^^^^^^ expected `Request<Query>`, found `Request<QueryRequest>` | | | arguments to this method are incorrect | = note: expected struct `tonic::Request<ProtobufServer::services::Query>` found struct `tonic::Request<ProtobufServer::services::QueryRequest>` note: method defined here --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:285:18 | 285 | async fn send_query( | ^^^^^^^^^^
no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/tests/grpc/send_query.rs#L26
error[E0599]: no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/tests/grpc/send_query.rs:26:37 | 26 | query_response::Result::Success(_) => {} | ^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Success` not found for this enum
mismatched types: src/tests/grpc/send_query.rs#L20
error[E0308]: mismatched types --> src/tests/grpc/send_query.rs:20:49 | 20 | let query_response = backend.send_query(query_request).await; | ---------- ^^^^^^^^^^^^^ expected `Request<Query>`, found `Request<QueryRequest>` | | | arguments to this method are incorrect | = note: expected struct `tonic::Request<ProtobufServer::services::Query>` found struct `tonic::Request<ProtobufServer::services::QueryRequest>` note: method defined here --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:285:18 | 285 | async fn send_query( | ^^^^^^^^^^
struct `ProtobufServer::services::SimulationStartRequest` has no field named `simulation_info`: src/tests/Simulation/helper.rs#L17
error[E0560]: struct `ProtobufServer::services::SimulationStartRequest` has no field named `simulation_info` --> src/tests/Simulation/helper.rs:17:13 | 17 | simulation_info: Some(simulation_info), | ^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStartRequest` does not have this field | = note: available fields are: `system`
unused import: `std::convert::TryInto`: src/DataReader/proto_reader.rs#L2
error: unused import: `std::convert::TryInto` --> src/DataReader/proto_reader.rs:2:5 | 2 | use std::convert::TryInto; | ^^^^^^^^^^^^^^^^^^^^^ | = note: `-D unused-imports` implied by `-D warnings`
struct `ProtobufServer::services::SimulationStartRequest` has no field named `simulation_info`: src/tests/Simulation/helper.rs#L17
error[E0560]: struct `ProtobufServer::services::SimulationStartRequest` has no field named `simulation_info` --> src/tests/Simulation/helper.rs:17:13 | 17 | simulation_info: Some(simulation_info), | ^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStartRequest` does not have this field | = note: available fields are: `system`
struct `ProtobufServer::services::SimulationStepResponse` has no field named `new_decision_points`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L68
error[E0560]: struct `ProtobufServer::services::SimulationStepResponse` has no field named `new_decision_points` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:68:13 | 68 | new_decision_points: decision_points, | ^^^^^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStepResponse` does not have this field | = note: available fields are: `state`, `transitions`
struct `ProtobufServer::services::SimulationStepResponse` has no field named `full_state`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L67
error[E0560]: struct `ProtobufServer::services::SimulationStepResponse` has no field named `full_state` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:67:13 | 67 | full_state, | ^^^^^^^^^^ `ProtobufServer::services::SimulationStepResponse` does not have this field | = note: available fields are: `state`, `transitions`
no field `chosen_decision` on type `ProtobufServer::services::SimulationStepRequest`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L53
error[E0609]: no field `chosen_decision` on type `ProtobufServer::services::SimulationStepRequest` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:53:47 | 53 | let chosen_decision = request_message.chosen_decision.unwrap(); | ^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `state`, `transition`
no field `simulation_info` on type `ProtobufServer::services::SimulationStepRequest`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L49
error[E0609]: no field `simulation_info` on type `ProtobufServer::services::SimulationStepRequest` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:49:47 | 49 | let simulation_info = request_message.simulation_info.unwrap(); | ^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `state`, `transition`
struct `ProtobufServer::services::SimulationStepResponse` has no field named `new_decision_points`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L38
error[E0560]: struct `ProtobufServer::services::SimulationStepResponse` has no field named `new_decision_points` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:38:13 | 38 | new_decision_points: decisions, | ^^^^^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStepResponse` does not have this field | = note: available fields are: `state`, `transitions`
struct `ProtobufServer::services::SimulationStepResponse` has no field named `full_state`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L37
error[E0560]: struct `ProtobufServer::services::SimulationStepResponse` has no field named `full_state` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:37:13 | 37 | full_state, | ^^^^^^^^^^ `ProtobufServer::services::SimulationStepResponse` does not have this field | = note: available fields are: `state`, `transitions`
no field `simulation_info` on type `ProtobufServer::services::SimulationStartRequest`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L21
error[E0609]: no field `simulation_info` on type `ProtobufServer::services::SimulationStartRequest` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:21:39 | 21 | let simulation_info = request.simulation_info.unwrap(); | ^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `system`
no variant or associated item named `Reachability` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/ProtobufServer/ecdar_requests/send_query.rs#L136
error[E0599]: no variant or associated item named `Reachability` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/ProtobufServer/ecdar_requests/send_query.rs:136:25 | 136 | ProtobufResult::Reachability(fail.into()) | ^^^^^^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Reachability` not found for this enum
the trait bound `ProtobufServer::services::query_response::RefinementResult: std::convert::From<System::query_failures::RefinementFailure>` is not satisfied: src/ProtobufServer/ecdar_requests/send_query.rs#L130
error[E0277]: the trait bound `ProtobufServer::services::query_response::RefinementResult: std::convert::From<System::query_failures::RefinementFailure>` is not satisfied --> src/ProtobufServer/ecdar_requests/send_query.rs:130:41 | 130 | ProtobufResult::Refinement(fail.into()) | ^^^^ the trait `std::convert::From<System::query_failures::RefinementFailure>` is not implemented for `ProtobufServer::services::query_response::RefinementResult` | = note: required for `System::query_failures::RefinementFailure` to implement `std::convert::Into<ProtobufServer::services::query_response::RefinementResult>`
the trait bound `ProtobufServer::services::query_response::ConsistencyResult: std::convert::From<System::query_failures::ConsistencyFailure>` is not satisfied: src/ProtobufServer/ecdar_requests/send_query.rs#L124
error[E0277]: the trait bound `ProtobufServer::services::query_response::ConsistencyResult: std::convert::From<System::query_failures::ConsistencyFailure>` is not satisfied --> src/ProtobufServer/ecdar_requests/send_query.rs:124:42 | 124 | ProtobufResult::Consistency(fail.into()) | ^^^^ the trait `std::convert::From<System::query_failures::ConsistencyFailure>` is not implemented for `ProtobufServer::services::query_response::ConsistencyResult` | = note: required for `System::query_failures::ConsistencyFailure` to implement `std::convert::Into<ProtobufServer::services::query_response::ConsistencyResult>`
the trait bound `ProtobufServer::services::query_response::DeterminismResult: std::convert::From<System::query_failures::DeterminismFailure>` is not satisfied: src/ProtobufServer/ecdar_requests/send_query.rs#L118
error[E0277]: the trait bound `ProtobufServer::services::query_response::DeterminismResult: std::convert::From<System::query_failures::DeterminismFailure>` is not satisfied --> src/ProtobufServer/ecdar_requests/send_query.rs:118:42 | 118 | ProtobufResult::Determinism(fail.into()) | ^^^^ the trait `std::convert::From<System::query_failures::DeterminismFailure>` is not implemented for `ProtobufServer::services::query_response::DeterminismResult` | = note: required for `System::query_failures::DeterminismFailure` to implement `std::convert::Into<ProtobufServer::services::query_response::DeterminismResult>`
no variant or associated item named `Model` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/ProtobufServer/ecdar_requests/send_query.rs#L112
error[E0599]: no variant or associated item named `Model` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/ProtobufServer/ecdar_requests/send_query.rs:112:25 | 112 | ProtobufResult::Model(fail.into()) | ^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Model` not found for this enum
mismatched types: src/ProtobufServer/ecdar_requests/send_query.rs#L100
error[E0308]: mismatched types --> src/ProtobufServer/ecdar_requests/send_query.rs:100:74 | 100 | QueryResult::GetComponent(comp) => ProtobufResult::Component(ProtobufComponent { | ________________________________________________-------------------------_^ | | | | | arguments to this enum variant are incorrect 101 | | rep: Some(Rep::Json(component_to_json(&comp))), 102 | | }), | |_____________^ expected `ComponentResult`, found `Component` | note: tuple variant defined here --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:131:9 | 131 | Component(ComponentResult), | ^^^^^^^^^
struct `ProtobufServer::services::SimulationStepResponse` has no field named `new_decision_points`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L68
error[E0560]: struct `ProtobufServer::services::SimulationStepResponse` has no field named `new_decision_points` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:68:13 | 68 | new_decision_points: decision_points, | ^^^^^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStepResponse` does not have this field | = note: available fields are: `state`, `transitions`
struct `ProtobufServer::services::SimulationStepResponse` has no field named `full_state`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L67
error[E0560]: struct `ProtobufServer::services::SimulationStepResponse` has no field named `full_state` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:67:13 | 67 | full_state, | ^^^^^^^^^^ `ProtobufServer::services::SimulationStepResponse` does not have this field | = note: available fields are: `state`, `transitions`
no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/ProtobufServer/ecdar_requests/send_query.rs#L94
error[E0599]: no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/ProtobufServer/ecdar_requests/send_query.rs:94:66 | 94 | | QueryResult::Determinism(Ok(_)) => ProtobufResult::Success(Success {}), | ^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Success` not found for this enum
no variant or associated item named `ReachabilityPath` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/ProtobufServer/ecdar_requests/send_query.rs#L91
error[E0599]: no variant or associated item named `ReachabilityPath` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/ProtobufServer/ecdar_requests/send_query.rs:91:68 | 91 | QueryResult::Reachability(Ok(path)) => ProtobufResult::ReachabilityPath(path.into()), | ^^^^^^^^^^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `ReachabilityPath` not found for this enum
no field `query` on type `&ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L77
error[E0609]: no field `query` on type `&ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:77:68 | 77 | let mut queries = parse_queries::parse_to_query(&query_request.query); | ^^^^^ unknown field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryResponse` has no field named `info`: src/ProtobufServer/ecdar_requests/send_query.rs#L67
error[E0560]: struct `ProtobufServer::services::QueryResponse` has no field named `info` --> src/ProtobufServer/ecdar_requests/send_query.rs:67:25 | 67 | info: vec![], // TODO: Should be logs | ^^^^ `ProtobufServer::services::QueryResponse` does not have this field | = note: available fields are: `query`, `result`
no field `query_id` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L66
error[E0609]: no field `query_id` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:66:49 | 66 | query_id: query_request.query_id, | ^^^^^^^^ unknown field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryResponse` has no field named `query_id`: src/ProtobufServer/ecdar_requests/send_query.rs#L66
error[E0560]: struct `ProtobufServer::services::QueryResponse` has no field named `query_id` --> src/ProtobufServer/ecdar_requests/send_query.rs:66:25 | 66 | query_id: query_request.query_id, | ^^^^^^^^ `ProtobufServer::services::QueryResponse` does not have this field | = note: available fields are: `query`, `result`
struct `ProtobufServer::services::QueryResponse` has no field named `info`: src/ProtobufServer/ecdar_requests/send_query.rs#L56
error[E0560]: struct `ProtobufServer::services::QueryResponse` has no field named `info` --> src/ProtobufServer/ecdar_requests/send_query.rs:56:25 | 56 | info: vec![], // TODO: Should be logs | ^^^^ `ProtobufServer::services::QueryResponse` does not have this field | = note: available fields are: `query`, `result`
no field `query_id` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L55
error[E0609]: no field `query_id` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:55:49 | 55 | query_id: query_request.query_id, | ^^^^^^^^ unknown field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryResponse` has no field named `query_id`: src/ProtobufServer/ecdar_requests/send_query.rs#L55
error[E0560]: struct `ProtobufServer::services::QueryResponse` has no field named `query_id` --> src/ProtobufServer/ecdar_requests/send_query.rs:55:25 | 55 | query_id: query_request.query_id, | ^^^^^^^^ `ProtobufServer::services::QueryResponse` does not have this field | = note: available fields are: `query`, `result`
no field `settings` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L48
error[E0609]: no field `settings` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:48:56 | 48 | component_container.set_settings(query_request.settings.unwrap_or(crate::DEFAULT_SETTINGS)); | ^^^^^^^^ unknown field | = note: available fields are: `queries`
no field `user_id` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L40
error[E0609]: no field `user_id` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:40:37 | 40 | let user_id = query_request.user_id; | ^^^^^^^ unknown field | = note: available fields are: `queries`
no field `components_info` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L37
error[E0609]: no field `components_info` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:37:45 | 37 | let components_info = query_request.components_info.as_ref().unwrap(); | ^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `queries`
no field `chosen_decision` on type `ProtobufServer::services::SimulationStepRequest`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L53
error[E0609]: no field `chosen_decision` on type `ProtobufServer::services::SimulationStepRequest` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:53:47 | 53 | let chosen_decision = request_message.chosen_decision.unwrap(); | ^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `state`, `transition`
no field `simulation_info` on type `ProtobufServer::services::SimulationStepRequest`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L49
error[E0609]: no field `simulation_info` on type `ProtobufServer::services::SimulationStepRequest` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:49:47 | 49 | let simulation_info = request_message.simulation_info.unwrap(); | ^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `state`, `transition`
struct `ProtobufServer::services::SimulationStepResponse` has no field named `new_decision_points`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L38
error[E0560]: struct `ProtobufServer::services::SimulationStepResponse` has no field named `new_decision_points` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:38:13 | 38 | new_decision_points: decisions, | ^^^^^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStepResponse` does not have this field | = note: available fields are: `state`, `transitions`
struct `ProtobufServer::services::SimulationStepResponse` has no field named `full_state`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L37
error[E0560]: struct `ProtobufServer::services::SimulationStepResponse` has no field named `full_state` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:37:13 | 37 | full_state, | ^^^^^^^^^^ `ProtobufServer::services::SimulationStepResponse` does not have this field | = note: available fields are: `state`, `transitions`
no field `simulation_info` on type `ProtobufServer::services::SimulationStartRequest`: src/ProtobufServer/ecdar_requests/simulation_requests.rs#L21
error[E0609]: no field `simulation_info` on type `ProtobufServer::services::SimulationStartRequest` --> src/ProtobufServer/ecdar_requests/simulation_requests.rs:21:39 | 21 | let simulation_info = request.simulation_info.unwrap(); | ^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `system`
no variant or associated item named `Reachability` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/ProtobufServer/ecdar_requests/send_query.rs#L136
error[E0599]: no variant or associated item named `Reachability` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/ProtobufServer/ecdar_requests/send_query.rs:136:25 | 136 | ProtobufResult::Reachability(fail.into()) | ^^^^^^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Reachability` not found for this enum
the trait bound `ProtobufServer::services::query_response::RefinementResult: std::convert::From<System::query_failures::RefinementFailure>` is not satisfied: src/ProtobufServer/ecdar_requests/send_query.rs#L130
error[E0277]: the trait bound `ProtobufServer::services::query_response::RefinementResult: std::convert::From<System::query_failures::RefinementFailure>` is not satisfied --> src/ProtobufServer/ecdar_requests/send_query.rs:130:41 | 130 | ProtobufResult::Refinement(fail.into()) | ^^^^ the trait `std::convert::From<System::query_failures::RefinementFailure>` is not implemented for `ProtobufServer::services::query_response::RefinementResult` | = note: required for `System::query_failures::RefinementFailure` to implement `std::convert::Into<ProtobufServer::services::query_response::RefinementResult>`
the trait bound `ProtobufServer::services::query_response::ConsistencyResult: std::convert::From<System::query_failures::ConsistencyFailure>` is not satisfied: src/ProtobufServer/ecdar_requests/send_query.rs#L124
error[E0277]: the trait bound `ProtobufServer::services::query_response::ConsistencyResult: std::convert::From<System::query_failures::ConsistencyFailure>` is not satisfied --> src/ProtobufServer/ecdar_requests/send_query.rs:124:42 | 124 | ProtobufResult::Consistency(fail.into()) | ^^^^ the trait `std::convert::From<System::query_failures::ConsistencyFailure>` is not implemented for `ProtobufServer::services::query_response::ConsistencyResult` | = note: required for `System::query_failures::ConsistencyFailure` to implement `std::convert::Into<ProtobufServer::services::query_response::ConsistencyResult>`
the trait bound `ProtobufServer::services::query_response::DeterminismResult: std::convert::From<System::query_failures::DeterminismFailure>` is not satisfied: src/ProtobufServer/ecdar_requests/send_query.rs#L118
error[E0277]: the trait bound `ProtobufServer::services::query_response::DeterminismResult: std::convert::From<System::query_failures::DeterminismFailure>` is not satisfied --> src/ProtobufServer/ecdar_requests/send_query.rs:118:42 | 118 | ProtobufResult::Determinism(fail.into()) | ^^^^ the trait `std::convert::From<System::query_failures::DeterminismFailure>` is not implemented for `ProtobufServer::services::query_response::DeterminismResult` | = note: required for `System::query_failures::DeterminismFailure` to implement `std::convert::Into<ProtobufServer::services::query_response::DeterminismResult>`
no variant or associated item named `Model` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/ProtobufServer/ecdar_requests/send_query.rs#L112
error[E0599]: no variant or associated item named `Model` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/ProtobufServer/ecdar_requests/send_query.rs:112:25 | 112 | ProtobufResult::Model(fail.into()) | ^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Model` not found for this enum
mismatched types: src/ProtobufServer/ecdar_requests/send_query.rs#L100
error[E0308]: mismatched types --> src/ProtobufServer/ecdar_requests/send_query.rs:100:74 | 100 | QueryResult::GetComponent(comp) => ProtobufResult::Component(ProtobufComponent { | ________________________________________________-------------------------_^ | | | | | arguments to this enum variant are incorrect 101 | | rep: Some(Rep::Json(component_to_json(&comp))), 102 | | }), | |_____________^ expected `ComponentResult`, found `Component` | note: tuple variant defined here --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:131:9 | 131 | Component(ComponentResult), | ^^^^^^^^^
no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/ProtobufServer/ecdar_requests/send_query.rs#L94
error[E0599]: no variant or associated item named `Success` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/ProtobufServer/ecdar_requests/send_query.rs:94:66 | 94 | | QueryResult::Determinism(Ok(_)) => ProtobufResult::Success(Success {}), | ^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `Success` not found for this enum
no variant or associated item named `ReachabilityPath` found for enum `ProtobufServer::services::query_response::Result` in the current scope: src/ProtobufServer/ecdar_requests/send_query.rs#L91
error[E0599]: no variant or associated item named `ReachabilityPath` found for enum `ProtobufServer::services::query_response::Result` in the current scope --> src/ProtobufServer/ecdar_requests/send_query.rs:91:68 | 91 | QueryResult::Reachability(Ok(path)) => ProtobufResult::ReachabilityPath(path.into()), | ^^^^^^^^^^^^^^^^ variant or associated item not found in `Result` | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:127:5 | 127 | pub enum Result { | --------------- variant or associated item `ReachabilityPath` not found for this enum
no field `query` on type `&ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L77
error[E0609]: no field `query` on type `&ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:77:68 | 77 | let mut queries = parse_queries::parse_to_query(&query_request.query); | ^^^^^ unknown field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryResponse` has no field named `info`: src/ProtobufServer/ecdar_requests/send_query.rs#L67
error[E0560]: struct `ProtobufServer::services::QueryResponse` has no field named `info` --> src/ProtobufServer/ecdar_requests/send_query.rs:67:25 | 67 | info: vec![], // TODO: Should be logs | ^^^^ `ProtobufServer::services::QueryResponse` does not have this field | = note: available fields are: `query`, `result`
no field `query_id` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L66
error[E0609]: no field `query_id` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:66:49 | 66 | query_id: query_request.query_id, | ^^^^^^^^ unknown field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryResponse` has no field named `query_id`: src/ProtobufServer/ecdar_requests/send_query.rs#L66
error[E0560]: struct `ProtobufServer::services::QueryResponse` has no field named `query_id` --> src/ProtobufServer/ecdar_requests/send_query.rs:66:25 | 66 | query_id: query_request.query_id, | ^^^^^^^^ `ProtobufServer::services::QueryResponse` does not have this field | = note: available fields are: `query`, `result`
struct `ProtobufServer::services::QueryResponse` has no field named `info`: src/ProtobufServer/ecdar_requests/send_query.rs#L56
error[E0560]: struct `ProtobufServer::services::QueryResponse` has no field named `info` --> src/ProtobufServer/ecdar_requests/send_query.rs:56:25 | 56 | info: vec![], // TODO: Should be logs | ^^^^ `ProtobufServer::services::QueryResponse` does not have this field | = note: available fields are: `query`, `result`
no field `query_id` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L55
error[E0609]: no field `query_id` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:55:49 | 55 | query_id: query_request.query_id, | ^^^^^^^^ unknown field | = note: available fields are: `queries`
struct `ProtobufServer::services::QueryResponse` has no field named `query_id`: src/ProtobufServer/ecdar_requests/send_query.rs#L55
error[E0560]: struct `ProtobufServer::services::QueryResponse` has no field named `query_id` --> src/ProtobufServer/ecdar_requests/send_query.rs:55:25 | 55 | query_id: query_request.query_id, | ^^^^^^^^ `ProtobufServer::services::QueryResponse` does not have this field | = note: available fields are: `query`, `result`
no field `settings` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L48
error[E0609]: no field `settings` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:48:56 | 48 | component_container.set_settings(query_request.settings.unwrap_or(crate::DEFAULT_SETTINGS)); | ^^^^^^^^ unknown field | = note: available fields are: `queries`
no field `user_id` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L40
error[E0609]: no field `user_id` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:40:37 | 40 | let user_id = query_request.user_id; | ^^^^^^^ unknown field | = note: available fields are: `queries`
no field `components_info` on type `ProtobufServer::services::QueryRequest`: src/ProtobufServer/ecdar_requests/send_query.rs#L37
error[E0609]: no field `components_info` on type `ProtobufServer::services::QueryRequest` --> src/ProtobufServer/ecdar_requests/send_query.rs:37:45 | 37 | let components_info = query_request.components_info.as_ref().unwrap(); | ^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `queries`
no method named `take_simulation_step` found for struct `ProtobufServer::ecdar_backend::ConcreteEcdarBackend` in the current scope: src/tests/grpc/simulation.rs#L76
error[E0599]: no method named `take_simulation_step` found for struct `ProtobufServer::ecdar_backend::ConcreteEcdarBackend` in the current scope --> src/tests/grpc/simulation.rs:76:41 | 76 | let response2 = backend.take_simulation_step(request2).await; | ^^^^^^^^^^^^^^^^^^^^ method not found in `ConcreteEcdarBackend` | ::: src/ProtobufServer/ecdar_backend.rs:17:1 | 17 | pub struct ConcreteEcdarBackend { | ------------------------------- method `take_simulation_step` not found for this struct
no method named `take_simulation_step` found for struct `ProtobufServer::ecdar_backend::ConcreteEcdarBackend` in the current scope: src/tests/grpc/simulation.rs#L65
error[E0599]: no method named `take_simulation_step` found for struct `ProtobufServer::ecdar_backend::ConcreteEcdarBackend` in the current scope --> src/tests/grpc/simulation.rs:65:36 | 65 | let response = backend.take_simulation_step(request).await; | ^^^^^^^^^^^^^^^^^^^^ method not found in `ConcreteEcdarBackend` | ::: src/ProtobufServer/ecdar_backend.rs:17:1 | 17 | pub struct ConcreteEcdarBackend { | ------------------------------- method `take_simulation_step` not found for this struct
no method named `start_simulation` found for struct `ProtobufServer::ecdar_backend::ConcreteEcdarBackend` in the current scope: src/tests/grpc/simulation.rs#L56
error[E0599]: no method named `start_simulation` found for struct `ProtobufServer::ecdar_backend::ConcreteEcdarBackend` in the current scope --> src/tests/grpc/simulation.rs:56:32 | 56 | let response = backend.start_simulation(request).await; | ^^^^^^^^^^^^^^^^ method not found in `ConcreteEcdarBackend` | ::: src/ProtobufServer/ecdar_backend.rs:17:1 | 17 | pub struct ConcreteEcdarBackend { | ------------------------------- method `start_simulation` not found for this struct
struct `ProtobufServer::services::SimulationStepRequest` has no field named `chosen_decision`: src/tests/Simulation/helper.rs#L35
error[E0560]: struct `ProtobufServer::services::SimulationStepRequest` has no field named `chosen_decision` --> src/tests/Simulation/helper.rs:35:13 | 35 | chosen_decision: Some(d), | ^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStepRequest` does not have this field | = note: available fields are: `state`, `transition`
struct `ProtobufServer::services::SimulationStepRequest` has no field named `simulation_info`: src/tests/Simulation/helper.rs#L34
error[E0560]: struct `ProtobufServer::services::SimulationStepRequest` has no field named `simulation_info` --> src/tests/Simulation/helper.rs:34:13 | 34 | simulation_info: Some(simulation_info.clone()), | ^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStepRequest` does not have this field | = note: available fields are: `state`, `transition`
no field `new_decision_points` on type `ProtobufServer::services::SimulationStepResponse`: src/tests/Simulation/helper.rs#L31
error[E0609]: no field `new_decision_points` on type `ProtobufServer::services::SimulationStepResponse` --> src/tests/Simulation/helper.rs:31:10 | 31 | .new_decision_points | ^^^^^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `state`, `transitions`
struct `ProtobufServer::services::SimulationStepRequest` has no field named `chosen_decision`: src/tests/Simulation/helper.rs#L35
error[E0560]: struct `ProtobufServer::services::SimulationStepRequest` has no field named `chosen_decision` --> src/tests/Simulation/helper.rs:35:13 | 35 | chosen_decision: Some(d), | ^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStepRequest` does not have this field | = note: available fields are: `state`, `transition`
struct `ProtobufServer::services::SimulationStepRequest` has no field named `simulation_info`: src/tests/Simulation/helper.rs#L34
error[E0560]: struct `ProtobufServer::services::SimulationStepRequest` has no field named `simulation_info` --> src/tests/Simulation/helper.rs:34:13 | 34 | simulation_info: Some(simulation_info.clone()), | ^^^^^^^^^^^^^^^ `ProtobufServer::services::SimulationStepRequest` does not have this field | = note: available fields are: `state`, `transition`
no field `new_decision_points` on type `ProtobufServer::services::SimulationStepResponse`: src/tests/Simulation/helper.rs#L31
error[E0609]: no field `new_decision_points` on type `ProtobufServer::services::SimulationStepResponse` --> src/tests/Simulation/helper.rs:31:10 | 31 | .new_decision_points | ^^^^^^^^^^^^^^^^^^^ unknown field | = note: available fields are: `state`, `transitions`
not all trait items implemented, missing: `update_components`: src/ProtobufServer/ecdar_backend.rs#L77
error[E0046]: not all trait items implemented, missing: `update_components` --> src/ProtobufServer/ecdar_backend.rs:77:1 | 77 | impl EcdarBackend for ConcreteEcdarBackend { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `update_components` in implementation | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:281:9 | 281 | / async fn update_components( 282 | | &self, 283 | | request: tonic::Request<super::ComponentsUpdateRequest>, 284 | | ) -> Result<tonic::Response<()>, tonic::Status>; | |________________________________________________________- `update_components` from trait
method `send_query` has an incompatible type for trait: src/ProtobufServer/ecdar_backend.rs#L89
error[E0053]: method `send_query` has an incompatible type for trait --> src/ProtobufServer/ecdar_backend.rs:89:18 | 89 | request: Request<QueryRequest>, | ^^^^^^^^^^^^^^^^^^^^^ | | | expected `ProtobufServer::services::Query`, found `QueryRequest` | help: change the parameter type to match the trait: `tonic::Request<ProtobufServer::services::Query>` | note: type in trait --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:287:22 | 287 | request: tonic::Request<super::Query>, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ = note: expected signature `fn(&'life0 ProtobufServer::ecdar_backend::ConcreteEcdarBackend, tonic::Request<ProtobufServer::services::Query>) -> std::pin::Pin<_>` found signature `fn(&'life0 ProtobufServer::ecdar_backend::ConcreteEcdarBackend, tonic::Request<ProtobufServer::services::QueryRequest>) -> std::pin::Pin<_>`
not all trait items implemented, missing: `update_components`: src/ProtobufServer/ecdar_backend.rs#L77
error[E0046]: not all trait items implemented, missing: `update_components` --> src/ProtobufServer/ecdar_backend.rs:77:1 | 77 | impl EcdarBackend for ConcreteEcdarBackend { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `update_components` in implementation | ::: /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:281:9 | 281 | / async fn update_components( 282 | | &self, 283 | | request: tonic::Request<super::ComponentsUpdateRequest>, 284 | | ) -> Result<tonic::Response<()>, tonic::Status>; | |________________________________________________________- `update_components` from trait
method `send_query` has an incompatible type for trait: src/ProtobufServer/ecdar_backend.rs#L89
error[E0053]: method `send_query` has an incompatible type for trait --> src/ProtobufServer/ecdar_backend.rs:89:18 | 89 | request: Request<QueryRequest>, | ^^^^^^^^^^^^^^^^^^^^^ | | | expected `ProtobufServer::services::Query`, found `QueryRequest` | help: change the parameter type to match the trait: `tonic::Request<ProtobufServer::services::Query>` | note: type in trait --> /home/runner/work/Reveaal/Reveaal/target/debug/build/reveaal-a978647e278733c7/out/ecdar_proto_buf.rs:287:22 | 287 | request: tonic::Request<super::Query>, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ = note: expected signature `fn(&'life0 ProtobufServer::ecdar_backend::ConcreteEcdarBackend, tonic::Request<ProtobufServer::services::Query>) -> std::pin::Pin<_>` found signature `fn(&'life0 ProtobufServer::ecdar_backend::ConcreteEcdarBackend, tonic::Request<ProtobufServer::services::QueryRequest>) -> std::pin::Pin<_>`
cannot find type `Edge` in module `services`: src/ProtobufServer/proto_conversions.rs#L347
error[E0412]: cannot find type `Edge` in module `services` --> src/ProtobufServer/proto_conversions.rs:347:39 | 347 | impl From<SpecificEdge> for services::Edge { | ^^^^ not found in `services` | help: consider importing this struct | 1 + use crate::ModelObjects::Edge; | help: if you import `Edge`, refer to it directly | 347 - impl From<SpecificEdge> for services::Edge { 347 + impl From<SpecificEdge> for Edge { |
cannot find type `Decision` in module `services`: src/ProtobufServer/proto_conversions.rs#L326
error[E0412]: cannot find type `Decision` in module `services` --> src/ProtobufServer/proto_conversions.rs:326:43 | 326 | impl From<SpecificDecision> for services::Decision { | ^^^^^^^^ not found in `services` | help: consider importing this struct | 1 + use crate::Simulation::decision::Decision; | help: if you import `Decision`, refer to it directly | 326 - impl From<SpecificDecision> for services::Decision { 326 + impl From<SpecificDecision> for Decision { |
cannot find struct, variant or union type `StateAction` in module `services`: src/ProtobufServer/proto_conversions.rs#L174
error[E0422]: cannot find struct, variant or union type `StateAction` in module `services` --> src/ProtobufServer/proto_conversions.rs:174:15 | 174 | services::StateAction { | ^^^^^^^^^^^ not found in `services`
cannot find type `StateAction` in module `services`: src/ProtobufServer/proto_conversions.rs#L173
error[E0412]: cannot find type `StateAction` in module `services` --> src/ProtobufServer/proto_conversions.rs:173:77 | 173 | fn state_action_to_proto(state: SpecificState, action: Action) -> services::StateAction { | ^^^^^^^^^^^ not found in `services`
cannot find type `Edge` in module `services`: src/ProtobufServer/proto_conversions.rs#L347
error[E0412]: cannot find type `Edge` in module `services` --> src/ProtobufServer/proto_conversions.rs:347:39 | 347 | impl From<SpecificEdge> for services::Edge { | ^^^^ not found in `services` | help: consider importing this struct | 1 + use crate::ModelObjects::Edge; | help: if you import `Edge`, refer to it directly | 347 - impl From<SpecificEdge> for services::Edge { 347 + impl From<SpecificEdge> for Edge { |
cannot find type `Decision` in module `services`: src/ProtobufServer/proto_conversions.rs#L326
error[E0412]: cannot find type `Decision` in module `services` --> src/ProtobufServer/proto_conversions.rs:326:43 | 326 | impl From<SpecificDecision> for services::Decision { | ^^^^^^^^ not found in `services` | help: consider importing this struct | 1 + use crate::Simulation::decision::Decision; | help: if you import `Decision`, refer to it directly | 326 - impl From<SpecificDecision> for services::Decision { 326 + impl From<SpecificDecision> for Decision { |
cannot find struct, variant or union type `StateAction` in module `services`: src/ProtobufServer/proto_conversions.rs#L174
error[E0422]: cannot find struct, variant or union type `StateAction` in module `services` --> src/ProtobufServer/proto_conversions.rs:174:15 | 174 | services::StateAction { | ^^^^^^^^^^^ not found in `services`
cannot find type `StateAction` in module `services`: src/ProtobufServer/proto_conversions.rs#L173
error[E0412]: cannot find type `StateAction` in module `services` --> src/ProtobufServer/proto_conversions.rs:173:77 | 173 | fn state_action_to_proto(state: SpecificState, action: Action) -> services::StateAction { | ^^^^^^^^^^^ not found in `services`
failed to resolve: could not find `action_failure` in `services`: src/ProtobufServer/proto_conversions.rs#L180
error[E0433]: failed to resolve: could not find `action_failure` in `services` --> src/ProtobufServer/proto_conversions.rs:180:36 | 180 | impl From<ActionSet> for services::action_failure::ActionSet { | ^^^^^^^^^^^^^^ could not find `action_failure` in `services`
method `take_simulation_step` is not a member of trait `EcdarBackend`: src/ProtobufServer/ecdar_backend.rs#L126
error[E0407]: method `take_simulation_step` is not a member of trait `EcdarBackend` --> src/ProtobufServer/ecdar_backend.rs:126:5 | 126 | / async fn take_simulation_step( 127 | | &self, 128 | | request: Request<SimulationStepRequest>, 129 | | ) -> Result<Response<SimulationStepResponse>, Status> { ... | 141 | | .await 142 | | } | |_____^ not a member of trait `EcdarBackend`
method `start_simulation` is not a member of trait `EcdarBackend`: src/ProtobufServer/ecdar_backend.rs#L108
error[E0407]: method `start_simulation` is not a member of trait `EcdarBackend` --> src/ProtobufServer/ecdar_backend.rs:108:5 | 108 | / async fn start_simulation( 109 | | &self, 110 | | request: Request<SimulationStartRequest>, 111 | | ) -> Result<Response<SimulationStepResponse>, Status> { ... | 123 | | .await 124 | | } | |_____^ not a member of trait `EcdarBackend`
method `get_user_token` is not a member of trait `EcdarBackend`: src/ProtobufServer/ecdar_backend.rs#L78
error[E0407]: method `get_user_token` is not a member of trait `EcdarBackend` --> src/ProtobufServer/ecdar_backend.rs:78:5 | 78 | / async fn get_user_token( 79 | | &self, 80 | | _request: Request<()>, 81 | | ) -> Result<Response<UserTokenResponse>, Status> { ... | 84 | | Result::Ok(Response::new(token_response)) 85 | | } | |_____^ not a member of trait `EcdarBackend`
failed to resolve: could not find `action_failure` in `services`: src/ProtobufServer/proto_conversions.rs#L180
error[E0433]: failed to resolve: could not find `action_failure` in `services` --> src/ProtobufServer/proto_conversions.rs:180:36 | 180 | impl From<ActionSet> for services::action_failure::ActionSet { | ^^^^^^^^^^^^^^ could not find `action_failure` in `services`
method `take_simulation_step` is not a member of trait `EcdarBackend`: src/ProtobufServer/ecdar_backend.rs#L126
error[E0407]: method `take_simulation_step` is not a member of trait `EcdarBackend` --> src/ProtobufServer/ecdar_backend.rs:126:5 | 126 | / async fn take_simulation_step( 127 | | &self, 128 | | request: Request<SimulationStepRequest>, 129 | | ) -> Result<Response<SimulationStepResponse>, Status> { ... | 141 | | .await 142 | | } | |_____^ not a member of trait `EcdarBackend`
method `start_simulation` is not a member of trait `EcdarBackend`: src/ProtobufServer/ecdar_backend.rs#L108
error[E0407]: method `start_simulation` is not a member of trait `EcdarBackend` --> src/ProtobufServer/ecdar_backend.rs:108:5 | 108 | / async fn start_simulation( 109 | | &self, 110 | | request: Request<SimulationStartRequest>, 111 | | ) -> Result<Response<SimulationStepResponse>, Status> { ... | 123 | | .await 124 | | } | |_____^ not a member of trait `EcdarBackend`
method `get_user_token` is not a member of trait `EcdarBackend`: src/ProtobufServer/ecdar_backend.rs#L78
error[E0407]: method `get_user_token` is not a member of trait `EcdarBackend` --> src/ProtobufServer/ecdar_backend.rs:78:5 | 78 | / async fn get_user_token( 79 | | &self, 80 | | _request: Request<()>, 81 | | ) -> Result<Response<UserTokenResponse>, Status> { ... | 84 | | Result::Ok(Response::new(token_response)) 85 | | } | |_____^ not a member of trait `EcdarBackend`
unresolved import `crate::ProtobufServer::services::query_request`: src/lib.rs#L18
error[E0432]: unresolved import `crate::ProtobufServer::services::query_request` --> src/lib.rs:18:38 | 18 | use crate::ProtobufServer::services::query_request::Settings; | ^^^^^^^^^^^^^ could not find `query_request` in `services`
unresolved import `crate::ProtobufServer::services::ComponentsInfo`: src/tests/grpc/send_query.rs#L7
error[E0432]: unresolved import `crate::ProtobufServer::services::ComponentsInfo` --> src/tests/grpc/send_query.rs:7:9 | 7 | use crate::ProtobufServer::services::ComponentsInfo; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ComponentsInfo` in `ProtobufServer::services`
unresolved imports `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::SimulationInfo`: src/tests/Simulation/helper.rs#L7
error[E0432]: unresolved imports `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::SimulationInfo` --> src/tests/Simulation/helper.rs:7:34 | 7 | Component as ProtoComponent, ComponentsInfo as ProtoComponentsInfo, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ComponentsInfo` in `ProtobufServer::services` 8 | SimulationInfo as ProtoSimulationInfo, SimulationStartRequest, SimulationStepRequest, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `SimulationInfo` in `ProtobufServer::services` | = note: unresolved item `crate::DataReader::proto_reader::tests::ComponentsInfo` exists but is inaccessible
unresolved import `crate::ProtobufServer::services::query_request`: src/tests/mod.rs#L1
error[E0432]: unresolved import `crate::ProtobufServer::services::query_request` --> src/tests/mod.rs:1:38 | 1 | use crate::ProtobufServer::services::query_request::Settings; | ^^^^^^^^^^^^^ could not find `query_request` in `services`
unresolved import `crate::ProtobufServer::services::query_response::Information`: src/logging.rs#L1
error[E0432]: unresolved import `crate::ProtobufServer::services::query_response::Information` --> src/logging.rs:1:5 | 1 | use crate::ProtobufServer::services::query_response::Information; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Information` in `ProtobufServer::services::query_response`
unresolved import `services::Path`: src/ProtobufServer/proto_conversions.rs#L316
error[E0432]: unresolved import `services::Path` --> src/ProtobufServer/proto_conversions.rs:316:13 | 316 | use services::Path as ProtoPath; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Path` in `ProtobufServer::services` | help: consider importing one of these items instead | 316 | use crate::System::reachability::Path as ProtoPath; | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 316 | use std::path::Path as ProtoPath; | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
unresolved import `services::query_response::model_failure`: src/ProtobufServer/proto_conversions.rs#L300
error[E0432]: unresolved import `services::query_response::model_failure` --> src/ProtobufServer/proto_conversions.rs:300:39 | 300 | use services::query_response::model_failure::Failure; | ^^^^^^^^^^^^^ could not find `model_failure` in `query_response`
unresolved import `services::query_response::refinement_failure`: src/ProtobufServer/proto_conversions.rs#L246
error[E0432]: unresolved import `services::query_response::refinement_failure` --> src/ProtobufServer/proto_conversions.rs:246:39 | 246 | use services::query_response::refinement_failure::RefinementStateFailure; | ^^^^^^^^^^^^^^^^^^ could not find `refinement_failure` in `query_response`
unresolved import `services::query_response::refinement_failure`: src/ProtobufServer/proto_conversions.rs#L245
error[E0432]: unresolved import `services::query_response::refinement_failure` --> src/ProtobufServer/proto_conversions.rs:245:39 | 245 | use services::query_response::refinement_failure::Failure; | ^^^^^^^^^^^^^^^^^^ could not find `refinement_failure` in `query_response`
unresolved import `services::query_response::consistency_failure`: src/ProtobufServer/proto_conversions.rs#L219
error[E0432]: unresolved import `services::query_response::consistency_failure` --> src/ProtobufServer/proto_conversions.rs:219:39 | 219 | use services::query_response::consistency_failure::Failure; | ^^^^^^^^^^^^^^^^^^^ could not find `consistency_failure` in `query_response`
unresolved import `services::binary_location_operator`: src/ProtobufServer/proto_conversions.rs#L69
error[E0432]: unresolved import `services::binary_location_operator` --> src/ProtobufServer/proto_conversions.rs:69:31 | 69 | use services::binary_location_operator::Operator; | ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `binary_location_operator` in `services`
unresolved import `services::location_tree`: src/ProtobufServer/proto_conversions.rs#L66
error[E0432]: unresolved import `services::location_tree` --> src/ProtobufServer/proto_conversions.rs:66:23 | 66 | use services::location_tree::NodeType; | ^^^^^^^^^^^^^ could not find `location_tree` in `services`
unresolved import `services::location_tree`: src/ProtobufServer/proto_conversions.rs#L31
error[E0432]: unresolved import `services::location_tree` --> src/ProtobufServer/proto_conversions.rs:31:23 | 31 | use services::location_tree::NodeType; | ^^^^^^^^^^^^^ could not find `location_tree` in `services`
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::ActionFailure`, `crate::ProtobufServer::services::BinaryLocationOperator`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentInstance`, `crate::ProtobufServer::services::Conjunction`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LeafLocation`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`: src/ProtobufServer/proto_conversions.rs#L7
error[E0432]: unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::ActionFailure`, `crate::ProtobufServer::services::BinaryLocationOperator`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentInstance`, `crate::ProtobufServer::services::Conjunction`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LeafLocation`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State` --> src/ProtobufServer/proto_conversions.rs:7:11 | 7 | self, clock::Clock as ProtoClockEnum, clock::ComponentClock as ProtoComponentClock, | ^^^^^ ^^^^^ could not find `clock` in `services` | | | could not find `clock` in `services` 8 | clock::SystemClock as ProtoSystemClock, ActionFailure as ProtobufActionFailure, | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ActionFailure` in `ProtobufServer::services` | | | could not find `clock` in `services` 9 | BinaryLocationOperator, Clock as ProtoClock, ComponentInstance as ProtoSpecificComponent, | ^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ComponentInstance` in `ProtobufServer::services` | | | | | no `Clock` in `ProtobufServer::services` | no `BinaryLocationOperator` in `ProtobufServer::services` 10 | Conjunction as ProtoConjunction, Constraint as ProtoConstraint, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Constraint` in `ProtobufServer::services` | | | no `Conjunction` in `ProtobufServer::services` 11 | Disjunction as ProtoDisjunction, LeafLocation, LocationTree, State as ProtoState, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ | | | no `Disjunction` in `ProtobufServer::services` | = help: consider importing this enum instead: crate::System::query_failures::ActionFailure = help: consider importing one of these items instead: crate::ModelObjects::Expressions::ArithExpression::Clock crate::ModelObjects::Expressions::Clock crate::ModelObjects::Expressions::OperandExpression::Clock = help: consider importing one of these items instead: crate::System::query_failures::SystemType::Conjunction crate::TransitionSystems::Conjunction crate::TransitionSystems::LocationID::Conjunction crate::extract_system_rep::SystemRecipe::Conjunction edbm::util::constraints::Conjunction = help: consider importing this struct instead: edbm::util::constraints::Constraint = help: consider importing this struct instead: edbm::util::constraints::Disjunction
unresolved imports `crate::ProtobufServer::services::query_response::ConsistencyFailure`, `crate::ProtobufServer::services::query_response::DeterminismFailure`, `crate::ProtobufServer::services::query_response::ModelFailure`, `crate::ProtobufServer::services::query_response::ReachabilityFailure`, `crate::ProtobufServer::services::query_response::ReachabilityPath`, `crate::ProtobufServer::services::query_response::RefinementFailure`: src/ProtobufServer/proto_conversions.rs#L2
error[E0432]: unresolved imports `crate::ProtobufServer::services::query_response::ConsistencyFailure`, `crate::ProtobufServer::services::query_response::DeterminismFailure`, `crate::ProtobufServer::services::query_response::ModelFailure`, `crate::ProtobufServer::services::query_response::ReachabilityFailure`, `crate::ProtobufServer::services::query_response::ReachabilityPath`, `crate::ProtobufServer::services::query_response::RefinementFailure` --> src/ProtobufServer/proto_conversions.rs:2:5 | 2 | ConsistencyFailure as ProtobufConsistencyFailure, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ConsistencyFailure` in `ProtobufServer::services::query_response` 3 | DeterminismFailure as ProtobufDeterminismFailure, ModelFailure, ReachabilityFailure, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ no `ReachabilityFailure` in `ProtobufServer::services::query_response` | | | | | no `ModelFailure` in `ProtobufServer::services::query_response` | no `DeterminismFailure` in `ProtobufServer::services::query_response` 4 | ReachabilityPath, RefinementFailure as ProtobufRefinementFailure, | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `RefinementFailure` in `ProtobufServer::services::query_response` | | | no `ReachabilityPath` in `ProtobufServer::services::query_response` | = help: consider importing this enum instead: crate::System::query_failures::ConsistencyFailure = help: consider importing this struct instead: crate::System::query_failures::DeterminismFailure = help: consider importing this enum instead: crate::System::query_failures::RefinementFailure help: a similar name exists in the module | 2 | ConsistencyResult as ProtobufConsistencyFailure, | ~~~~~~~~~~~~~~~~~ help: a similar name exists in the module | 3 | DeterminismResult as ProtobufDeterminismFailure, ModelFailure, ReachabilityFailure, | ~~~~~~~~~~~~~~~~~
unresolved imports `crate::ProtobufServer::services::query_response::Error`, `crate::ProtobufServer::services::query_response::Success`: src/ProtobufServer/ecdar_requests/send_query.rs#L9
error[E0432]: unresolved imports `crate::ProtobufServer::services::query_response::Error`, `crate::ProtobufServer::services::query_response::Success` --> src/ProtobufServer/ecdar_requests/send_query.rs:9:5 | 9 | Error as InnerError, Result as ProtobufResult, Success, | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^ no `Success` in `ProtobufServer::services::query_response` | | | no `Error` in `ProtobufServer::services::query_response` | = help: consider importing one of these items instead: chrono::format::Item::Error clap::Error clap::error::Error crate::ProtobufServer::services::query_response::Result::Error crate::System::specifics::SpecialLocation::Error elementtree::Error futures::io::Error log::Level::Error log::LevelFilter::Error pest::error::Error pprof::Error rand::Error regex::Error serde::__private::doc::Error serde::__private::fmt::Error serde::de::Error serde::de::value::Error serde::ser::Error serde_json::Error serde_xml_rs::Error std::error::Error std::fmt::Error std::io::Error tokio::io::Error tokio::time::error::Error tonic::codegen::http::Error tonic::transport::Error xml::reader::Error xml::writer::Error core::error::Error core::fmt::Error note: variant `crate::System::refine::BuildResult::Success` exists but is inaccessible --> src/System/refine.rs:306:5 | 306 | Success, | ^^^^^^^ not accessible
unresolved import `crate::ProtobufServer::services::SimulationInfo`: src/ProtobufServer/ecdar_requests/request_util.rs#L8
error[E0432]: unresolved import `crate::ProtobufServer::services::SimulationInfo` --> src/ProtobufServer/ecdar_requests/request_util.rs:8:61 | 8 | ProtobufServer::services::{Component as ProtoComponent, SimulationInfo}, | ^^^^^^^^^^^^^^ no `SimulationInfo` in `ProtobufServer::services`
unresolved import `crate::ProtobufServer::services::UserTokenResponse`: src/ProtobufServer/ecdar_backend.rs#L6
error[E0432]: unresolved import `crate::ProtobufServer::services::UserTokenResponse` --> src/ProtobufServer/ecdar_backend.rs:6:29 | 6 | SimulationStepResponse, UserTokenResponse, | ^^^^^^^^^^^^^^^^^ no `UserTokenResponse` in `ProtobufServer::services`
unresolved import `crate::ProtobufServer::services::query_request`: src/lib.rs#L18
error[E0432]: unresolved import `crate::ProtobufServer::services::query_request` --> src/lib.rs:18:38 | 18 | use crate::ProtobufServer::services::query_request::Settings; | ^^^^^^^^^^^^^ could not find `query_request` in `services`
unresolved imports `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::SimulationInfo`: src/tests/Simulation/helper.rs#L7
error[E0432]: unresolved imports `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::SimulationInfo` --> src/tests/Simulation/helper.rs:7:34 | 7 | Component as ProtoComponent, ComponentsInfo as ProtoComponentsInfo, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ComponentsInfo` in `ProtobufServer::services` 8 | SimulationInfo as ProtoSimulationInfo, SimulationStartRequest, SimulationStepRequest, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `SimulationInfo` in `ProtobufServer::services`
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Decision`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`: src/DataReader/proto_reader.rs#L9
error[E0432]: unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Decision`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State` --> src/DataReader/proto_reader.rs:9:5 | 9 | clock::Clock as ClockEnum, Clock as ProtoClock, ComponentsInfo, Constraint as ProtoConstraint, | ^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Constraint` in `ProtobufServer::services` | | | | | | | no `ComponentsInfo` in `ProtobufServer::services` | | no `Clock` in `ProtobufServer::services` | could not find `clock` in `services` 10 | Decision as ProtoDecision, Disjunction as ProtoDisjunction, LocationTree as ProtoLocationTree, | ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `LocationTree` in `ProtobufServer::services` | | | | | no `Disjunction` in `ProtobufServer::services` | no `Decision` in `ProtobufServer::services` 11 | State as ProtoState, | ^^^^^^^^^^^^^^^^^^^ no `State` in `ProtobufServer::services` | = help: consider importing one of these items instead: crate::ModelObjects::Expressions::ArithExpression::Clock crate::ModelObjects::Expressions::Clock crate::ModelObjects::Expressions::OperandExpression::Clock = help: consider importing this struct instead: edbm::util::constraints::Constraint = help: consider importing this struct instead: crate::Simulation::decision::Decision = help: consider importing this struct instead: edbm::util::constraints::Disjunction = help: consider importing this struct instead: crate::TransitionSystems::LocationTree = help: consider importing one of these items instead: crate::ModelObjects::State serde_json::ser::State
unresolved import `crate::ProtobufServer::services::query_request`: src/tests/mod.rs#L1
error[E0432]: unresolved import `crate::ProtobufServer::services::query_request` --> src/tests/mod.rs:1:38 | 1 | use crate::ProtobufServer::services::query_request::Settings; | ^^^^^^^^^^^^^ could not find `query_request` in `services`
unresolved import `crate::ProtobufServer::services::query_response::Information`: src/logging.rs#L1
error[E0432]: unresolved import `crate::ProtobufServer::services::query_response::Information` --> src/logging.rs:1:5 | 1 | use crate::ProtobufServer::services::query_response::Information; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Information` in `ProtobufServer::services::query_response`
unresolved import `services::Path`: src/ProtobufServer/proto_conversions.rs#L316
error[E0432]: unresolved import `services::Path` --> src/ProtobufServer/proto_conversions.rs:316:13 | 316 | use services::Path as ProtoPath; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Path` in `ProtobufServer::services` | help: consider importing one of these items instead | 316 | use crate::System::reachability::Path as ProtoPath; | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 316 | use std::path::Path as ProtoPath; | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
unresolved import `services::query_response::model_failure`: src/ProtobufServer/proto_conversions.rs#L300
error[E0432]: unresolved import `services::query_response::model_failure` --> src/ProtobufServer/proto_conversions.rs:300:39 | 300 | use services::query_response::model_failure::Failure; | ^^^^^^^^^^^^^ could not find `model_failure` in `query_response`
unresolved import `services::query_response::refinement_failure`: src/ProtobufServer/proto_conversions.rs#L246
error[E0432]: unresolved import `services::query_response::refinement_failure` --> src/ProtobufServer/proto_conversions.rs:246:39 | 246 | use services::query_response::refinement_failure::RefinementStateFailure; | ^^^^^^^^^^^^^^^^^^ could not find `refinement_failure` in `query_response`
unresolved import `services::query_response::refinement_failure`: src/ProtobufServer/proto_conversions.rs#L245
error[E0432]: unresolved import `services::query_response::refinement_failure` --> src/ProtobufServer/proto_conversions.rs:245:39 | 245 | use services::query_response::refinement_failure::Failure; | ^^^^^^^^^^^^^^^^^^ could not find `refinement_failure` in `query_response`
unresolved import `services::query_response::consistency_failure`: src/ProtobufServer/proto_conversions.rs#L219
error[E0432]: unresolved import `services::query_response::consistency_failure` --> src/ProtobufServer/proto_conversions.rs:219:39 | 219 | use services::query_response::consistency_failure::Failure; | ^^^^^^^^^^^^^^^^^^^ could not find `consistency_failure` in `query_response`
unresolved import `services::binary_location_operator`: src/ProtobufServer/proto_conversions.rs#L69
error[E0432]: unresolved import `services::binary_location_operator` --> src/ProtobufServer/proto_conversions.rs:69:31 | 69 | use services::binary_location_operator::Operator; | ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `binary_location_operator` in `services`
unresolved import `services::location_tree`: src/ProtobufServer/proto_conversions.rs#L66
error[E0432]: unresolved import `services::location_tree` --> src/ProtobufServer/proto_conversions.rs:66:23 | 66 | use services::location_tree::NodeType; | ^^^^^^^^^^^^^ could not find `location_tree` in `services`
unresolved import `services::location_tree`: src/ProtobufServer/proto_conversions.rs#L31
error[E0432]: unresolved import `services::location_tree` --> src/ProtobufServer/proto_conversions.rs:31:23 | 31 | use services::location_tree::NodeType; | ^^^^^^^^^^^^^ could not find `location_tree` in `services`
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::ActionFailure`, `crate::ProtobufServer::services::BinaryLocationOperator`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentInstance`, `crate::ProtobufServer::services::Conjunction`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LeafLocation`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`: src/ProtobufServer/proto_conversions.rs#L7
error[E0432]: unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::ActionFailure`, `crate::ProtobufServer::services::BinaryLocationOperator`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentInstance`, `crate::ProtobufServer::services::Conjunction`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LeafLocation`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State` --> src/ProtobufServer/proto_conversions.rs:7:11 | 7 | self, clock::Clock as ProtoClockEnum, clock::ComponentClock as ProtoComponentClock, | ^^^^^ ^^^^^ could not find `clock` in `services` | | | could not find `clock` in `services` 8 | clock::SystemClock as ProtoSystemClock, ActionFailure as ProtobufActionFailure, | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ActionFailure` in `ProtobufServer::services` | | | could not find `clock` in `services` 9 | BinaryLocationOperator, Clock as ProtoClock, ComponentInstance as ProtoSpecificComponent, | ^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ComponentInstance` in `ProtobufServer::services` | | | | | no `Clock` in `ProtobufServer::services` | no `BinaryLocationOperator` in `ProtobufServer::services` 10 | Conjunction as ProtoConjunction, Constraint as ProtoConstraint, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Constraint` in `ProtobufServer::services` | | | no `Conjunction` in `ProtobufServer::services` 11 | Disjunction as ProtoDisjunction, LeafLocation, LocationTree, State as ProtoState, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ | | | no `Disjunction` in `ProtobufServer::services` | = help: consider importing this enum instead: crate::System::query_failures::ActionFailure = help: consider importing one of these items instead: crate::ModelObjects::Expressions::ArithExpression::Clock crate::ModelObjects::Expressions::Clock crate::ModelObjects::Expressions::OperandExpression::Clock = help: consider importing one of these items instead: crate::ModelObjects::Expressions::SystemExpression::Conjunction crate::System::query_failures::SystemType::Conjunction crate::TransitionSystems::CompositionType::Conjunction crate::TransitionSystems::Conjunction crate::TransitionSystems::LocationID::Conjunction crate::TransitionSystems::TransitionID::Conjunction crate::extract_system_rep::SystemRecipe::Conjunction edbm::util::constraints::Conjunction = help: consider importing this struct instead: edbm::util::constraints::Constraint = help: consider importing this struct instead: edbm::util::constraints::Disjunction
unresolved import `crate::ProtobufServer::services::query_request`: src/DataReader/component_loader.rs#L10
error[E0432]: unresolved import `crate::ProtobufServer::services::query_request` --> src/DataReader/component_loader.rs:10:38 | 10 | use crate::ProtobufServer::services::query_request::Settings; | ^^^^^^^^^^^^^ could not find `query_request` in `services`
unresolved imports `crate::ProtobufServer::services::query_response::ConsistencyFailure`, `crate::ProtobufServer::services::query_response::DeterminismFailure`, `crate::ProtobufServer::services::query_response::ModelFailure`, `crate::ProtobufServer::services::query_response::ReachabilityFailure`, `crate::ProtobufServer::services::query_response::ReachabilityPath`, `crate::ProtobufServer::services::query_response::RefinementFailure`: src/ProtobufServer/proto_conversions.rs#L2
error[E0432]: unresolved imports `crate::ProtobufServer::services::query_response::ConsistencyFailure`, `crate::ProtobufServer::services::query_response::DeterminismFailure`, `crate::ProtobufServer::services::query_response::ModelFailure`, `crate::ProtobufServer::services::query_response::ReachabilityFailure`, `crate::ProtobufServer::services::query_response::ReachabilityPath`, `crate::ProtobufServer::services::query_response::RefinementFailure` --> src/ProtobufServer/proto_conversions.rs:2:5 | 2 | ConsistencyFailure as ProtobufConsistencyFailure, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ConsistencyFailure` in `ProtobufServer::services::query_response` 3 | DeterminismFailure as ProtobufDeterminismFailure, ModelFailure, ReachabilityFailure, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ no `ReachabilityFailure` in `ProtobufServer::services::query_response` | | | | | no `ModelFailure` in `ProtobufServer::services::query_response` | no `DeterminismFailure` in `ProtobufServer::services::query_response` 4 | ReachabilityPath, RefinementFailure as ProtobufRefinementFailure, | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `RefinementFailure` in `ProtobufServer::services::query_response` | | | no `ReachabilityPath` in `ProtobufServer::services::query_response` | = help: consider importing this enum instead: crate::System::query_failures::ConsistencyFailure = help: consider importing this struct instead: crate::System::query_failures::DeterminismFailure = help: consider importing this enum instead: crate::System::query_failures::RefinementFailure help: a similar name exists in the module | 2 | ConsistencyResult as ProtobufConsistencyFailure, | ~~~~~~~~~~~~~~~~~ help: a similar name exists in the module | 3 | DeterminismResult as ProtobufDeterminismFailure, ModelFailure, ReachabilityFailure, | ~~~~~~~~~~~~~~~~~
unresolved imports `crate::ProtobufServer::services::query_response::Error`, `crate::ProtobufServer::services::query_response::Success`: src/ProtobufServer/ecdar_requests/send_query.rs#L9
error[E0432]: unresolved imports `crate::ProtobufServer::services::query_response::Error`, `crate::ProtobufServer::services::query_response::Success` --> src/ProtobufServer/ecdar_requests/send_query.rs:9:5 | 9 | Error as InnerError, Result as ProtobufResult, Success, | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^ no `Success` in `ProtobufServer::services::query_response` | | | no `Error` in `ProtobufServer::services::query_response` | = help: consider importing one of these items instead: chrono::format::Item::Error clap::Error clap::error::Error crate::ProtobufServer::services::query_response::Result::Error crate::System::specifics::SpecialLocation::Error elementtree::Error futures::io::Error log::Level::Error log::LevelFilter::Error pest::error::Error rand::Error regex::Error serde::__private::doc::Error serde::__private::fmt::Error serde::de::Error serde::de::value::Error serde::ser::Error serde_json::Error serde_xml_rs::Error std::error::Error std::fmt::Error std::io::Error tokio::io::Error tokio::time::error::Error tonic::codegen::http::Error tonic::transport::Error xml::reader::Error xml::writer::Error core::error::Error core::fmt::Error note: variant `crate::System::refine::BuildResult::Success` exists but is inaccessible --> src/System/refine.rs:306:5 | 306 | Success, | ^^^^^^^ not accessible
unresolved import `crate::ProtobufServer::services::SimulationInfo`: src/ProtobufServer/ecdar_requests/request_util.rs#L8
error[E0432]: unresolved import `crate::ProtobufServer::services::SimulationInfo` --> src/ProtobufServer/ecdar_requests/request_util.rs:8:61 | 8 | ProtobufServer::services::{Component as ProtoComponent, SimulationInfo}, | ^^^^^^^^^^^^^^ no `SimulationInfo` in `ProtobufServer::services`
unresolved import `crate::ProtobufServer::services::UserTokenResponse`: src/ProtobufServer/ecdar_backend.rs#L6
error[E0432]: unresolved import `crate::ProtobufServer::services::UserTokenResponse` --> src/ProtobufServer/ecdar_backend.rs:6:29 | 6 | SimulationStepResponse, UserTokenResponse, | ^^^^^^^^^^^^^^^^^ no `UserTokenResponse` in `ProtobufServer::services`
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Decision`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`: src/DataReader/proto_reader.rs#L9
error[E0432]: unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Decision`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State` --> src/DataReader/proto_reader.rs:9:5 | 9 | clock::Clock as ClockEnum, Clock as ProtoClock, ComponentsInfo, Constraint as ProtoConstraint, | ^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Constraint` in `ProtobufServer::services` | | | | | | | no `ComponentsInfo` in `ProtobufServer::services` | | no `Clock` in `ProtobufServer::services` | could not find `clock` in `services` 10 | Decision as ProtoDecision, Disjunction as ProtoDisjunction, LocationTree as ProtoLocationTree, | ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `LocationTree` in `ProtobufServer::services` | | | | | no `Disjunction` in `ProtobufServer::services` | no `Decision` in `ProtobufServer::services` 11 | State as ProtoState, | ^^^^^^^^^^^^^^^^^^^ no `State` in `ProtobufServer::services` | = help: consider importing one of these items instead: crate::ModelObjects::Expressions::ArithExpression::Clock crate::ModelObjects::Expressions::Clock crate::ModelObjects::Expressions::OperandExpression::Clock = help: consider importing this struct instead: edbm::util::constraints::Constraint = help: consider importing this struct instead: crate::Simulation::decision::Decision = help: consider importing this struct instead: edbm::util::constraints::Disjunction = help: consider importing this struct instead: crate::TransitionSystems::LocationTree = help: consider importing one of these items instead: crate::ModelObjects::State serde_json::ser::State
unresolved import `crate::ProtobufServer::services::query_request`: src/DataReader/component_loader.rs#L10
error[E0432]: unresolved import `crate::ProtobufServer::services::query_request` --> src/DataReader/component_loader.rs:10:38 | 10 | use crate::ProtobufServer::services::query_request::Settings; | ^^^^^^^^^^^^^ could not find `query_request` in `services`
Lint and check
Clippy had exited with the 101 exit code
Test Suite: src/DataReader/component_loader.rs#L10
unresolved import `crate::ProtobufServer::services::query_request`
Test Suite: src/DataReader/proto_reader.rs#L9
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Decision`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`
Test Suite: src/ProtobufServer/ecdar_backend.rs#L6
unresolved import `crate::ProtobufServer::services::UserTokenResponse`
Test Suite: src/ProtobufServer/ecdar_requests/request_util.rs#L8
unresolved import `crate::ProtobufServer::services::SimulationInfo`
Test Suite: src/ProtobufServer/ecdar_requests/send_query.rs#L9
unresolved imports `crate::ProtobufServer::services::query_response::Error`, `crate::ProtobufServer::services::query_response::Success`
Test Suite: src/ProtobufServer/proto_conversions.rs#L2
unresolved imports `crate::ProtobufServer::services::query_response::ConsistencyFailure`, `crate::ProtobufServer::services::query_response::DeterminismFailure`, `crate::ProtobufServer::services::query_response::ModelFailure`, `crate::ProtobufServer::services::query_response::ReachabilityFailure`, `crate::ProtobufServer::services::query_response::ReachabilityPath`, `crate::ProtobufServer::services::query_response::RefinementFailure`
Test Suite: src/ProtobufServer/proto_conversions.rs#L7
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::ActionFailure`, `crate::ProtobufServer::services::BinaryLocationOperator`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentInstance`, `crate::ProtobufServer::services::Conjunction`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LeafLocation`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`
Test Suite: src/ProtobufServer/proto_conversions.rs#L31
unresolved import `services::location_tree`
Test Suite: src/ProtobufServer/proto_conversions.rs#L66
unresolved import `services::location_tree`
Test Suite: src/ProtobufServer/proto_conversions.rs#L69
unresolved import `services::binary_location_operator`
Check code is formatted
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Check code is formatted
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check code is formatted
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check code is formatted
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check code is formatted
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Lint and check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Lint and check
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Lint and check
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Lint and check
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Lint and check
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test Suite
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Test Suite
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test Suite
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test Suite
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test Suite
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test Suite: src/DataReader/proto_reader.rs#L2
unused import: `std::convert::TryInto`
Test Suite
`reveaal` (lib) generated 1 warning