objects.proto

syntax = "proto3";

package EcdarProtoBuf;

option java_multiple_files = false;
option java_package = "EcdarProtoBuf";
option java_outer_classname = "ObjectProtos";

import "component.proto";

message SpecificComponent {
  string component_name = 1;
  uint32 component_index = 2;
}

message ComponentClock {
  SpecificComponent specific_component = 1;
  string clock_name = 2;
}

message Constraint {
  // This message represents if (!strict) { x - y <= c } else { x - y < c }
  ComponentClock x = 1;
  ComponentClock y = 2;
  bool strict = 3;
  int32 c = 4;
}

message Conjunction {
  repeated Constraint constraints = 1;
}

message Disjunction {
  repeated Conjunction conjunctions = 1;
}

message Federation {
  Disjunction disjunction = 1;
}

message Location {
  string id = 1;
  SpecificComponent specific_component = 2;
}

message LocationTuple {
  repeated Location locations = 1;
}

message State {
  LocationTuple location_tuple = 1;
  Federation federation = 2;
}

message DecisionPoint {
  State source = 1;
  repeated Edge edges = 2;
}

message Edge {
  string id = 1;
  SpecificComponent specific_component = 2;
}

message Decision {
  State source = 1;
  Edge edge = 2;
}

message Path {
  repeated string edge_ids = 1;
}