Index

A

abs_path (DatabaseConnection property) activate_debug() (CommandHandler static method) add_binding() (Frame method) add_function() (Frame method) add_project() (ProjectManager method) add_transition() (Location method) add_version() (Project method) (VersionManager method)

Array (class in uppaal2jetracer.uppaalmodel.variable) assignments (Update property) automata (System property) automata_controller (SystemController property) automaton (AutomatonController property) Automaton (class in uppaal2jetracer.uppaalmodel.system) automaton_frame (Automaton property) AutomatonController (class in uppaal2jetracer.controller.uppaal_controller) AutomatonParser (class in uppaal2jetracer.parser.parser)

B

Base (class in uppaal2jetracer.versioncontrol.models)

BelowRangeError BooleanVariable (class in uppaal2jetracer.uppaalmodel.variable)

C

c_id (Global property) can_step() (AutomatonController method) change_version_limit() (ProjectManager method) Channel (class in uppaal2jetracer.uppaalmodel.variable) check_valid_name() (DatabaseConnection method) check_valid_path() (DatabaseConnection method) clean_up() (Channel method) clean_up_channels() (AutomatonController method) cleanup() (TurnActionClientAsync method) CLI (class in uppaal2jetracer.cli) Clock (class in uppaal2jetracer.uppaalmodel.variable)

CollisionController (class in uppaal2jetracer.jetracerros2.jetracerros2.collision_controller) Command (class in uppaal2jetracer.command_system) CommandHandler (class in uppaal2jetracer.command_system) CommandResult (class in uppaal2jetracer.command_system) CommandResultType (class in uppaal2jetracer.command_system) Config (class in uppaal2jetracer.versioncontrol.config) config (DatabaseConnection property) create_tables() (DatabaseConnection method) create_temporary_frame() (Frame method) current_location (AutomatonController property) current_project (Global property) current_user (Project property)

D

DatabaseConnection (class in uppaal2jetracer.versioncontrol.database) date (Project property) (Version property) db (ProjectManager property) (VersionManager property) DB_PROJECT_NAME_MAX (Config attribute)

DB_VERSION_NAME_MAX (Config attribute) deactivate_debug() (CommandHandler method) decision (Guard property) (Invariant property) delete_project() (ProjectManager method) delete_version() (VersionManager method) DoubleVariable (class in uppaal2jetracer.uppaalmodel.variable)

E

end (Range property) engine (DatabaseConnection property) ERROR (HardwareState attribute) (ResponseType attribute) ExceedsRangeError execute() (AutomatonController method) (Command method) (FreeAheadCommand method) (HardwareCommand method) (JRHardwareCommand method) (ParseCommand method) (ParseRunCommand method) (PotentialCollisionCommand method) (ProjectCommand method) (QuitCommand method) (RunCommand method) (SetSpeedCommand method) (TurnCommand method) (VersionCommand method)

execute_step() (AutomatonController method) execute_sync() (AutomatonController method) Executor (class in uppaal2jetracer.controller.executor)

F

FAILURE (CommandResultType attribute) favorite (Version property) favorite_version() (VersionManager method) file (Version property) FilteredLaserScanSubscriber (class in uppaal2jetracer.jetracerros2.jetracerros2.collision_controller)

Frame (class in uppaal2jetracer.uppaalmodel.frame) free_ahead (CollisionController property) (FilteredLaserScanSubscriber property) free_ahead() (JRHardwareController method) FREE_AHEAD_COMMAND_NAME (HardwareCommandHandler attribute) FreeAheadCommand (class in uppaal2jetracer.controller.hardware_command_system)

G

g_id (Global property) get_all_projects() (ProjectManager method) get_all_versions() (VersionManager method) get_command() (HardwareCommandHandler method) get_config() (ProjectManager method) get_current_project() (ProjectManager method) get_function() (Frame method) get_index() (Array method) get_model_protected() (Global method) (Project method) (Version method)

get_variable() (Frame method) get_version() (VersionManager method) Global (class in uppaal2jetracer.versioncontrol.models) global_frame (System property) GLOBAL_ID (Config attribute) GlobalResponse (class in uppaal2jetracer.versioncontrol.versioncontrol) Guard (class in uppaal2jetracer.uppaalmodel.elements) guard (Transition property)

H

handle_input() (CLI method) (CommandHandler method) hardware_controller (HardwareCommand property) HARDWARE_FAILURE (HardwareCommandResultType attribute) hardware_state (HardwareResult property) HardwareCallError HardwareCommand (class in uppaal2jetracer.controller.hardware_command_system) HardwareCommandError HardwareCommandHandler (class in uppaal2jetracer.controller.hardware_command_system)

HardwareCommandResult (class in uppaal2jetracer.controller.hardware_command_system) HardwareCommandResultType (class in uppaal2jetracer.controller.hardware_command_system) HardwareController (class in uppaal2jetracer.controller.hardware_controller) HardwareError HardwareResult (class in uppaal2jetracer.controller.hardware_controller) HardwareState (class in uppaal2jetracer.controller.hardware_controller) has_command() (HardwareCommandHandler method) has_pair() (Channel method) help_message (Command property) HTTPHandler (class in uppaal2jetracer.httphandler)

I

identifier (Location property) ImmutableValueError IndexOutOfRangeError init_db() (DatabaseConnection method) initial_location (Automaton property) IntVariable (class in uppaal2jetracer.uppaalmodel.variable) InvalidGuardError InvalidInvariantError

InvalidParamsAmountError InvalidParamTypeError InvalidParamValueError Invariant (class in uppaal2jetracer.uppaalmodel.elements) invariant (Location property) is_broadcast (Channel property) is_constant (Variable property) is_sending (Synchronization property) is_valid() (AutomatonController method)

J

JetRacerController (class in uppaal2jetracer.jetracerros2.jetracerros2.jetracer_controller)

JRHardwareCommand (class in uppaal2jetracer.controller.hardware_command_system) JRHardwareController (class in uppaal2jetracer.controller.hardware_controller)

L

LaserFilter (class in uppaal2jetracer.jetracerros2.jetracerros2.laser_filter) LaserFilterParameterSetter (class in uppaal2jetracer.jetracerros2.jetracerros2.collision_controller) last_subscription_time (ServoMotorController property)

Location (class in uppaal2jetracer.uppaalmodel.elements) LocationParser (class in uppaal2jetracer.parser.parser) locations (Automaton property) loggers (Command property)

M

main() (in module uppaal2jetracer.jetracerros2.jetracerros2.jetracer_controller) (in module uppaal2jetracer.jetracerros2.jetracerros2.laser_filter) (in module uppaal2jetracer.jetracerros2.jetracerros2.servo_motor_controller) (Uppaal2JetRacer static method) MAX_RANGE_PARAM (LaserFilter attribute) message (CommandResult property) (ResponseObject property) metadata (Base attribute) MIN_RANGE_PARAM (LaserFilter attribute) module uppaal2jetracer uppaal2jetracer.cli uppaal2jetracer.command_system uppaal2jetracer.controller uppaal2jetracer.controller.executor uppaal2jetracer.controller.hardware_command_system uppaal2jetracer.controller.hardware_controller uppaal2jetracer.controller.uppaal_controller uppaal2jetracer.httphandler uppaal2jetracer.jetracerros2 uppaal2jetracer.jetracerros2.jetracerros2 uppaal2jetracer.jetracerros2.jetracerros2.collision_controller uppaal2jetracer.jetracerros2.jetracerros2.jetracer_controller uppaal2jetracer.jetracerros2.jetracerros2.laser_filter uppaal2jetracer.jetracerros2.jetracerros2.servo_motor_controller uppaal2jetracer.jetracerros2.jetracerros2.speed_controller uppaal2jetracer.jetracerros2.jetracerros2.turn_controller uppaal2jetracer.parser uppaal2jetracer.parser.parser uppaal2jetracer.uppaalmodel uppaal2jetracer.uppaalmodel.elements uppaal2jetracer.uppaalmodel.frame uppaal2jetracer.uppaalmodel.system uppaal2jetracer.uppaalmodel.variable uppaal2jetracer.versioncontrol uppaal2jetracer.versioncontrol.config uppaal2jetracer.versioncontrol.database uppaal2jetracer.versioncontrol.models uppaal2jetracer.versioncontrol.versioncontrol

N

name (Automaton property) (Location property) (Project property) (Version property)

O

OK (HardwareState attribute) (ResponseType attribute)

P

p_id (Project property) (Version property) parent (Frame property) parse() (AutomatonParser static method) (LocationParser static method) (SystemParser static method) (TransitionParser static method) (UppaalParser static method) parse_command_name (CommandHandler property) parse_run_command_name (CommandHandler property) ParseCommand (class in uppaal2jetracer.command_system) ParseRunCommand (class in uppaal2jetracer.command_system) PARTIAL_SUCCESS (HardwareCommandResultType attribute) payload (CommandResult property) (GlobalResponse property) (ProjectResponse property) (ResponseObject property) (VersionResponse property)

potential_collision (CollisionController property) (FilteredLaserScanSubscriber property) potential_collision() (JRHardwareController method) POTENTIAL_COLLISION_COMMAND_NAME (HardwareCommandHandler attribute) PotentialCollisionCommand (class in uppaal2jetracer.controller.hardware_command_system) Project (class in uppaal2jetracer.versioncontrol.models) project (Version property) project_command_name (CommandHandler property) ProjectCommand (class in uppaal2jetracer.command_system) ProjectManager (class in uppaal2jetracer.versioncontrol.versioncontrol) ProjectResponse (class in uppaal2jetracer.versioncontrol.versioncontrol)

Q

quit() (CommandHandler method)

quit_command_name (CommandHandler property) QuitCommand (class in uppaal2jetracer.command_system)

R

Range (class in uppaal2jetracer.uppaalmodel.variable) receiving_transitions (Channel property) register_receiving() (Channel method) register_sending() (Channel method) registry (Base attribute) remove_db() (DatabaseConnection method) remove_version() (Project method) reset() (Array method) (BooleanVariable method) (Channel method) (Clock method) (DoubleVariable method) (Frame method) (IntVariable method) (Range method) (StringVariable method) (Variable method)

ResponseObject (class in uppaal2jetracer.versioncontrol.versioncontrol) ResponseType (class in uppaal2jetracer.versioncontrol.versioncontrol) result (HardwareCommandResult property) (HardwareResult property) (TurnActionClientAsync property) result_type (CommandResult property) (HardwareCommandResult property) return_type (HardwareCommandResult property) run_command() (HardwareCommandHandler method) run_command_name (CommandHandler property) run_system() (SystemController method) RunCommand (class in uppaal2jetracer.command_system)

S

SECTION_END_PARAM (LaserFilter attribute) SECTION_START_PARAM (LaserFilter attribute) select_project() (ProjectManager method) send_speed_request() (SetSpeedClientAsync method) send_turn_goal_async() (TurnActionClientAsync method) sending_transitions (Channel property) ServoMotorController (class in uppaal2jetracer.jetracerros2.jetracerros2.servo_motor_controller) session (DatabaseConnection property) set_coefficient() (ServoMotorController method) set_index() (Array method) set_max_range() (LaserFilterParameterSetter method) set_max_range_async() (CollisionController method) set_min_range() (LaserFilterParameterSetter method) set_min_range_async() (CollisionController method) set_params() (ServoMotorController method) set_section_end() (LaserFilterParameterSetter method) set_section_end_async() (CollisionController method) set_section_start() (LaserFilterParameterSetter method) set_section_start_async() (CollisionController method) set_speed() (JRHardwareController method) (SpeedController method) SET_SPEED_COMMAND_NAME (HardwareCommandHandler attribute) set_velocity() (ServoMotorController method) SetSpeedClientAsync (class in uppaal2jetracer.jetracerros2.jetracerros2.speed_controller) SetSpeedCommand (class in uppaal2jetracer.controller.hardware_command_system)

shutdown() (CollisionController method) (HardwareController method) (JRHardwareController method) (SpeedController method) (TurnController method) source (Transition property) SpeedController (class in uppaal2jetracer.jetracerros2.jetracerros2.speed_controller) start (Range property) status (TurnActionClientAsync property) step() (AutomatonController method) stop() (Executor static method) (HardwareCommandHandler method) (HardwareController method) (JRHardwareController method) StringVariable (class in uppaal2jetracer.uppaalmodel.variable) SUCCESS (CommandResultType attribute) (HardwareCommandResultType attribute) Synchronization (class in uppaal2jetracer.uppaalmodel.elements) synchronization (Synchronization property) (Transition property) System (class in uppaal2jetracer.uppaalmodel.system) system (SystemController property) system_frame (System property) SystemController (class in uppaal2jetracer.controller.uppaal_controller) SystemParser (class in uppaal2jetracer.parser.parser)

T

target (Transition property) toggle_favorite() (Version method) Transition (class in uppaal2jetracer.uppaalmodel.elements) TransitionParser (class in uppaal2jetracer.parser.parser) transitions (Location property) turn() (JRHardwareController method) (TurnController method)

TURN_COMMAND_NAME (HardwareCommandHandler attribute) TurnActionClientAsync (class in uppaal2jetracer.jetracerros2.jetracerros2.turn_controller) TurnCommand (class in uppaal2jetracer.controller.hardware_command_system) TurnController (class in uppaal2jetracer.jetracerros2.jetracerros2.turn_controller) type (ResponseObject property) type_annotation_map (Base attribute)

U

UnexpectedTypeError Update (class in uppaal2jetracer.uppaalmodel.elements) update (Transition property) update_webinterface() (HTTPHandler method) uppaal2jetracer module Uppaal2JetRacer (class in uppaal2jetracer.cli) uppaal2jetracer.cli module uppaal2jetracer.command_system module uppaal2jetracer.controller module uppaal2jetracer.controller.executor module uppaal2jetracer.controller.hardware_command_system module uppaal2jetracer.controller.hardware_controller module uppaal2jetracer.controller.uppaal_controller module uppaal2jetracer.httphandler module uppaal2jetracer.jetracerros2 module uppaal2jetracer.jetracerros2.jetracerros2 module uppaal2jetracer.jetracerros2.jetracerros2.collision_controller module uppaal2jetracer.jetracerros2.jetracerros2.jetracer_controller module uppaal2jetracer.jetracerros2.jetracerros2.laser_filter module

uppaal2jetracer.jetracerros2.jetracerros2.servo_motor_controller module uppaal2jetracer.jetracerros2.jetracerros2.speed_controller module uppaal2jetracer.jetracerros2.jetracerros2.turn_controller module uppaal2jetracer.parser module uppaal2jetracer.parser.parser module uppaal2jetracer.uppaalmodel module uppaal2jetracer.uppaalmodel.elements module uppaal2jetracer.uppaalmodel.frame module uppaal2jetracer.uppaalmodel.system module uppaal2jetracer.uppaalmodel.variable module uppaal2jetracer.versioncontrol module uppaal2jetracer.versioncontrol.config module uppaal2jetracer.versioncontrol.database module uppaal2jetracer.versioncontrol.models module uppaal2jetracer.versioncontrol.versioncontrol module UppaalElement (class in uppaal2jetracer.uppaalmodel.elements) UppaalParser (class in uppaal2jetracer.parser.parser)

V

v_id (Version property) value (Array property) (Clock property) (Range property) (Variable property) Variable (class in uppaal2jetracer.uppaalmodel.variable) Version (class in uppaal2jetracer.versioncontrol.models) version_command_name (CommandHandler property) version_max (Global property) VERSION_MAX_HIGH (Config attribute) VERSION_MAX_LOW (Config attribute) VersionCommand (class in uppaal2jetracer.command_system) VersionManager (class in uppaal2jetracer.versioncontrol.versioncontrol) VersionResponse (class in uppaal2jetracer.versioncontrol.versioncontrol) versions (Project property) (ProjectResponse property) visit_arraydecl() (Executor method) visit_arrayref() (Executor method) visit_assignment() (Executor method) visit_binaryop() (Executor method) visit_compound() (Executor method) visit_compoundliteral() (Executor method)

visit_constant() (Executor method) visit_decl() (Executor method) visit_decllist() (Executor method) visit_emptystatement() (Executor method) visit_exprlist() (Executor method) visit_fileast() (Executor method) visit_funccall() (Executor method) visit_funcdecl() (Executor method) visit_funcdef() (Executor method) visit_id() (Executor method) visit_identifiertype() (Executor method) visit_initlist() (Executor method) visit_namedinitializer() (Executor method) visit_paramlist() (Executor method) visit_rangedecl() (Executor method) visit_return() (Executor method) visit_struct() (Executor method) visit_structref() (Executor method) visit_typedecl() (Executor method) visit_typedef() (Executor method) visit_typename() (Executor method) visit_unaryop() (Executor method)

X

XMLParseError

Z

zero_velocity() (ServoMotorController method)