Add files via upload

Author: LilithMary

generator/auxiliary_files/monitor_function.txt

@@ -0,0 +1,8 @@
+
+def monitor():
+global pub_error, pub_verdict
+with open(log, 'w') as log_file:
+log_file.write('')
+rospy.init_node($ID$, anonymous=True)
+pub_error = rospy.Publisher(name = '$ID$/monitor_error', data_class = MonitorError, latch = True, queue_size = 1000)
+pub_verdict = rospy.Publisher(name = '$ID$/monitor_verdict', data_class = String, latch = True, queue_size = 1000)

generator/auxiliary_files/standard_imports.txt

@@ -0,0 +1,12 @@
+#!/usr/bin/env python
+import rospy
+import sys
+import json
+import yaml
+import websocket
+from threading import *
+from rospy_message_converter import message_converter
+from monitor.msg import *
+from std_msgs.msg import String
+
+ws_lock = Lock()

generator/generator

@@ -109,9 +109,11 @@ def main(argv):
  warning = monitor['monitor']['warning']
  else:
  warning = 0
- create_monitor(monitor['monitor']['id'], monitor['monitor']['topics'], monitor['monitor']['log'], url, port, oracle_action, silent, warning)
- create_launch_file(ids)
- instrument_launch_files(nodes)
+ 
+ mg = MonitorGenerator(monitor['monitor']['id'], monitor['monitor']['topics'], monitor['monitor']['services'], monitor['monitor']['log'], url, port, oracle_action, silent, warning, ids, nodes)
+ mg.write_monitor()
+ mg.write_launch_file()
+ mg.instrument_launch_files()
  except yaml.YAMLError as exc:
  print(exc)